Système de type
PHP utilise un système de type nominal avec une relation de sous-typage comportementale forte. La relation de sous-typage est vérifiée à la compilation, tandis que la vérification des types est vérifiée dynamiquement au moment de l'exécution.
Le système de type de PHP supporte plusieurs types de base qui peuvent être composés ensemble pour créer des types plus complexes. Certains de ces types peuvent être écrits sous forme de déclaration de type.
Types de base
Certains types de base sont des types qui sont étroitement intégrés au langage et ne peuvent être reproduits avec des types définis par l'utilisateur.
La liste des types de base est la suivante :
-
Types intégrés
- type null
-
Types scalaires :
- type bool
- type int
- type float
- type string
- type array
- type object
- type resource
- type never
- type void
- Types de classes relatives: self, parent, et static
-
Types littéraux
- false
- true
- Types définis par l'utilisateur (généralement appelés classes-types)
- type callable
Types composites
Il est possible de combiner des types simples en types composites. PHP permet de combiner les types de la manière suivante :
- Intersection de classes-types (interfaces et noms de classes).
- Union de types.
Intersection de types
Un type d'intersection accepte des valeurs qui satisfont plusieurs
déclarations de type de classe, plutôt qu'une seule.
Les types individuels qui forment le type d'intersection sont reliés par le symbole
&. Par conséquent, un type d'intersection composé
des types T, U et
V s'écrit T&U&V.
Types d'union
Un type union accepte des valeurs de plusieurs types différents,
plutôt qu'un seul.
Les types individuels qui forment le type d'union sont reliés par le symbole
|. Par conséquent, un type d'union composé
des types T, U et
V s'écrit T|U|V.
Si l'un des types est un type d'intersection, il doit être mis entre
parenthèses pour être écrit en DNF.
T|(X&Y).
Alias de type
PHP supporte deux alias de type : mixed et
iterable qui correspond au type
type d'union
de object|resource|array|string|float|int|bool|null
et Traversable|array respectivement.
Note: PHP ne supporte pas les alias de type définis par l'utilisateur.
Version en cache
25/12/2024 17:48:21 Cette version de la page est en cache (à la date du 25/12/2024 17:48:21) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-language.types.type-system.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.
