inline for und entrollte Schleifen

Eine inline for-Schleife wird vom Compiler während der Kompilierung entrollt. Statt zur Laufzeit zu iterieren, kopiert der Compiler den Schleifenkörper für jedes Element. 🔁

Setzen Sie inline vor for, damit Zig die Schleife zur Compile-Zeit expandiert. Die Anzahl der Iterationen muss dann bekannt sein.

Beim Entrollen wird die Schleife durch eine Kopie ihres Körpers pro Element ersetzt. Zur Laufzeit bleibt kein Schleifenzähler übrig, sondern nur linearer Code.

Eine häufige Anwendung ist das Durchlaufen eines Tupels, dessen Felder unterschiedliche Typen haben. Jede entrollte Kopie kann ihr Element mit dem passenden Typ behandeln.

Bei einer inline for-Schleife ist der Schleifenindex bei jedem Durchlauf ein Compile-Time-Wert. Daher können Sie ihn dort verwenden, wo nur Konstanten zulässig sind.

Da der Schleifenkörper dupliziert wird, kann jede Kopie einen anderen Typ oder Wert verwenden. Eine normale for-Schleife kann das nicht.

Kombinieren Sie inline for mit Type Reflection, um jedes Feld eines Structs zur Compile-Zeit zu besuchen und für jedes Feld passenden Code zu erzeugen.

Das Entrollen entfernt den Schleifen-Overhead, vergrößert aber das Binary. Verwenden Sie inline for bei kleinen, festen Anzahlen, wenn der Geschwindigkeitsgewinn den zusätzlichen Platz rechtfertigt.

Eine inline for-Schleife benötigt eine Länge, die der Compiler erkennen kann. Ein zur Laufzeit ausgewertetes Slice unbekannter Länge kann nicht entrollt werden.

Zig bietet auch inline while. Damit wird eine while-Schleife zur Compile-Zeit entrollt, wenn ihre Bedingung während der Kompilierung ausgewertet werden kann.

Verwenden Sie inline for, wenn die Anzahl der Elemente klein und fest ist. Bei großen oder unbekannten Längen hält eine normale for-Schleife das Binary schlank.

Eine inline for-Schleife entrollt eine Schleife bekannter Länge zur Compile-Zeit. Dadurch kann jede Kopie ihren eigenen Typ verwenden, und der Laufzeit-Overhead der Schleife entfällt. 🎯