ЗамыканияФункциональный аргумент можно пометить с помощью специальной, предотвращающей вычисления формы 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)
|
