Unions contenant l'un de plusieurs types

Une valeur peut parfois être un entier ou un nombre flottant, mais jamais les deux à la fois. Une union stocke exactement l’un de plusieurs types possibles dans un seul emplacement.

Vous écrivez union et indiquez des champs nommés, chacun avec son propre type. La valeur ne contient qu’un seul de ces champs à un instant donné.

Contrairement à une structure, une union ne conserve pas tous les champs simultanément. Elle stocke un seul champ actif et les autres ne sont pas présents.

Vous initialisez une union en choisissant un champ avec la syntaxe du point. Ce champ devient le champ actif de la valeur.

Vous lisez une union via le champ que vous avez défini. Accédez à n.int pour obtenir l’entier que vous avez stocké, comme lorsque vous accédez à un structure.

Une union réserve suffisamment d’espace pour son champ le plus volumineux et réutilise cet espace. C’est donc une manière compacte de contenir l’une de plusieurs variantes.

L’affectation d’un nouveau champ le rend actif et l’ancienne valeur disparaît. L’union représente désormais une forme différente.

Lire un champ qui n’est pas actif constitue un bogue. Dans les compilations sûres, Zig détecte cet accès incorrect et déclenche une panique.

Une union simple ne mémorise pas quel champ est actif. Vous devez le suivre vous-même, ce qui correspond exactement au problème résolu par une union étiquetée.

Une structure est un ET logique de ses champs, tous présents simultanément. Une union est un OU logique : un seul champ y réside à la fois.

Utilisez une union lorsqu’une valeur peut naturellement prendre l’une de quelques formes, comme un jeton qui est soit un nombre, soit un symbole, mais jamais les deux simultanément.

Vous avez découvert les unions : un seul emplacement qui contient un champ parmi plusieurs options typées. Elles partagent la mémoire : définissez et lisez donc uniquement le champ actif. 🔀