26.4 Как работает Loop

The driving element of the Loop Facility is the loop macro. When Lisp encounters a loop macro call form, it invokes the Loop Facility and passes to it the loop clauses as a list of unevaluated forms, as with any macro. The loop clauses contain Common Lisp forms and loop keywords. The loop keywords are recognized by their symbol name, regardless of the packages that contain them. The loop macro translates the given form into Common Lisp code and returns the expanded form.

Главным элементом Loop является макрос loop. Как только Common Lisp видит вызов макроса loop, он разворачивает его без вычисления аргументов, что собственно происходит и с любым другим макросом. Loop содержит формы и ключевые символы. Ключевые символы обозначаются символами не обращая внимание на их принадлежность к пакету. Макрос loop транслирует полученную форму в Common Lisp’овый код и возвращает развёрнутую форму.

The expanded loop form is one or more lambda-expressions for the local binding of loop variables and a block and a tagbody that express a looping control structure. The variables established in the loop construct are bound as if by using let or lambda. Implementations can interleave the setting of initial values with the bindings. However, the assignment of the initial values is always calculated in the order specified by the user. A variable is thus sometimes bound to a harmless value of the correct data type, and then later in the prologue it is set to the true initial value by using setq.

Развернутая форма представляется собой одно или более лямбда-выражений для связываний переменных цикла и формы block или tagbody, которые содержат тело цикла. Переменные для цикла создаются как если бы с помощью let или lambda. Связывание локальных переменных происходит в том порядке, в каком указал пользователь.

The expanded form consists of three basic parts in the tagbody:

Развёрнутая форма состоит из трёх основных частей в tagbody:

• The loop prologue contains forms that are executed before iteration begins, such as initial settings of loop variables and possibly an initial termination test.
• Пролог содержит формы, которые вычисляется перед началом итераций, например, первоначальные связывания переменных цикла и возможно первая проверка на завершение цикла.
• The loop body contains those forms that are executed during iteration, including application-specific calculations, termination tests, and variable stepping. Stepping is the process of assigning a variable the next item in a series of items.
• Тело содержит формы, которые вычисляются на каждом шаге цикла, включая непосредственно пользовательские операции, проверки завершения цикла, и пошаговое изменение переменных цикла. Пошаговое изменение это присваивание переменное следующего значения из последовательности значений.
• The loop epilogue contains forms that are executed after iteration terminates, such as code to return values from the loop.
• Эпилог содержит формы, которые вычисляются после завершения цикла, например, форма возврата значений из цикла.

Expansion of the loop macro produces an implicit block (named nil). Thus, the Common Lisp macro return and the special operator return-from can be used to return values from a loop or to exit a loop.

Раскрытие макроса loop порождает неявный block (с именем nil). Таким образом, внутри цикла для возврата значений или выхода можно пользоваться макросом return или специальным оператором return-from.

Within the executable parts of loop clauses and around the entire loop form, you can still bind variables by using the Common Lisp special operator let.

В любой части выражения цикла можно использовать обычную конструкцию связывания переменных let.