95/ 通用的结合函数,依其类型返回特定的结合函数
1 > (defun combiner (x)
(typecase x
(number #'+)
(list #'append)
(t #'list)))
COMBINER
1 > (defun combine (&rest args)
(apply (combiner (car args))
args))
COMBINE
以上为函数定义,根据不同的元素类型,调用不同的函数,并返回值
1 > (combine 2 3);;;元素为数字,调用+
5
1 > (combine '(a b) '(c d));;;元素为列表,调用list
(A B C D)
96/ 调用stamp时,我们获得一个比之前高的数字,而调用reset我们可以将计数器归零:
2 > (let ((counter 0))
(defun reset ()
(setf counter 0))
(defun stamp ()
(setf counter (+ counter 1))))
STAMP;;;函数定义
2 > (list (stamp) (stamp) (reset) (stamp));;;stamp增加1,reset清零
(1 2 0 1)
2 > (list (stamp) (stamp) (stamp) (stamp) (stamp) (stamp) (reset)(stamp));;;stamp增加1,reset清零
(2 3 4 5 6 7 0 1)
97/ complement函数,接受一个谓词,并返回谓词的补数(complement)
2 > (mapcar (complement #'oddp);;;偶数谓词,返回T
'(1 2 3 4 5 6))
(NIL T NIL T NIL T)
2 > (mapcar (complement #'oddp);;;偶数谓词,返回T
'(1 2 3 4 5 6 8 4 7 5 3))
(NIL T NIL T NIL T T T NIL NIL NIL)
98/ 函数引用到外部定义的变量时,这外部定义的变量称为自由变量(free variable)。
函数引用到自由的词法变量时,称之为闭包(closure)。[2]只要函数还存在,变量就必须一起存在。
3 > (setf fn (let ((i 3)):::变量设定fn,局部变量i
#'(lambda (x) (+ x i))));;;执行函数体,即计算x+i的值并返回该值
#<COMPILED-LEXICAL-CLOSURE #x302000D1380F>;;;自由变量定义
3 > (funcall fn 2);;;fn为自由变量
5
3 > (funcall fn 8)
11
3 > (setf fn (let ((i 6))
#'(lambda (x) (+ x i))))
#<COMPILED-LEXICAL-CLOSURE #x302000D0A20F>;;自由变量定义
3 > (funcall fn 8);;fn为自由变量
14
3 > (funcall fn 2);;fn为自由变量
8
99/ add-to-list,这函数接受一个数字及列表,并返回一个列表,列表元素是元素与传入数字的和。
3 > (defun add-to-list (num lst);;;函数名及形参,num是自由的词法变量
(mapcar #'(lambda (x)
(+ x num));;;;我们传递了一个闭包给mapcar
lst))
ADD-TO-LIST;;;自定义的函数,只要函数还存在,num变量就必定存在,隐含在函数体中,非全局变量和设定变量
3 > (add-to-list 1 '(2 4 6))
(3 5 7)
3 > num
> Error: Unbound variable: NUM;;;未知变量
> While executing: CCL::TOPLEVEL-EVAL, in process Initial(0).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: Retry getting the value of NUM.
> Type :? for other options.
100/ 函数在被调用时,每次都返回不同的闭包。
4 > (defun make-adder (n);;;函数名及形参,n为自由变量
#'(lambda (x)
(+ x n)));;;函数体,闭包传给函数
MAKE-ADDER;;;定义函数,每次返回一个加法器(adder)
4 > (setf add3 (make-adder 3));;;定义变量,及把“每次加3的加法器”赋值到add3
#<COMPILED-LEXICAL-CLOSURE (:INTERNAL MAKE-ADDER) #x302000D2BE4F>
4 > (funcall add3 2);;;它接受一个数字,并返回一个将该数字与其参数相加的闭包(函数)
5
4 > (setf add27 (make-adder 27));;定义变量,及把“每次加27的加法器”赋值到add3
#<COMPILED-LEXICAL-CLOSURE (:INTERNAL MAKE-ADDER) #x302000D297AF>
4 > (funcall add27 2);;;它接受一个数字,并返回一个将该数字与其参数相加的闭包(函数).
29