# 作用域链
当查找变量的时候，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级(词法层面上的父级)执行上下文的变量对象中查找，一直找到全局上下文的变量对象(全局对象)。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。
# 函数创建
函数有一个内部属性 [[scope]]，当函数被创建时，会保存所有父变量对象到其中，可以理解 [[scope]] 就是所有父变量对象的层级链
提示
[[scope]] 并不代表完整的作用域链！
# 例子
function foo() {
function bar() {
// ...code
}
}
1
2
3
4
5
2
3
4
5
函数创建时各自的[[scope]]
foo.[[scope]] = [
globalContext.VO
]
bar.[[scope]] = [
fooContext.AO,
globalContext.VO
]
1
2
3
4
5
6
7
2
3
4
5
6
7
# 函数激活
当函数激活时，进入函数上下文，创建 VO/AO 后，就会将活动对象添加到作用链的前端。
这时候执行上下文的作用域链,命名为 Scope
Scope = [AO].concat([[Scope]]);
1
然后,作用域链创建完毕了。
# 用于总结的例子
var scope = "global scope";
function checkscope(){
var scope2 = 'local scope';
return scope2;
}
checkscope();
1
2
3
4
5
6
2
3
4
5
6
执行过程
- 创建checkscope函数,保存作用域链到内部属性
[[scope]]
checkscope.[[scope]] = {
globalContext.VO
}
1
2
3
2
3
- 执行checkscope函数,创建checkscope函数的执行上下文
ECstack = [
checkscopeContext,
globalcontext
]
1
2
3
4
2
3
4
- 准备 checkscopeContext ,复制
[[scope]]属性创建作用域链
checkscopeContext = {
Scope:checkscope.[[scope]]
}
1
2
3
2
3
- 用 arguments 创建活动对象，然后初始化活动对象，
加入形参、函数声明、变量声明
checkscopeContext = {
AO:{
arguments:{
length:0
},
scope2:undefined
},
Scope:checkscope.[[scope]]
}
1
2
3
4
5
6
7
8
9
2
3
4
5
6
7
8
9
- 将活动对象压入作用域链顶端
checkscopeContext = {
AO:{
arguments:{
length:0
},
scope2:undefined
},
Scope:[AO,[[scope]]]
}
1
2
3
4
5
6
7
8
9
2
3
4
5
6
7
8
9
- 完成准备,执行函数,修改AO的值
checkscopeContext = {
AO:{
arguments:{
length:0
},
scope2:'local scope'
},
Scope:[AO,[[scope]]]
}
1
2
3
4
5
6
7
8
9
2
3
4
5
6
7
8
9
- 返回查找到scope2的值,函数执行完毕,弹出执行上下文栈
ECstack = [
globalcontext
]
1
2
3
2
3