Cet article est traduit, adresse originale : https://stitcher.io/blog/new-in-php-81#pure-intersection-types-rfc
Types d'intersection purs (Types d'intersection purs)
Vous connaissiez déjà les types d'union dans PHP 8.0, et les types d'intersection sont une fonctionnalité similaire. Les types d'union nécessitent que l'entrée soit l'un des types donnés, et les types d'intersection nécessitent que l'entrée soit l'un des types spécifiés.
Les types d'intersection sont particulièrement utiles lorsque vous utilisez beaucoup d'interfaces :
function generateSlug(HasTitle&HasId $post) { return strtolower($post->getTitle()) . $post->getId(); }
Si vous aimez ce style de programmation, vous devez créer une nouvelle interface Sluggable et l'implémenter dans $post, les types d'intersection éliminent cette surcharge.
Voir RFC pour plus de détails : https://wiki.php.net/rfc/pure-intersection-types
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!