I tipi sono valori comptime
Trattare un tipo come qualsiasi altro valore
I tipi sono valori comptime è una lezione Zig Academy gratuita su CoddyKit. Questa è la lezione 3 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Zig Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Zig Academy include 4 lezioni in totale.
Un tipo è semplicemente un valore
In Zig un tipo non è una sintassi magica: è un normale valore che si può memorizzare, passare e restituire. Esiste semplicemente solo durante il compile-time. 🧠
Il tipo di un tipo è type
Ogni tipo ha il tipo type. Quindi u8 è un valore il cui tipo è type, proprio come 5 è un valore il cui tipo è un intero.
const T: type = u8;Associare un tipo a una const
Si può assegnare un nome a un tipo tramite una costante. Qui Number diventa un altro nome per i32, utilizzabile ovunque sia richiesto un tipo.
const Number = i32;
const x: Number = 7;Passare un tipo a una funzione
Una funzione può accettare un tipo come parametro comptime. L'argomento è un vero valore, valutato mentre il programma viene compilato.
fn sizeOf(comptime T: type) usize {
return @sizeOf(T);
}Restituire un tipo da una funzione
Poiché i tipi sono valori, una funzione può restituirne uno. Il tipo restituito è semplicemente type e il corpo produce un tipo come risultato.
fn Pair() type {
return struct { a: u8, b: u8 };
}È così che funzionano i generics
Passare e restituire tipi è alla base dei generics di Zig. Non esiste una sintassi speciale per i generics: circolano semplicemente valori di tipo.
I tipi esistono solo durante il compile-time
Un valore di tipo type esiste solo durante la compilazione. Non si può memorizzare un tipo in una variabile di run-time né leggerne uno dall'input.
Ispezionare un tipo con i built-in
I costrutti integrati trattano un tipo come un dato. @sizeOf accetta un valore di tipo e restituisce quanti byte occupa una sua istanza.
const bytes = @sizeOf(u32);Confrontare i tipi per verificarne l'uguaglianza
Poiché i tipi sono valori, è possibile confrontarli in fase di compilazione. L'espressione T == u8 è vera solo quando T è esattamente u8.
Scegliere un tipo in fase di compilazione
È possibile diramare l'esecuzione in base a un tipo e sceglierne un altro, tutto durante la compilazione. In questo modo una funzione può adattare il proprio comportamento al tipo ricevuto.
Dare un nome a un tipo restituito da una funzione
Poiché una funzione può restituire un tipo, è possibile associare quel risultato a una costante e usarlo poi proprio come il nome di qualsiasi tipo integrato.
const Point = Pair();
const p: Point = .{ .a = 1, .b = 2 };Verifica rapida
In Zig, qual è il tipo del tipo u8 stesso?
Riepilogo
In Zig i tipi sono valori comptime di tipo type. È possibile assegnare loro un nome, passarli, restituirli e confrontarli: è esattamente così che si costruiscono i generics. 🎯
Domande Frequenti
La lezione «I tipi sono valori comptime» è gratuita?
Sì — il testo completo di «I tipi sono valori comptime» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Zig Academy, passa a CoddyKit PRO. Il corso Zig Academy include 4 lezioni in totale.
Cosa imparerò in «I tipi sono valori comptime»?
Trattare un tipo come qualsiasi altro valore Eserciti Zig Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare Zig Academy?
Non è richiesta alcuna esperienza precedente. Zig Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 3 di 4.
Quanto tempo richiede la lezione «I tipi sono valori comptime»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione Zig Academy?
Sì. Ogni lezione Zig Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Compile time e runtime a confronto
- Parametri e valori comptime
- I tipi sono valori comptime
- inline for e cicli srotolati