Разворачивание циклов во время компиляции
Разворачивайте циклы с помощью @parameter for.
«Разворачивание циклов во время компиляции» — бесплатный урок Mojo Academy на CoddyKit. Это урок 2 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения Mojo Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс Mojo Academy содержит 4 уроков всего.
Части этого урока еще не переведены и отображаются на английском.
Loops the Compiler Expands
Loop unrolling means the compiler writes out each iteration as straight-line code, removing the loop's counting and branching overhead. ⚙️
The @parameter for Decorator
Put @parameter on a for loop whose range is known at compile time, and Mojo unrolls it fully instead of running it at runtime.
@parameter
for i in range(4):
print(i)The Bound Must Be Static
The loop range has to be a compile-time value, so the compiler knows exactly how many copies of the body to generate.
alias N = 8
@parameter
for i in range(N):
process(i)The Index Becomes a Constant
In an unrolled loop the index is a true parameter in each copy, so you can use it where only compile-time values are allowed.
@parameter
for i in range(4):
arr[i] = i * iWhy Unroll at All?
Unrolling drops the per-iteration branch and counter work, giving the CPU a clean run of instructions it can pipeline efficiently.
It Pairs With SIMD
Unrolled bodies often feed SIMD operations, letting each generated copy handle one vector lane group for maximum throughput.
Indexing SIMD Lanes
A compile-time index lets you reach individual lanes of a SIMD vector, something a runtime loop variable cannot always do.
@parameter
for i in range(4):
total += vec[i]Bigger Code, Faster Runs
Unrolling trades a larger binary for fewer instructions executed, a worthwhile deal in tight hot loops that run millions of times.
Don't Unroll Everything
Reserve unrolling for small, hot inner loops. Unrolling huge ranges bloats code and can hurt instruction-cache performance.
A Compile-Time Tool
@parameter for is pure metaprogramming: the loop never exists at runtime because the compiler already expanded it into flat code. 🚀
Pair It With Constants
Define the bound with an alias so one named constant drives the unroll count, keeping the code clear and easy to retune later.
alias TILE = 4
@parameter
for i in range(TILE):
work(i)Quick Check
Recall what @parameter does to a for loop.
Recap
@parameter for unrolls statically-bounded loops at compile time: the index becomes a constant, overhead vanishes, and hot loops run faster. 🎯
Часто задаваемые вопросы
Урок «Разворачивание циклов во время компиляции» бесплатный?
Да — полный текст урока «Разворачивание циклов во время компиляции» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс Mojo Academy, подпишись на CoddyKit PRO. Курс Mojo Academy содержит 4 уроков всего.
Чему я научусь в уроке «Разворачивание циклов во время компиляции»?
Разворачивайте циклы с помощью @parameter for. Ты практикуешь Mojo Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.
Нужен ли мне опыт, чтобы начать Mojo Academy?
Предыдущий опыт не требуется. Mojo Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 2 из 4.
Сколько времени занимает урок «Разворачивание циклов во время компиляции»?
Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.
Можно ли писать и запускать код в этом уроке Mojo Academy?
Да. Каждый урок Mojo Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.
Все уроки этого курса
- Параметрические алгоритмы
- Разворачивание циклов во время компиляции
- Условная компиляция
- Ограничения и статические проверки