每个javascript的执行上下文,都包含了三个东西
- 变量对象(Variable Object, VO)
- 作用域链(Scope Chain)
- this
作用域链
在《JavaScript深入之变量对象》中讲到,当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。
函数创建
函数的作用域在函数定义的时候就决定了。
这是因为javascript的函数有一个内部的[[scoped]]属性,当函数创建的时候,就会将所有父变量加入到其中,你可以理解[[scope]]就是所有父变量对象的层级链,但是注意:[[scope]]并不代表着完整的作用域链。
举个例子:
function foo() {
function bar() {
...
}
}
函数创建的时候,各自的作用域为:
foo.[[scope]] = {
globalContext: VO
};
bar.[[scope]] = {
fooContext.AO,
globalContext: VO
}
当函数激活的时候,进入函数上下文,创建VO/AO之后,就会将活动对象添加到作用域链的前端。
这个时候,执行上下文的作用域链,我们命名为Scope
Scope = [A0].concat([[scope]]);
至此,作用域链创建完毕。
捋一捋
var scope = "global scope";
function checkscope(){
var scope2 = 'local scope';
return scope2;
}
checkscope();
执行过程如下:
-
checkscope函数被创建,保存到作用域内部属性[[scope]]
checkscope.[[scope]] = [ globalContext.VO ]
-
执行checkscope函数,创建checkscope函数执行上下文,checkscope函数执行上下文被压入执行上下文栈。
ECStack = [ checkscopeContext, globalContext ];
-
checkscope函数并不会立刻执行,这个时候会开始做准备工作
-
第一步:复制函数[[scope]]属性创建作用域链
checkscopeContext = { Scope: checkscope.[[scope]], }
-
第二步:用 arguments 创建活动对象,随后初始化活动对象,加入形参、函数声明、变量声明
checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined }, Scope: checkscope.[[scope]], }
-
第三步:将活动对象压入 checkscope 作用域链顶端
checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined }, Scope: [AO, [[Scope]]] }
-
-
准备工作做完,开始执行函数,随着函数的执行,修改 AO 的属性值
checkscopeContext = { AO: { arguments: { length: 0 }, scope2: 'local scope' }, Scope: [AO, [[Scope]]] }
-
查找到 scope2 的值,返回后函数执行完毕,函数上下文从执行上下文栈中弹出
ECStack = [ globalContext ];