Comment PHP8 restreint-il plus strictement le type de variables via les types d'union ?

Comment PHP8 peut-il restreindre plus strictement le type de variables via les types d'union ?

Dans les versions précédentes de PHP, les types de variables étaient relativement libres. Nous pouvions attribuer différentes valeurs de type à une variable, ce qui pouvait entraîner des incohérences de type dans le programme. Heureusement, PHP8 introduit les Union Types, qui peuvent limiter plus strictement les types de variables et améliorer la robustesse du code.

Que sont les types d’unions ? Les types d'union signifient qu'une variable peut accepter plusieurs types différents, c'est-à-dire que le type de la variable est l'union de ces types. L'utilisation de types d'union dans les paramètres de fonction, les valeurs de retour de fonction et les déclarations de propriétés peut garantir que les valeurs transmises ou renvoyées correspondent à ce que nous attendons.

Ce qui suit est un exemple de code spécifique pour montrer comment utiliser les types d'union :

// 函数接收两个整型参数，并返回它们的和
function sum(int|float $num1, int|float $num2): int|float {
    return $num1 + $num2;
}

// 调用sum函数
$result1 = sum(5, 3); // 返回整型7

$result2 = sum(2.5, 4.5); // 返回浮点型7.0

$result3 = sum("10", 5); // 会产生类型错误，因为字符串类型不在Union Types定义的范围内

Dans l'exemple ci-dessus, la fonction somme reçoit deux paramètres, et les types de ces deux paramètres peuvent être entiers ou à virgule flottante. La valeur de retour d'une fonction peut également être un type entier ou à virgule flottante. Lorsque nous transmettons un paramètre entier, la fonction renvoie un résultat entier ; lorsque nous transmettons un paramètre à virgule flottante, la fonction renvoie un résultat à virgule flottante.

De plus, si nous transmettons un type qui n'est pas défini dans les types Union, comme un type chaîne, PHP8 générera une erreur de type au moment de l'exécution. Cette vérification de type stricte peut nous aider à détecter les erreurs de type potentielles plus tôt dans le processus de développement, réduisant ainsi le temps de débogage et les coûts de maintenance du code.

En plus des paramètres de fonction et des valeurs de retour, nous pouvons également utiliser des types Union dans les déclarations d'attributs, telles que :

class User {
    private int|string $id;
    
    public function setId(int|string $id): void {
        $this->id = $id;
    }
    
    public function getId(): int|string {
        return $this->id;
    }
}

// 创建一个User对象
$user = new User();
$user->setId(100);
echo $user->getId(); // 输出整型100

$user->setId("admin");
echo $user->getId(); // 输出字符串"admin"

Dans l'exemple ci-dessus, l'attribut id de la classe User peut être un type entier ou chaîne. En utilisant les types d'union, nous pouvons mieux décrire le type de données d'une propriété, évitant ainsi les erreurs de type lors de son utilisation.

En résumé, PHP8 peut limiter plus strictement les types de variables et améliorer la robustesse et la stabilité du programme en introduisant les types d'union. Nous pouvons utiliser les types d'union pour définir plusieurs types dans les paramètres de fonction, les valeurs de retour et les déclarations de propriétés afin de garantir que les valeurs transmises et renvoyées correspondent à ce que nous attendons. Cette vérification de type stricte peut nous aider à détecter plus tôt les erreurs de type potentielles et à améliorer la lisibilité et la maintenabilité du code. Il convient de noter que l’utilisation des Union Types nécessite la prise en charge de PHP8 et supérieur.

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!