Dichiarare tipi optional

I programmi reali incontrano casi in cui un valore è semplicemente assente: una ricerca non trova risultati o un campo è vuoto. Zig gestisce questa assenza in modo sicuro e intenzionale.

Un tipo optional può contenere un valore reale di un certo tipo oppure il valore speciale null, che indica che non c'è nulla.

Può rendere optional qualsiasi tipo scrivendo ? davanti. Quindi ?i32 è un intero che potrebbe anche essere null.

Un optional può contenere tranquillamente anche un valore normale. Assegna 42 a un ?i32 esattamente come assegnerebbe un valore a un semplice i32.

La parola chiave null è il valore letterale che indica l'assenza di un valore. Solo i tipi optional possono contenerlo.

Un semplice i32 non può mai essere null. Il compilatore glielo impedisce, così l'assenza rimane visibile nel tipo invece di nascondersi come valore non valido.

Gli optional non servono solo per i numeri. Può rendere optional un bool, una struct, una slice o qualsiasi altro tipo aggiungendo il punto interrogativo.

Assegni un valore optional e Zig inferisce automaticamente il tipo optional, quindi non deve sempre scriverlo esplicitamente.

In C si simula l'assenza con valori come -1 o un puntatore null. Zig offre un vero optional, così l'assenza non può essere confusa con i dati.

Poiché ? è parte del tipo stesso, chi legge il codice vede subito che un valore potrebbe mancare e deve essere gestito.

È comune inizializzare un optional a null e valorizzarlo in seguito, quando si dispone effettivamente del valore da memorizzare.

Come dichiara un u32 che potrebbe mancare?

Ha conosciuto gli optional: scriva ? davanti a un tipo per consentire un valore reale oppure null. Ora l'assenza vive nel tipo, in modo chiaro e visibile. ❓