
- •Оглавление
- •1.Введение
- •2.Знакомство с реализацией Лиспа
- •2.1.Интерактивное программирование
- •2.2.Эксперименты в repl
- •3.Практикум: Простая база данных
- •3.1.Cd и Записи
- •3.2.Заполнение cd
- •3.3.Просмотр содержимого базы данных
- •3.4.Улучшение взаимодействия с пользователем
- •3.5.Сохранение и загрузка базы данных
- •3.6.Выполнение запросов к базе данных
- •3.7.Обновление существующих записей
- •3.8.Избавление от дублирующего кода
- •3.9.Об упаковке
- •4.Синтаксис и семантика
- •4.1.Зачем столько скобок?
- •4.2.Разделение черного ящика
- •4.5.Вызовы функций
- •4.6.Специальные операторы
- •4.7.Макросы
- •4.8.Истина, Ложь и Равенство
- •4.9.Форматирование кода Lisp
- •5.Функции
- •5.1.Определение новых функций
- •5.2.Списки параметров функций
- •5.3.Необязательные параметры
- •5.4.Остаточные (Rest) параметры
- •5.5.Именованные параметры
- •5.6.Совместное использование разных типов параметров
- •5.7.Возврат значений из функции
- •5.8.Функции как данные или Функции высшего порядка
- •5.9.Анонимные функции
- •6. Переменные
- •6.1.Основы переменных
- •6.2.Лексические переменные и замыкания
- •6.3.Динамические (специальные) переменные
- •6.4.Константы
- •6.5.Присваивание
- •6.6.Обобщенное присваивание
- •6.7.Другие способы изменения "мест"
6.2.Лексические переменные и замыкания
По умолчанию все связывающие формы в Common Lisp вводят переменные лексической области видимости (lexically scoped). На переменные лексической области видимости можно ссылаться только в коде, который текстуально находится внутри связывающей формы. Лексическая область видимости должна быть знакома каждому, кто программировал на Java, C, Perl или Python, так как все они предоставляют "локальные" переменные, имеющие лексическую область видимости. Программисты на Algol также должны чувствовать себя хорошо, так как этот язык первым ввел лексическую область видимости в 1960-х.
Однако, лексические переменные Common Lisp несколько искажают понятие лексической переменной, по крайней мере в сравнении с оригинальной моделью Algol. Это искажение проявляется при комбинировании лексической области видимости со вложенными функциями. По правилам лексической области видимости, только код, текстуально находящийся внутри связывающей формы, может ссылаться на лексическую переменную. Но что произойдет, когда анонимная функция содержит ссылку на лексическую переменную из окружающей области видимости? Например, в следующем выражении:
(let ((count 0)) #'(lambda () (setf count (+ 1 count))))
ссылка на count внутри формы LAMBDA допустима в соответствии с правилами лексической области видимости. Однако, анонимная функция, содержащая ссылку, будет возвращена как значение формы LET, и она может быть вызвана с помощью FUNCALL кодом, который не находится в области видимости LET. Так что же произойдет? Как выясняется, если count является лексической переменной, все работает. Привязка count, созданная когда поток управления зашел в форму LET, остается столько, сколько это необходимо, в данном случае до тех пор, пока что-то сохраняет ссылку на функциональный объект, возвращенный формой LET. Анонимная функция называется замыканием (closure), потому что она "замыкается вокруг" привязки, созданной LET.
Ключевым моментом для понимания замыканий является то, что захватывается не значение переменной, а привязка. Поэтому замыкание может не только иметь доступ к значению переменной, вокруг которой оно "замкнуто", но и присваивать ей новые значения, которые будут сохраняться между вызовами замыкания. Например, вы можете захватить замыкание, созданное предыдущим выражением, в глобальную переменную следующим образом:
(defparameter *fn* (let ((count 0)) #'(lambda () (setf count (1+ count)))))
Затем, при каждом его вызове значение счетчика будет увеличиваться на единицу.
CL-USER> (funcall *fn*) 1 CL-USER> (funcall *fn*) 2 CL-USER> (funcall *fn*) 3
Отдельное замыкание может "замыкаться вокруг" нескольких привязок переменных просто ссылаясь на них. Также множество замыканий могут захватывать одну и ту же привязку. Например, следующее выражение возвращает список трех замыканий, первое из которых увеличивает значение привязки count, вокруг которой оно "замкнуто", второе – уменьшает его, а третье – возвращает текущее значение:
(let ((count 0)) (list #'(lambda () (incf count)) #'(lambda () (decf count)) #'(lambda () count)))