代码改变世界

静态作用域与动态作用域

2013-11-10 12:06 by youxin, ... 阅读, ... 评论, 收藏, 编辑

看一个问题http://www.zhihu.com/question/20032419

词法域是否等同静态作用域?
问题来源:《Scheme 程序语言介绍》(ibm.com/developerworks/)中「一是把 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会绑定到这个新值。

参考

转自http://www.findfunaax.com/notes/file/126