有关语言作用域的一些东西

MIT 6.828 lab1 有一个 exercise 是叫你实现一个 stack backtracing 的功能，做完之后我发现，由 ebp 组成的这条链似乎就是蔡玲如说过的“动态链”，然而“静态链”在哪呢？在 C 语言中是不存在“静态链”的，因为 C 语言不允许函数嵌套定义，这样的话，所有函数内的非局部变量要不就是函数内的静态变量，要不就是全局变量，并不需要用到静态链这种东西。

这还没完，后面又了解到了 lexical scoping 和 dynamic scoping 这两个东西，才知道原来允许函数嵌套定义的语言也不一定就有静态链这种东西，根据维基百科：

With lexical scope, a name always refers to its (more or less) local lexical environment.

With dynamic scope, a global identifier refers to the identifier associated with the most recent environment, and is uncommon in modern languages.

这么一看，若是语言采用 dynamic scoping，同样也用不着静态链这种东西。所以有没有静态链，说到底是看语言是否允许函数嵌套定义并且采用 lexical scoping。

PL 也是一门学问啊（废话）。了解得越多，就越觉得计算机科学真是博大精深。

 

references:

怎样写一个解释器