Inferenza dei tipi e tipi espliciti

Quando associate un valore, Zig può determinarne il tipo oppure potete scriverlo esplicitamente. Entrambe le possibilità si basano sul solido sistema di tipi statici di Zig.

Se il valore rende ovvio il tipo, lasciate che Zig lo deduca. const name = "Ada" indica chiaramente del testo, quindi non serve alcuna annotazione.

Per specificare voi stessi un tipo, scrivete i due punti e il tipo dopo il nome. È così che definite l'ampiezza esatta di un intero.

Un valore letterale intero dedotto diventa un comptime_int finché non lo utilizzate. Quando viene assegnato a uno spazio, Zig lo converte nella dimensione necessaria.

A volte il solo valore non basta. Una var che inizia da 0 richiede un tipo esplicito, così Zig sa se si tratta di un u8 o di un i64.

Un 3.14 senza annotazione è un comptime_float. Annotatelo per scegliere f32 o f64 quando precisione e dimensione della memoria sono importanti.

Quando il tipo è ovvio dal contesto, ometterlo mantiene le righe pulite. Annotatelo solo quando aggiunge chiarezza reale o è necessario.

Assegnate 5 a uno spazio u16 e il valore letterale sarà compatibile. Zig esegue una coercizione sicura verso il tipo dichiarato quando possibile.

Nelle firme delle funzioni e nelle strutture dati, i tipi sono sempre espliciti. La deduzione è una comodità locale, non un modo per evitare le dichiarazioni.

Zig non converte silenziosamente un numero in virgola mobile in un intero. I tipi incompatibili generano un errore, mantenendo prevedibile il comportamento numerico.

Lasciate che Zig deduca il tipo quando il valore parla da sé; annotatelo quando il tipo è l'informazione di cui il lettore ha bisogno. La scelta deve essere guidata dalla chiarezza.

Scrivete var counter = 0; e Zig segnala un errore. Perché vuole maggiori informazioni?

Avete visto che Zig può dedurre un tipo da un valore chiaro, oppure potete annotarlo usando i due punti. Lasciate che siano la chiarezza e i casi necessari a determinare quale approccio usare. 🎯