Unioni che contengono uno tra molti tipi

A volte un valore può essere un intero o un numero in virgola mobile, ma non entrambi contemporaneamente. Una union memorizza esattamente uno tra diversi tipi possibili in un singolo slot.

Scriva union ed elenchi i campi denominati, ciascuno con il proprio tipo. Il valore contiene uno solo di questi campi in ogni momento.

A differenza di una struct, una union non conserva tutti i campi contemporaneamente. Memorizza un solo campo attivo e gli altri non sono presenti.

Si inizializza una union scegliendo un campo con la sintassi del punto. Quel campo diventa quello attivo per il valore.

Si legge una union attraverso il campo impostato. Accedendo a n.int si ottiene l'intero memorizzato, proprio come quando si accede a una struct.

Una union riserva spazio per il campo più grande e riutilizza quello spazio. Questo la rende un modo compatto per contenere una delle diverse varianti.

L'assegnazione di un nuovo campo lo rende quello attivo e il vecchio valore scompare. La union ora rappresenta una forma diversa.

Se si legge un campo che non è attivo, si tratta di un bug. Nelle build sicure Zig rileva l'accesso errato e attiva un panic.

Una union semplice non ricorda quale campo sia attivo. Deve tenerne traccia Lei, ed è esattamente il problema risolto da una union con tag.

Una struct è un AND logico dei suoi campi, tutti presenti insieme. Una union è un OR logico: alla volta esiste un solo campo.

Usi una union quando un valore assume naturalmente una tra poche forme, ad esempio un token che è un numero oppure un simbolo, mai entrambe contemporaneamente.

Quanti campi di una union contengono un valore contemporaneamente?

Ha conosciuto le union: un solo slot che contiene un singolo campo tra diverse opzioni tipizzate. Condividono la memoria, quindi imposti e legga solo il campo attivo. 🔀