首先来几个名词解释:
- 作用域[scope]:每一个js函数都是一个对象,对象中有些属性我们可以访问,但有些不可以,这些属性仅供js引擎存取,[[scope]]就是对象其中一个属性。[[scope]]指的就是我们所说的作用域,其中存储了运行期上下文的集合。
- 作用域链:[[scope]]中所存储的执行期上下文对象的集合,这个集合呈链式链接,我们把这种链式链接叫做作用域链。
- 运行期上下文:当函数执行时,会创建一个称为执行期上下文的内部活动对象(简称AO),一个执行期上下文定义了一个函数执行时的环境;
- 查找变量:从作用域链的顶端依次向下查找;
描述
以下面的代码块为例:
function test1() {
function test2() {
var test2Num = 234;
}
var test1Num = 123;
test2();
}
var globalNum = 100;
test1();
test1函数是一个对象,所以它一定有[scope]这个属性。当它被定义时时,形成包括全局活动对象的作用域链: test1[[scope]] -- > 0: G0 { } 如下图:
当test1被调用即被执行时,会创建一个包括arguments,test2()和test1Num的活动对象,简称test1AO,此时,它占据了test1作用域链的最顶部:如图
此时test2开始被定义,它也形成了自己的定义域链,但是它保存的是它所在环境的作用域链,也就是test1,如图:
当test2被调用时,test2作用域链中,会产生包括 arguments 和 test2Num 的test2的AO,如图:
到这里,上面的过程可以描述为:
小结
很明显,作用域链本质上是一个指向变量对象的指针列表。并且外部函数的活动对象,即AO始终处于第二位,外部函数的外部函数的AO处于第三位,全局变量对象处在最外层,当前函数的AO处于第一位。其中需要注意的几点有:
- 内部的函数会有外部的AO;在内部函数被定义时,会保存所在外部的AO;被执行时,会生成自己的AO,并且自己的AO在作用域链最顶端;
- 在不同的时刻调用同一个函数生成的AO是不同的;所以每个函数执行时的上下文都是不同的;
- 当函数执行完毕,它所产生的执行上下文被销毁;内存中仅存全局作用域;