Puntatori a più elementi [*]T

A volte un puntatore indirizza non un singolo valore, ma l'inizio di una sequenza di valori disposti in memoria. 🧱

Un puntatore a più elementi si scrive [*]T. L'asterisco tra parentesi quadre indica che punta a un numero sconosciuto di valori T consecutivi.

A differenza di una slice, un puntatore a più elementi non contiene alcuna lunghezza. Spetta solo a Lei sapere quanti elementi è sicuro toccare.

Può indicizzare un puntatore a più elementi con le parentesi quadre, quindi run[2] raggiunge il terzo elemento avanzando nella memoria.

Aggiungere un valore a un puntatore a più elementi lo sposta di elementi interi: run + 1 punta a un T più avanti, non a un byte più avanti.

Un *T punta esattamente a un valore e non può essere indicizzato; un [*]T punta a più valori e supporta indicizzazione e aritmetica.

I puntatori a più elementi compaiono spesso quando si interagisce con C, che passa un puntatore semplice a un buffer la cui lunghezza viene gestita separatamente.

Poiché la lunghezza è sconosciuta, l'indicizzazione di un puntatore a più elementi non verifica i limiti. Leggere troppo oltre è un comportamento non definito.

Quando controlla il codice, una slice []T è più sicura perché include la lunghezza. Usi [*]T soprattutto ai confini con C.

Quando conosce il numero di elementi, associ una lunghezza con ptr[0..n] per trasformare un puntatore a più elementi in una slice sicura, con controllo dei limiti.

Zig dispone anche di forme terminate da sentinel come [*:0]u8, un puntatore la cui sequenza termina con un valore noto, ad esempio un byte zero.

Un puntatore a più elementi [*]T indirizza una sequenza di valori, supporta indicizzazione e aritmetica, non ha una lunghezza ed è preferibile convertirlo in una slice quando possibile. 🎯