Puntatori const e allineamento

Spesso si vuole condividere un valore promettendo di non modificarlo. Un puntatore const concede l'accesso in lettura impedendo le scritture.

Scriva un puntatore a dati immutabili come *const T. Può leggerne il contenuto, ma assegnare un valore alla destinazione genera un errore di compilazione.

Prendere l'indirizzo di un valore const produce automaticamente un *const T, quindi l'immutabilità viene preservata dal tipo.

Un *T viene convertito liberamente in *const T, perché rimuovere il permesso di scrittura è sempre sicuro. Il contrario non è consentito.

Accettare un parametro *const T comunica ai chiamanti che lo leggerà soltanto, rendendo le funzioni più affidabili.

Ogni tipo ha un allineamento: il limite di indirizzo su cui deve trovarsi. In genere, un u32 richiede un indirizzo divisibile per quattro.

Il builtin @alignOf(T) restituisce l'allineamento richiesto da un tipo in byte, proprio come @sizeOf restituisce la sua dimensione.

Può indicare l'allineamento di un puntatore nel suo tipo usando align, come in *align(4) u8, per richiedere un limite specifico.

L'hardware legge più velocemente i dati allineati e alcune CPU generano un fault in caso di accesso non allineato. Zig tiene traccia dell'allineamento nel tipo per garantire la correttezza.

Un puntatore può garantire un allineamento più forte di quello predefinito, ma non può indebolirlo senza un cast esplicito come @alignCast.

I due elementi si combinano naturalmente: *const align(8) T è un puntatore di sola lettura che garantisce anche un limite di otto byte.

Un puntatore *const T condivide dati in sola lettura e viene convertito da *T, mentre l'allineamento, indicato tramite @alignOf e align(n), mantiene gli accessi alla memoria corretti e veloci. 🎯