diff --git a/language/types.xml b/language/types.xml index d87e877f12..419796d648 100644 --- a/language/types.xml +++ b/language/types.xml @@ -1,5 +1,5 @@ - + @@ -135,7 +135,7 @@ int(16) &language.types.void; &language.types.never; &language.types.relative-class-types; - &language.types.value; + &language.types.singleton; &language.types.iterable; &language.types.declarations; &language.types.type-juggling; diff --git a/language/types/declarations.xml b/language/types/declarations.xml index 82acb83ae4..a5af4ebad9 100755 --- a/language/types/declarations.xml +++ b/language/types/declarations.xml @@ -1,5 +1,5 @@ - + Déclarations de type @@ -7,8 +7,8 @@ Les déclarations de types peuvent être ajoutées aux arguments des fonctions, valeurs de retour, à partir de PHP 7.4.0, les propriétés de classe, - et à partir de PHP 8.3.0, les constantes de classe. - Elles assurent que la valeur est du type spécifié au moment de l'appel, + et à partir de PHP 8.3.0, les constantes de classe. + Elles assurent que la valeur est du type spécifié au moment de l'appel, sinon une TypeError est lancée. @@ -281,7 +281,7 @@ Stack trace: Types d’unions - Il n’est pas possible de combiner les deux types de valeur + Il n’est pas possible de combiner les deux types de singleton false et true ensemble dans une union de type. Utilisez plutôt bool. diff --git a/language/types/singleton.xml b/language/types/singleton.xml new file mode 100644 index 0000000000..a82a532ddf --- /dev/null +++ b/language/types/singleton.xml @@ -0,0 +1,49 @@ + + + + + Type singleton + + + Les types singleton sont ceux qui n'acceptent qu'une seule valeur. + PHP prend en charge deux types singleton : + false depuis PHP 8.0.0 et true + depuis PHP 8.2.0. + + + + + Avant PHP 8.2.0, le type false ne pouvait être utilisé + que dans le cadre d'un + type union. + + + + + + Il n'est pas possible de définir des types singleton personnalisés. Considérer + l'utilisation d'une énumération à la place. + + + + + diff --git a/language/types/type-system.xml b/language/types/type-system.xml index 7e3cb8001c..3413a6a808 100644 --- a/language/types/type-system.xml +++ b/language/types/type-system.xml @@ -1,5 +1,5 @@ - + Système de type @@ -29,9 +29,6 @@ Types intégrés - - type null - Types scalaires : @@ -76,7 +73,7 @@ - Types de valeur + Types singletons @@ -87,6 +84,16 @@ + + + Types unitaires + + + + null + + + Types définis par l'utilisateur (généralement appelés classes-types) diff --git a/language/types/value.xml b/language/types/value.xml deleted file mode 100644 index c442c7ef8c..0000000000 --- a/language/types/value.xml +++ /dev/null @@ -1,48 +0,0 @@ - - - - - Types de valeur - - - Les types de valeur sont ceux qui vérifient non seulement le type d'une valeur, mais aussi - la valeur elle-même. PHP supporte deux types de valeur : - false à partir de PHP 8.0.0, et true - à partir de PHP 8.2.0. - - - - - Antérieur à PHP 8.2.0, le type false ne pouvait être utilisé qu'en tant que partie d'un - type union. - - - - - - Il n'est pas possible de définir des types de valeur personnalisés. Considérez l'utilisation d'une - énumeration à la place. - - - - -