{"id":1027,"date":"2015-09-02T14:58:24","date_gmt":"2015-09-02T12:58:24","guid":{"rendered":"http:\/\/www.lafabriquedecode.com\/blog\/?p=1027"},"modified":"2015-09-02T14:58:24","modified_gmt":"2015-09-02T12:58:24","slug":"php-7-le-typage-strict","status":"publish","type":"post","link":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/","title":{"rendered":"PHP 7 : le typage strict"},"content":{"rendered":"

Une des grandes forces de PHP – qui est aussi, h\u00e9las !, une de ses plus grandes faiblesses – est l’absence de typage<\/strong> fort<\/strong> comme c’est le cas en Java, en C#, C++ ou dans bien d’autres langages dits \u00ab\u00a0orient\u00e9s objet\u00a0\u00bb. PHP s’occupe de faire les conversions de type qui l’arrangent, notamment lorsque l’on effectue des comparaisons entre des types diff\u00e9rents (voil\u00e0 pourquoi les op\u00e9rateurs stricts ont \u00e9t\u00e9 introduits qui comparent en valeur et surtout en type). Tout \u00e7a est d\u00e9cid\u00e9 de fa\u00e7on dynamique au runtime<\/em> (\u00e0 l’ex\u00e9cution, en bon fran\u00e7ais) et non pas de fa\u00e7on statique, \u00e0 la compilation.<\/p>\n

\"Une<\/a>

Une nouveaut\u00e9 qui fait des heureuses !<\/p><\/div>\n

Depuis les versions 5.X, on pouvait d\u00e9j\u00e0 typer des param\u00e8tres de fonction avec certains types non-scalaires : objet<\/em> depuis 5.0 et array<\/em> depuis 5.1 (et callable<\/em> par la suite, mais passons…). Dans des temps recul\u00e9s (avant 5.X), on n’avait pas trop le choix:
\nfunction peuimporte ($param, $reparam) {
\nvar_dump($param);
\nvar_dump($reparam);
\n}
\n<\/code><\/p>\n

L’appel de cette fonction pouvait se faire avec des arguments de divers types : entiers, flottants, tableaux, objets, cha\u00eenes de caract\u00e8res…Pour faire court, on pouvait un peu passer tout et (surtout) n’importe quoi !
\n
\npeuimporte (1, 1.23);
\npeuimporte (\"a\", 1);
\npeuimporte (array(), new StdClass());
\n<\/code><\/p>\n

Un type scalaire est un type qui ne contient qu’une valeur \u00e0 la fois: un entier, une chaine de caract\u00e8res, un bool\u00e9en etc. Un type non scalaire peut contenir plusieurs valeurs; un tableau, un objet…ce sont des types composites – ou des collections de valeurs.<\/p><\/blockquote>\n

Depuis PHP 5.1 disais-je, on pouvait forcer le typage des param\u00e8tres des fonctions avec des types non scalaires comme un tableau:<\/p>\n


\nfunction peuimporte (Array $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

ou bien un objet d’un type particulier:<\/p>\n


\nclass UnTypeAuPif {}
\nfunction peuimporte (UnTypeAuPif $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

ou encore d’un super-type, comme une interface:<\/p>\n


\ninterface Bidon {}
\nclass UnTypeAuPif implements Bidon {}
\nclass UnAutreTypeAuPif implements Bidon {}
\nfunction peuimporte (Bidon $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

Il suffit alors de passer en argument une instance qui ne se conforme pas aux sp\u00e9cifications que constitue la signature de notre fonction et VLAN!<\/p>\n


\nCatchable fatal error: Argument 1 passed to peuimporte() must be an instance of UnTypeAuPif, instance of stdClass given
\n<\/code><\/p>\n

Ici j’ai tent\u00e9 de r\u00e9aliser l’invocation suivante :
\npeuimporte(new StdClass);
\n<\/code><\/p>\n

J’ai all\u00e9grement viol\u00e9 le contrat qui me lie \u00e0 cette fonction et qui stipule qu’il ne faut passer que des instances de UnTypeAuPif (dans le premier exemple).<\/p>\n

Depuis mars 2015 (et une RFC qui a fait l’objet d’un d\u00e9bat, puis d’un vote) il est donc pr\u00e9vu que PHP 7 nous donne la possibilit\u00e9 de sp\u00e9cifier des types scalaires pour nos arguments…ENFIN ! Il deviendra donc possible d’\u00e9crire:<\/p>\n


\nfunction peuimporte (int<\/strong> $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

ou bien:<\/p>\n


\nfunction peuimporte (string<\/strong> $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

ou encore:<\/p>\n


\nfunction peuimporte (float<\/strong> $param) {
\n\/\/ faites ce que bon vous semble
\n}
\n<\/code><\/p>\n

Le fait de passer en argument d’un appel une variable du mauvais type provoque une erreur fatale, par exemple:<\/p>\n


\nFatal error: Uncaught TypeError: Argument 1 passed to peuimporte() must be of the type float, string given
\n<\/code><\/p>\n

Pour activer ce typage strict sous PHP 7, il faut utiliser declare<\/em> que l’on connait depuis 5.3 et qui sert lors de la compilation du fichier. Ce language construct<\/em> sera plac\u00e9 en tout d\u00e9but de fichier (sous peine de provoquer une erreur fatale)\u00a0 comme suit:<\/p>\n


\ndeclare(strict_types = 1);
\nfunction peuimporte (float $param) {
\n\/\/ TODO
\n}
\npeuimporte(1.23);<\/code><\/p>\n

Notez que le mode bloc, originellement propos\u00e9 pour strict_types<\/code> , a \u00e9t\u00e9 interdit dans PHP 7. Cette fonctionnalit\u00e9 n’est pas forc\u00e9e par d\u00e9faut, nul risque donc de BC break<\/em> dans le code existant. L’aspect l\u00e2che du typage en PHP reste encore la r\u00e8gle (pour combien de temps ?), ce qui continuera de faciliter l’int\u00e9gration des gens qui ne sont pas des d\u00e9veloppeurs de formation.<\/p>\n

Pour les d\u00e9veloppeurs qui viennent du monde des langages fortement typ\u00e9s et qui se sentent frustr\u00e9s par le typage faible de PHP, c’est une bonne nouvelle et sans doute une raison de plus de cesser de prendre PHP pour un langage de seconde zone.<\/p>\n

Il me tarde que PHP 7 fasse l’objet d’une release<\/em> officielle pour b\u00e9n\u00e9ficier de cette tant attendue fonctionnalit\u00e9 !<\/p>\n

Test\u00e9 avec un PHP7 b\u00eata compil\u00e9 sur Debian Jessie…et approuv\u00e9 !<\/p>\n","protected":false},"excerpt":{"rendered":"

Une des grandes forces de PHP – qui est aussi, h\u00e9las !, une de ses plus grandes faiblesses – est l’absence de typage fort comme c’est le cas en Java, en C#, C++ ou dans bien d’autres langages dits \u00ab\u00a0orient\u00e9s objet\u00a0\u00bb. PHP s’occupe de faire les conversions de type qui l’arrangent, notamment lorsque l’on effectue […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0},"categories":[40,14,3,29],"tags":[4,86],"yoast_head":"\nPHP 7 : le typage strict - La Fabrique de code - Tech blog<\/title>\n<meta name=\"description\" content=\"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PHP 7 : le typage strict - La Fabrique de code - Tech blog\" \/>\n<meta property=\"og:description\" content=\"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/\" \/>\n<meta property=\"og:site_name\" content=\"La Fabrique de code - Tech blog\" \/>\n<meta property=\"article:published_time\" content=\"2015-09-02T12:58:24+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/www.lafabriquedecode.com\/blog\/wp-content\/uploads\/2015\/09\/Future-Gen-Z-coder.jpg\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<meta name=\"twitter:creator\" content=\"@LaFabrique2Code\" \/>\n<meta name=\"twitter:site\" content=\"@LaFabrique2Code\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/\",\"url\":\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/\",\"name\":\"PHP 7 : le typage strict - La Fabrique de code - Tech blog\",\"isPartOf\":{\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/#website\"},\"datePublished\":\"2015-09-02T12:58:24+00:00\",\"dateModified\":\"2015-09-02T12:58:24+00:00\",\"author\":{\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/83863c048b82fd9ccf6407bddd241162\"},\"description\":\"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.\",\"breadcrumb\":{\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"http:\/\/www.lafabriquedecode.com\/blog\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PHP 7 : le typage strict\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/#website\",\"url\":\"http:\/\/www.lafabriquedecode.com\/blog\/\",\"name\":\"La Fabrique de code - Tech blog\",\"description\":\"PHP objet, MySQL, Design Patterns, OOP...et plus !\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\/\/www.lafabriquedecode.com\/blog\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Person\",\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/83863c048b82fd9ccf6407bddd241162\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/image\/\",\"url\":\"http:\/\/0.gravatar.com\/avatar\/fc2e1de7c8a1871b50ff9c6a6f8682a2?s=96&d=retro&r=g\",\"contentUrl\":\"http:\/\/0.gravatar.com\/avatar\/fc2e1de7c8a1871b50ff9c6a6f8682a2?s=96&d=retro&r=g\",\"caption\":\"admin\"},\"url\":\"http:\/\/www.lafabriquedecode.com\/blog\/author\/admin\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"PHP 7 : le typage strict - La Fabrique de code - Tech blog","description":"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/","og_locale":"fr_FR","og_type":"article","og_title":"PHP 7 : le typage strict - La Fabrique de code - Tech blog","og_description":"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.","og_url":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/","og_site_name":"La Fabrique de code - Tech blog","article_published_time":"2015-09-02T12:58:24+00:00","og_image":[{"url":"http:\/\/www.lafabriquedecode.com\/blog\/wp-content\/uploads\/2015\/09\/Future-Gen-Z-coder.jpg"}],"author":"admin","twitter_card":"summary","twitter_creator":"@LaFabrique2Code","twitter_site":"@LaFabrique2Code","twitter_misc":{"\u00c9crit par":"admin","Dur\u00e9e de lecture estim\u00e9e":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/","url":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/","name":"PHP 7 : le typage strict - La Fabrique de code - Tech blog","isPartOf":{"@id":"http:\/\/www.lafabriquedecode.com\/blog\/#website"},"datePublished":"2015-09-02T12:58:24+00:00","dateModified":"2015-09-02T12:58:24+00:00","author":{"@id":"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/83863c048b82fd9ccf6407bddd241162"},"description":"Le typage strict est une des nouveaut\u00e9s qui figurera dans la version 7 de PHP et aidera les programmeurs venant des langages fortement typ\u00e9s \u00e0 l'adopter.","breadcrumb":{"@id":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/"]}]},{"@type":"BreadcrumbList","@id":"http:\/\/www.lafabriquedecode.com\/blog\/2015\/09\/php-7-le-typage-strict\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"http:\/\/www.lafabriquedecode.com\/blog\/"},{"@type":"ListItem","position":2,"name":"PHP 7 : le typage strict"}]},{"@type":"WebSite","@id":"http:\/\/www.lafabriquedecode.com\/blog\/#website","url":"http:\/\/www.lafabriquedecode.com\/blog\/","name":"La Fabrique de code - Tech blog","description":"PHP objet, MySQL, Design Patterns, OOP...et plus !","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/www.lafabriquedecode.com\/blog\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Person","@id":"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/83863c048b82fd9ccf6407bddd241162","name":"admin","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"http:\/\/www.lafabriquedecode.com\/blog\/#\/schema\/person\/image\/","url":"http:\/\/0.gravatar.com\/avatar\/fc2e1de7c8a1871b50ff9c6a6f8682a2?s=96&d=retro&r=g","contentUrl":"http:\/\/0.gravatar.com\/avatar\/fc2e1de7c8a1871b50ff9c6a6f8682a2?s=96&d=retro&r=g","caption":"admin"},"url":"http:\/\/www.lafabriquedecode.com\/blog\/author\/admin\/"}]}},"_links":{"self":[{"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/posts\/1027"}],"collection":[{"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/comments?post=1027"}],"version-history":[{"count":7,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/posts\/1027\/revisions"}],"predecessor-version":[{"id":1035,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/posts\/1027\/revisions\/1035"}],"wp:attachment":[{"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/media?parent=1027"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/categories?post=1027"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.lafabriquedecode.com\/blog\/wp-json\/wp\/v2\/tags?post=1027"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}