词法域是否等同静态作用域?
问题来源:《Scheme 程序语言介绍》(http://www.ibm.com/developerworks/cn/linux/l-scheme/part2/)中「一是把 Lisp 从 Dynamic scope 变成了 Lexical scope」
词法作用域(lexical scope)等同于静态作用域(static scope)。所谓的词法作用域其实是指作用域在词法解析阶段既确定了,不会改变。
我们要知道js是遵循静态作用域的。举个例子:
var foo=1;
function static(){
alert(foo);
}
!function(){
var foo=2;
static();
}();
在js中,会弹出1而非2,因为static的scope在创建时,记录的foo是1。
如果js是动态作用域,那么他应该弹出2。请体会一下两者的区别。
1. 例子
首先定义函数foo,然后调用:
;;;; field.lisp
(let ((y 7))
(defun foo (x)
(print x)
(print y)))
(let ((y 5))
(foo 1))
使用sbcl和emacs来执行:
> sbcl --script field.lisp
1
7
> emacs --script field.lisp
1
5
很明显,这两个解释器的执行结果是不同的。
造成以上结果不同的原因和变量的绑定(binding)有关。 绑定代表了变量在运行时期的存在,存在相应就有作用域(scope)和生存期(extent)。 简单说:
common lisp采用的是静态作用域。在foo中寻找y的绑定时,它检查函数foo的定义环境。
emacs lisp采用的是动态作用域。在foo中寻找y的绑定时,它检查函数foo的执行环境。
2. 静态作用域
典型:C, C++, Python, Java, 大多数现在程序设计语言都是采用静态作用域规则。
静态作用域又叫做词法作用域,使用词法作用域的变量叫词法(lexical)变量。 词法变量都有一个确定的作用域和不确定的生存期。 词法变量的作用域可以是一个函数或block,使得其在这段代码区域内都有效。 但是词法变量的生存期取决于该变量需要引用(reference)多久(?)。
词法作用域里,对于函数体中的一个符号,不会逐层检查函数的调用链,而是检查函数定义时的外部环境,即捕捉的是函数定义时该符号的绑定。
在例子中的第一个let表里,定义了一个变量,符号名为y并绑定了值7,那么这个y的作用域就是这个let表区域。 foo函数定义在这个区域内,其内部会使用到一个符号名为y的变量。 那么在词法作用域的情况下,当foo被调用时,其会查找其定义的环境有没有符号名y的变量可以绑定,如果有则把foo中符号y的值绑定,在这里就是7。 并且这里foo中的y和外部let中的y共享一个值,都是对这个值的引用,并不是拷贝了一个新值。把例子中的代码做如下改变:
;;;; field2.lisp
(let ((y 7))
(defun foo (x)
(print x)
(print y)
(setq y (+ y 2))))
(let ((y 5))
(foo 1)
(foo 1))
(let ((y 5))
(foo 2))
> sbcl --script field2.lisp
1
7
1
9
2
11
这说明前后两次调用foo的过程中,y共享着同一个值。
最后要说明的是,Common Lisp中的词法变量虽然类似于某些语言中的局部变量,这些局部变量并没有提供类似Common Lisp词法变量的所有功能,尤其是并非所有语言都提供了支持闭包的词法作用域变量。
3. 动态作用域
典型:Emacs Lisp, Common Lisp(两种都有), Perl(两种都有)。
使用动态作用域的变量叫做动态(dynamic)变量,有时也叫做特殊(special)变量。 动态变量具有不确定的作用域,只取决于在什么地方绑定它。 同时从绑定开始,到绑定时的代码段执行完毕,这就是动态变量的生存期。
动态作用域里,函数执行遇到一个符号,会由内向外逐层检查函数的调用链,并打印第一次遇到的那个绑定的值。显然,最外层的绑定即是全局状态下的那个值。
在例子中的第二个let表里,同样定义一个变量,符号名为y并绑定到值5。那么这个y的作用域是在这个(第二个)let表及其调用的函数里。 在动态作用域下,其内部调用的函数foo中的y并不是检查其定义的环境,而是检查调用的环境,首先检查foo内部有没有y的定义,没有的话检查调用其的第二个let区域内有没有y的定义,发现有,则绑定到值5上面。为了说明问题,把代码也做改变:
;;; field3.lisp
(let ((y 7))
(defun foo (x)
(print x)
(print y)
(setq y (+ y 2))))
(let ((y 5))
(foo 1)
(foo 1))
(let ((y 5))
(foo 2))
> emacs --script field3.lisp
1
5
1
7
2
5
第二个let区域内y的值是共享的,所以第二次调用foo会使用第一次+2的结果。 而第三个let区域重新定义了y值,而这次调用foo会绑定到这个新值。
参考