PHP 8.2 prend en charge le type de paradigme de dissociation (DNF), permettant aux développeurs d'utiliser des types d'union et d'intersection dans les déclarations de type. 1. Le type DNF permet la combinaison d'intersection (&) et d'union (|), comme (A&B) | (C&D), ce qui signifie que les paramètres peuvent être l'intersection de A et B ou l'intersection de C et D; 2. Cette fonctionnalité résout le problème que la version précédente ne peut pas exprimer directement "Union entre plusieurs intersections"; 3. Les applications pratiques incluent la gestion des scénarios tels que la combinaison d'interface et les dépendances conditionnelles pour améliorer la précision et la sécurité de la conception de l'API; 4. Lorsque vous l'utilisez, vous devez faire attention à la nécessité de se regrouper entre parenthèses, pas de nidine les expressions complexes et peut affecter la lisibilité.

PHP 8.2 a introduit la prise en charge des types de formulaires normaux disjonctifs (DNF) , qui permet aux développeurs d'exprimer des déclarations de type plus complexes et précises dans les signatures de fonction, les types de retour et les propriétés de classe.

En bref, les types DNF vous permettent de combiner les types d'union ( | ) et d'intersection ( & ) dans une seule déclaration - quelque chose qui n'était pas entièrement pris en charge auparavant.

Que sont les types d'union et d'intersection?

Avant de plonger dans les types DNF, il aide à comprendre les deux blocs de construction de base:

• Types des syndicats ( | ) :
  Ceux-ci signifient ?cette valeur peut être l'un de ces types?. Par exemple:

   Exemple de fonction (int | string $ valeur): void {}

  Cette fonction accepte un int ou une string .

• Types d'intersection ( & ) :
  Cela signifie ?cette valeur doit être tous ces types à la fois.? Par exemple:

   Exemple de fonction (Foo & Bar $ Value): void {}

  Ici, $value doit implémenter à la fois les interfaces Foo et Bar .

Avant PHP 8.2, vous ne pouviez pas les mélanger librement - comme dire "non plus (A et B) ou (C et D)" directement dans une déclaration de type.

Comment fonctionnent les types DNF

DNF signifie une forme normale disjonctive , un concept de la logique qui se réfère aux expressions structurées comme ORS de et.

Dans PHP 8.2, cela signifie que vous pouvez maintenant écrire des types comme:

 Exemple de fonction ((A & B) | (C&D) $ VALEUR): void {}

Cette fonction acceptera une valeur qui est à la fois A et B , soit C et D

Ce type de flexibilité était auparavant impossible sans solutions de contournement comme plusieurs fonctions ou accepter un type de base plus large.

Cas d'utilisation pratiques

Les types DNF sont particulièrement utiles lorsqu'ils traitent des combinaisons d'interfaces ou de traits.

Par exemple, imaginez que vous avez un système où certaines opérations nécessitent des objets qui implémentent à la fois Serializable et Cacheable , tandis que d'autres ont besoin Searchable et Exportable . Avec les types DNF, vous pouvez écrire:

 Processus de fonction ((sérialisable et cacheable) | (Recherche et exportable) $ item): void {
    // ...
}

Sans types de DNF, vous devrez probablement créer des interfaces factices ou utiliser un typage lache, puis effectuer des vérifications manuelles à l'intérieur de la fonction.

Un autre cas courant pourrait impliquer des dépendances conditionnelles, telles que l'exigence d'un service qui prend en charge la journalisation et la réessayer, ou une implémentation de secours qui n'a besoin que de fonctionnalités de base.

Syntaxe et règles

Voici comment vous pouvez structurer les types DNF:

• Combinaisons de groupes utilisant des tas de parents.
• Combinez-les avec | (OU).
• à l'intérieur de chaque groupe, utilisez & (et).

Exemples:

 (A & B) | (C&D)
(Lisible et écrivable) | Closeable
MyClass | (Some Interface et Another Intrecade)

Remarques importantes:

• Vous devez utiliser des parents pour regrouper les intersections.
• Mélanger les syndicats imbriqués et les intersections sans regroupement n'est pas autorisé.
• Les vérifications de type se produisent également au moment de l'exécution, donc si vous passez un objet qui ne correspond à aucun des types de composés, un TypeError est lancé.

Limitations et gotchas

Bien que les types DNF offrent plus de flexibilité, il y a certaines limites à garder à l'esprit:

• Aucune nidification arbitraire comme (A|(B&C))&(D|E) - seulement des combinaisons plates d'interactions groupées.
• Les outils de support IDE et d'analyse statique peuvent prendre du temps pour se rattraper pleinement.
• La lisibilité peut souffrir si elle est surutilisée - un long type DNF peut devenir difficile à analyser rapidement.

Ainsi, bien qu'ils soient puissants, il est préférable de les utiliser si nécessaire et de les documenter clairement.

Fondamentalement, les types DNF en PHP 8.2 ouvrent de nouvelles possibilités d'exprimer directement des contraintes de type complexe dans votre code. Ce n'est pas quelque chose que vous utiliserez tous les jours, mais quand vous le faites, ils peuvent rendre vos API plus propres et plus s?res.

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!