Puntatori optional e ?*T

Normalmente un puntatore deve sempre riferirsi a un valore valido. Rendendolo optional, gli si dà un modo legittimo per indicare che al momento non punta a nulla.

Il tipo ?*T si legge: puntatore optional a un T. O punta a un valore reale oppure contiene null.

Questa è la risposta di Zig ai puntatori null di C. Il puntatore può essere assente, ma l'optional la obbliga a controllare prima di dereferenziarlo.

Non può dereferenziare direttamente un ?*T. Prima deve eseguire l'unwrap con if o orelse per ottenere il puntatore semplice sottostante.

All'interno della cattura dell'if, il nome è un semplice *Node, pronto per essere dereferenziato con .* come qualsiasi puntatore non optional.

I puntatori optional sono particolarmente utili in liste collegate e alberi, dove un campo next o child è null alla fine della catena.

Quando percorre una lista, un campo next uguale a null indica chiaramente che ha raggiunto l'ultimo nodo e deve fermarsi.

Per i puntatori, Zig memorizza lo stato null nel valore del puntatore stesso, quindi un ?*T non occupa più spazio di un puntatore semplice.

Può combinare sola lettura e optional: ?*const T è un puntatore optional attraverso il quale può leggere, ma non scrivere.

Poiché il tipo indica che il valore potrebbe essere null, il compilatore non le permette di dimenticare il controllo, a differenza della dereferenziazione di un puntatore C grezzo.

Un ciclo while che acquisisce ogni puntatore next optional è il modo idiomatico per attraversare una lista fino alla comparsa di null.

Che cosa descrive il tipo ?*Node?

Ha imparato ?*T: un puntatore optional sicuro. Esegua l'unwrap prima di dereferenziarlo e lasci che null indichi la fine delle strutture collegate. 🔗