Функции

форма­цию­ о функции,­ хотя,­ строго­ гово­ря,­ исполь­зо­вать­ defun при на­ писа­нии­ программ­ вовсе­ не обяза­тель­но­.

Сделав­ первым­ аргу­мен­том­ defun выра­же­ние­ вида­ (setf f), вы опре­де­ли­­ те, что будет­ проис­хо­дить,­ когда­ setf вызван­ с первым­ аргу­мен­том­ f.° Ниже­ приве­ден­ при­мер функции­ primo, кото­рая­ явля­ет­ся­ анало­гом­ car:

(defun primo (lst) (car lst))

(defun (setf primo) (val lst) (setf (car lst) val))

В послед­нем­ опре­де­ле­нии­ на месте­ имени­ функции­ нахо­дит­ся­ выра­же­­ ние (setf primo), первым­ пара­мет­ром­ явля­ет­ся­ уста­нав­ли­вае­мое­ значе­­ ние, а вторым ­– аргу­мент­ primo.°

Теперь­ любой­ setf для primo будет­ являть­ся­ вызо­вом­ функции,­ опре­де­­ лен­ной вы­ше:

> (let ((x (list ’a ’b ’c))) (setf (primo x) 480)

x) (480 B C)

Совсем­ не обяза­тель­но­ опре­де­лять­ саму­ функцию­ primo, чтобы­ опре­де­­ лить пове­де­ние­ (setf primo), одна­ко­ такие­ опре­де­ле­ния­ обычно­ дают­ся­ пара­ми­.

Посколь­ку­ строки­ в Лиспе ­– полно­цен­ные­ выра­же­ния,­ ничто­ не меша­­ ет им нахо­дить­ся­ внутри­ тела­ функции­. Сама­ по себе­ строка­ не вызы­­ва­ ет побоч­ных­ эффек­тов,­ поэто­му­ она ни на что не влияет,­ если­ не явля­ет­­ ся послед­ним­ выра­же­ни­ем­. Если­ же строка­ будет­ первым­ выра­же­ни­ем,­ она будет­ считать­ся­ строкой­ доку­мен­та­ции­ к функции:­

(defun foo (x)

"Implements an enhanced paradigm of diversity." x)

Доку­мен­та­ция­ к функции,­ опре­де­лен­­ной глобаль­но,­ может­ быть полу­­ чена­ с помо­щью­ documentation:

> (documentation ’foo ’function)

"Implements an enhanced paradigm of diversity."

6.2. Локальные функции

Функции,­ опре­де­лен­­ные с помо­щью­ defun или setf вместе­ с symbol-func­ tion, явля­ют­ся­ глобаль­ны­ми­. Как и глобаль­ные­ пере­мен­ные,­ они могут­ быть исполь­зо­ва­ны­ везде­. Кроме­ того,­ есть возмож­ность­ опре­де­лять­ ло­ кальные­ функции,­ кото­рые,­ как и локаль­ные­ пере­мен­ные,­ доступ­ны­ лишь внутри­ опре­де­лен­­ного­ контек­ста­.

Локаль­ные­ функции­ могут­ быть опре­де­ле­ны­ с помо­щью­ конст­рук­ции­ labels – своего­ рода­ let для функций­. Ее первым­ аргу­мен­том­ явля­ет­ся­ не

список,­ задаю­щий­ пере­мен­ные,­ а список­ опре­де­ле­ний­ локаль­ных­ функ­ ций. Каждый­ элемент­ этого­ списка­ явля­ет­ся­ списком­ следую­ще­го­ вида:­

(name parameters . body)

Внутри­ labels любое­ выра­же­ние­ с name экви­ва­лент­но­ лямбда­-вызо­ву­

(lambda­ parameters . body).

> (labels ((add10 (x) + x 10)) (consa (x) (cons ’a x)))

(consa (add10 3))) (A . 13)

Анало­гия­ с let, одна­ко,­ не рабо­та­ет­ в одном­ случае­. Локаль­ная­ функ­ ция в labels может­ ссылать­ся­ на любые­ другие­ функции,­ опре­де­лен­­ные в той же конст­рук­ции­ labels, в том числе­ и на саму­ себя­. Это позво­ля­ет­ созда­вать­ с помо­щью­ labels локаль­ные­ рекур­сив­ные­ функции:­

> (labels ((len (lst)

(if (null lst) 0

(+ (len (cdr lst)) 1)))) (len ’(a b c)))

3

В разделе 5.2 гово­ри­лось­ о том, что конст­рук­ция­ let может­ рассмат­ри­­ ваться­ как вызов­ функции­. Анало­гич­но­ выра­же­ние­ с do может­ считать­­ ся вызо­вом­ рекур­сив­ной­ функции­. Выра­же­ние:­

(do ((x a (b x)) (y c (d y)))

((test x y) (z x y)) (f x y))

экви­ва­лент­но­

(labels ((rec (x y)

(cond ((test x y) (z x y)) (t

(f x y)

(rec (b x) (d y))))))

(rec a c))

Эта модель­ может­ служить­ для разре­ше­ния­ любых­ вопро­сов,­ кото­рые­ у вас еще могли­ остать­ся­ каса­тель­но­ пове­де­ния­ do.

6.3.Списки параметров

Вразделе 2.1 было­ пока­за­но,­ что благо­да­ря­ префикс­ной­ нота­ции­ + мо­ жет при­нимать­ любое­ коли­че­ст­во­ аргу­мен­тов­. С тех пор мы позна­ко­ми­­ лись с многи­ми­ подоб­ны­ми­ функция­ми­. Чтобы­ напи­сать­ такую­ функ­ цию само­стоя­тель­но,­ нам придет­ся­ восполь­зо­вать­ся­ оста­точ­ным­ па­ рамет­ром­ (rest).