Photo de ???? ??? sur Unsplash

Les indications de type sont considérées par certains comme le Saint Graal des fonctionnalités. Celui que tous les langages de programmation doivent avoir. Pendant très longtemps, PHP n'a pas disposé d'un tel système, mais il a maintenant été largement adopté par la plupart des développeurs.

Cela dit, le système de types de PHP ne va pas aussi loin que celui des autres langages. Beaucoup mettent en œuvre ce que l’on appelle les génériques. Il s'agit de la capacité d'imposer un type parmi les structures et les collections. Par exemple, en Java, nous pouvons spécifier que les tableaux ne doivent contenir que des éléments d'un certain type, par exemple un tableau de chaînes.

Peut-être qu'un jour nous aurons également cette fonctionnalité en PHP, mais d'ici là, nous pouvons réellement résoudre ce problème avec quelques techniques différentes. Faute d'une meilleure description, je les appelle Conseils de type logiciel et Conseils d'exécution.

Conseils de saisie

Les premiers et les plus évidents indices de type sont ceux introduits dans PHP 7 et sont toujours ajoutés à PHP. Les constantes d'indication de type n'ont été ajoutées que dans PHP 8.3.

Les indications de type sont utiles pour aider à transmettre ce qui doit être transmis à une méthode ou une fonction en tant que paramètre ou ce que cette méthode renverra. Les indices de type affecteront les signatures de toutes les classes avec lesquelles ils les utilisent, car étendre une classe avec des indices de type déjà établis signifiera qu'ils ne pourront pas être remplacés.

Un exemple de classe utilisant pleinement les types serait :

Il y a, bien sûr, des limites dans nos indications de type car, comme mentionné précédemment, nous ne pouvons pas conformer un tableau pour qu'il soit tous du même type et nous devons simplement utiliser array . Nous ne pouvons pas non plus limiter les nombres à être uniquement positifs ou compris dans une certaine plage.

Un autre peut être les fermetures car il n'y a aucun moyen de décrire les fonctions anonymes dans les types natifs de PHP. Au lieu de cela, nous devons soit utiliser \Closure soit callable . Souvent, callable ne peut pas non plus être utilisé comme type.

Heureusement, il existe encore un moyen de décrire ces scénarios plus compliqués avec des indices de type.


  
  
  Conseils de type doux


Nos prochains types d'indices de type sont fournis via PHPDocs. Alors que les types natifs lèveront des exceptions pendant l'exécution si une méthode est passée ou renvoie le mauvais type, les astuces de type PHPDoc n'ont aucun effet sur l'exécution de l'application.

Au lieu de cela, les astuces de type logiciel nous aident uniquement lorsque nous utilisons un IDE tel que VS Code ou PHPStorm, qui détectera ces types pour nous. L'autre cas d'utilisation concerne les outils d'analyse statique comme PHPStan puis Rector.

Le plus grand avantage de l'utilisation des types logiciels est qu'ils vous permettent de décrire avec plus de précision le type de tous les paramètres, propriétés, etc. Par exemple, nous pouvons prendre la classe précédente et faciliter la compréhension des tableaux ou des fermetures utilisés .




La meilleure façon de vous assurer que toute votre utilisation de type est correcte est d'installer PHPStan. À partir de là, vous devrez probablement utiliser au moins le niveau 5. Cela peut ensuite être appliqué via des étapes d'intégration continue qui vérifient que les indications de type sont correctes.

Il existe en fait une liste que vous pouvez utiliser si vous souhaitez utiliser le bon indice de type logiciel. Mieux encore, il existe un outil PHPStan que vous pouvez utiliser pour tester si tous les types qui le suggèrent sont corrects selon PHPStan si vous n'êtes pas sûr et souhaitez exécuter un test rapide.


  
  
  Conseils d'exécution


Notre prochaine façon de prendre en charge les types consiste à utiliser des astuces d'exécution. Cela signifie en réalité exécuter notre propre code pour vérifier les types à partir des paramètres. Par exemple, nous pouvons vérifier si un tableau ne contient qu’un type particulier d’objet. Si ce n’est pas le cas, nous lançons une InvalidArgumentException.




D'ailleurs, cette technique est parfois appelée programmation défensive. En regardant l'exemple de code, c'est assez fastidieux. Cela fait beaucoup de code simplement pour vérifier si un tableau est correct. C'est pourquoi nous avons souvent recours à une bibliothèque, en l'occurrence webmozart/assert .


composer require webmozart/assert




Maintenant, avec ce package installé, nous pouvons le réduire à une simple ligne.




L'un des avantages de cette bibliothèque est que si vous ajoutez l'extension Assert à PHPStan, cela vous aidera à couvrir vos types lors de l'analyse du code.


  
  
  Conclusion


En conclusion, maîtriser les indications de type en PHP est une compétence essentielle pour les développeurs cherchant à écrire du code propre, maintenable et fiable. Bien que le système de types PHP manque encore de certaines fonctionnalités trouvées dans d'autres langages, telles que les génériques, il existe plusieurs stratégies disponibles pour imposer un typage plus strict — que ce soit via des astuces de type natif, des annotations PHPDoc ou des contrôles d'exécution. Tirer parti d'outils comme PHPStan et de bibliothèques comme Assert peut vous aider à garantir la sécurité des types, même dans des scénarios complexes. En intégrant ces techniques dans votre flux de travail de développement, vous serez mieux équipé pour gérer la nature dynamique de PHP avec confiance et précision.

Je m'appelle Peter Fox, un développeur de logiciels au Royaume-Uni qui travaille avec Laravel. Merci d'avoir lu mon article, j'en ai beaucoup d'autres à lire sur https://articles.peterfox.me. Je suis également désormais sponsorisé sur GitHub. Si vous souhaitez m'encourager à écrire davantage d'articles comme celui-ci, pensez à faire un petit don ponctuel.