Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1066665
  • 博文数量: 341
  • 博客积分: 12744
  • 博客等级: 上将
  • 技术积分: 4040
  • 用 户 组: 普通用户
  • 注册时间: 2008-05-12 09:34
文章分类
文章存档

2014年(1)

2013年(10)

2012年(17)

2011年(63)

2010年(102)

2009年(107)

2008年(41)

分类:

2011-10-23 22:49:21

对于如下函数定义
  1. (let ((y 7))
  2. (defun scope-test (x)
  3. (list x y)))
词法作用域和动态作用域的区别在于自由变量y
对于以下运算
  1. (let ((y 5))
  2. (scope-test 3))
动态作用域(如emacs lisp)会向前追溯运行时的y绑定,直到找到相应的y
运行结果为(3 5)

而词法作用域(如common lisp)则去检查函数定义时的环境
运行结果为(3 7)

就是说如果使用动态作用域而不小心设置了与函数定义中的自由变量相同的变量名,则会导致异常结果出现
emacs lisp使用动态作用域,这也是它的一个被诟病的地方

common lisp等由于使用词法作用域,则必须保存自由变量的相应环境,这就是闭包

对于以下函数
  1. (defun list+ (lst n)
  2. (mapcar #’(lambda (x) (+ x n))
  3. lst))
编译器必须保存响应的lambda函数才能正确执行,而这个lambda函数实际上就是一个闭包

对于如下定义

  1. (let ((counter 0))
  2.   (defun new-id () (incf counter))
  3.   (defun reset-id () (setq count 0)))
在common lisp中求值(new-id),得到结果为1

而在emacs lisp中直接求值(不声明任何其他的counter时),结果为出错:
  1. (error (void-variable counter))
即counter变量值为空,故emacs lisp不存在存储counter变量的闭包功能
阅读(2429) | 评论(0) | 转发(1) |
给主人留下些什么吧!~~