Функциональный аргумент можно пометить с помощью специальной, предотвращающей вычисления формы FUNCTION:
(FUNCTION функция)
В отличие от обычной блокировки вычислений с помощью QUOTE форму FUNCTION называют функциональной блокировкой. Функциональную блокировку можно записывать сокращенно:
#’f Û (FUNCTION f)
Если нужно передать функции данные в том виде, как они записаны, то используется обычная форма quote. Функции quote достаточно и для передачи имени функции или лямбда-выражения, если в нем не используются свободные переменные. Работа со свободными переменными оказывается более сложной, чем с параметрами, поскольку значения свободных переменных зависят от контекста вычислений. Сформированный на время вычисления функции вычислительный контекст после окончания ее вычисления пропадает, и на него невозможно позже сослаться или вернуться к нему. Для запоминания контекста вычисления в Лиспе используется замыкание (лексическое замыкание) – пара, состоящая из функции (лямбда-выражения) и контекста.
Замыкание создается формой FUNCTION. В замыкание из контекста определения функции включаются лишь связи свободных переменных функции. Замыкание можно сохранять как любой лисповский объект, присваивая его какой-нибудь переменной:
>(defun add(x)
(function (lambda (y) (+ x y))))
ADD
>(setq add3 (add 3)); x = 3
#<Closure SPECIAL::APPLY-INTERPRETED-CLOSURE...>
>(funcall add3 5); y = 5
Связи свободных переменных замыкания остаются в силе до следующего запуска замыкания, и этим переменным можно даже присваивать новые значения.
Необходимость замыканий продемонстрируем на следующем примере. Допустим, Вы хотите написать программу, которая при вызове генерирует степени двойки. Это должно выглядеть следующим образом:
>(power-of-2-generator)
>(power-of-2-generator)
>(power-of-2-generator)
...
Один из способов написать такой генератор – использовать глобальные переменные:
(defvar *previous-power* 1)
(defun power-of-2-generator ()
(setf *previous-power* (* 2 *previous-power*)))
Функция работает, но она использует глобальные переменные, а это значит, что мы не можем иметь больше одного power-of-2-generator генератора одновременно, так как глобальная переменная *previous power* может сохранять только одно значение.
Можно ли обойтись без глобальных переменных? Для сохранения состояния генератора может быть использовано замыкание. Связи свободных переменных замыкания остаются в силе до следующего запуска замыкания. Этим переменным также можно присваивать значения. Используя замыкание, получим следующее определение генератора степеней двойки:
(defun make-power-of-2-generator (previous-power)
#'(lambda ()
(setf previous-power (* previous-power 2))))
Теперь мы можем создать несколько генераторов, так как каждый из них использует собственную переменную previous-power.
>(setf g1 (make-power-of-2-generator 1))
#<Closure SPECIAL::APPLY-INTERPRETED-CLOSURE...>
>(setf g2 (make-power-of-2-generator 10))
#<Closure SPECIAL::APPLY-INTERPRETED-CLOSURE...>
>(funcall g1)
>(funcall g2)
>(funcall g1)
>(funcall g2)
>(funcall g1)
