JS基础之作用域链
- 作用域链
- 作用域链
- 函数创建
- 函数激活
- 总结
作用域链
当JavaScript代码执行一段可执行的代码(
execution code
)时,会创建对应的执行上下文(execution context
)。
对于每个执行上下文,都有三个重要的属性:
- 变量对象(Varable object,VO)
- 作用域链(Scope chain)
- this
本节来简单了解一下作用域链
。
作用域链
上节变量对象我们说到,当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象,这样由多个执行上下文的变量对象构成的链表就叫做
作用域链
。
函数创建
我们在词法作用域和动态作用域中讲到,函数的作用域在定义函数的时候就决定了。
这是因为函数有一个内部属性[[scope]],当函数创建的时候,就会保存所有父变量对象到其中,你可以理解[[scope]]就是所有父变量对象的层级连,但是注意[[scope]]并不代表完整的作用域链!
举个栗子:
function foo(){function bar(){...}
}
函数创建时,各自的[[scope]]为:
foo.[[scope]]=[globalConext.VO
];
bar.[[scope]] = [fooContext.AO,globalContext.VO
];
函数激活
当函数激活时,进入函数上下文,创建VO/AO后,就会将活动对象添加到作用链的前端。
这时候执行上下文的作用域链,我们命名为Scope:
Scope = [AO].concat([[Scope]]);
至此,作用域链创建完毕。
总结
结合着之前讲的变量对象和执行上下文栈,我们来总结一下函数执行上下文中作用域链和变量对象的创建过程:
var scope = "global scope";
function checkscope(){var scope2 = "local scope";return scope2;
}
checkscope();
执行过程如下:
- checkscope函数被创建,保存作用域链到内部属性[[scope]]
checkscope.[[scope]] = [globalContext.VO
];
- 执行checkscope函数,创建checkscope函数执行上下文,checkscope函数执行上下文被压入执行上下文栈
ECStask = [checkscopeContext.AO,globalContext.VO
];
- 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]]]
}
6.准备工作完成,开始执行函数,随着函数的执行,修改AO的属性值。
checkscopeContext = {AO: {arguments:{length:0},scope2:'local scope'},Scope:[AO,[[Scope]]]
}
- 查找到scope2的值,返回后函数执行完毕,函数上下文从执行上下文栈中弹出。
ECStask = [globalContext.VO
];
好啦!本节就讲到这里啦!
拓展一个小知识:AO和VO的关系