null e undefined a confronto

Zig presenta sia null sia undefined, e non sono la stessa cosa. Confonderli è una causa classica di bug difficili da capire.

null è uno stato reale e definito: indica che questo optional non contiene intenzionalmente nulla. È un valore significativo e verificabile.

undefined significa che lo spazio di memoria esiste, ma il suo contenuto è spazzatura. Si impegna a scrivere un valore reale prima di leggerlo.

Può assegnare null solo a tipi optional. Un semplice i32 non lo accetterà mai, perché l'assenza non fa parte del suo tipo.

Al contrario, quasi qualsiasi variabile può iniziare come undefined per riservare subito la memoria e valorizzarla poco dopo.

Confrontare un optional con null è perfettamente sicuro e previsto: è esattamente il modo per rilevare un valore assente.

Leggere un valore che è ancora undefined è un comportamento illegale. Le build sicure lo riempiono persino con byte 0xAA per rendere evidente l'errore.

Consideri undefined come un contratto: si impegna ad assegnare un valore prima dell'uso. Se lo infrange, legge dati privi di significato e imprevedibili.

Un idioma frequente consiste nel dichiarare un buffer come undefined, quindi riempirlo immediatamente con una lettura o una chiamata di formattazione.

Usi null per rappresentare una vera opzionalità. Usi undefined solo per evitare un'inizializzazione superflua che sovrascriverà subito dopo.

null risponde alla domanda «esiste un valore?», mentre undefined risponde a «la memoria è già stata scritta?». Tenerli separati la mantiene al sicuro.

Dichiara var buf: [8]u8 = undefined; e legge buf[0] prima di scriverlo. Che cosa succede?

Ha distinto null (un valore assente reale per gli optional) da undefined (memoria non inizializzata che deve essere scritta prima). Due concetti distinti, da non confondere. 🧠