Управляющие конструкции

Программа на Lisp состоит из набора выражений, или форм (см. Виды форм). Мы управляем порядком выполнения этих форм, заключая их в управляющие конструкции. Управляющие конструкции — это специальные формы, определяющие, когда, следует ли и сколько раз выполнять содержащиеся в них формы.

Простейший порядок выполнения — последовательный: сначала форма a, затем форма b и так далее. Именно это происходит, когда вы записываете несколько форм подряд в теле функции или на верхнем уровне файла с кодом Lisp: формы выполняются в порядке их записи. Мы называем это текстуальным порядком. Например, если тело функции состоит из двух форм a и b, при вычислении функции сначала вычисляется a, а затем b. Результат вычисления b становится значением функции.

Явные управляющие конструкции позволяют задавать порядок выполнения, отличный от последовательного.

Emacs Lisp предоставляет несколько видов управляющих конструкций, включая другие варианты последовательного выполнения, условные конструкции, итерацию и (управляемые) переходы — все они рассматриваются ниже. Встроенные управляющие конструкции являются специальными формами, поскольку их подформы не обязательно вычисляются или вычисляются последовательно. Вы можете использовать макросы для определения собственных управляющих конструкций (см. Макросы).

• Последовательное выполнение
• Условные конструкции
• Конструкции для объединения условий
• Условная конструкция с сопоставлением с образцом
• Итерация
• Генераторы
• Нелокальные выходы
• Условная компиляция