inline for e cicli srotolati

Un inline for è un ciclo che il compilatore espande durante la compilazione. Invece di iterare a runtime, copia il corpo del ciclo per ogni elemento. 🔁

Inserisca inline prima di for per chiedere a Zig di espandere il ciclo in fase di compilazione. A quel punto il numero di iterazioni deve essere noto.

L'unrolling sostituisce il ciclo con una copia del suo corpo per ogni elemento. A runtime non rimane alcun contatore del ciclo, ma solo codice sequenziale.

Un uso comune consiste nell'attraversare una tupla i cui campi hanno tipi diversi. Ogni copia espansa può trattare il proprio elemento con il tipo corretto.

Con un inline for l'indice del ciclo è un valore noto in fase di compilazione a ogni iterazione, quindi è possibile usarlo dove sono consentite solo costanti.

Poiché il corpo viene duplicato, ogni copia può usare un tipo o un valore diverso. Un normale ciclo for non può farlo.

È possibile combinare inline for con la riflessione sui tipi per visitare ogni campo di una struct in fase di compilazione, generando codice su misura per ciascuno.

L'unrolling elimina l'overhead del ciclo, ma aumenta le dimensioni del binario. Usi inline for con conteggi piccoli e fissi, quando il guadagno di velocità ne vale la pena.

Un inline for richiede una lunghezza visibile al compilatore. Non è possibile espandere un ciclo su una slice di lunghezza sconosciuta determinata a runtime.

Zig offre anche inline while. Espande un ciclo while in fase di compilazione quando la condizione può essere risolta durante la compilazione.

Scelga inline for quando il numero di elementi è piccolo e fisso. Per lunghezze grandi o sconosciute, un normale ciclo for mantiene il binario più compatto.

Un inline for espande in fase di compilazione un ciclo di lunghezza nota, permettendo a ogni copia di usare il proprio tipo ed eliminando l'overhead del ciclo a runtime. 🎯