本文转载自JavaScript深入之作用域链
挺想用自己的语言去写出来，但是因为功力不够深厚，没办法言简意赅的说出来，所以干脆全篇把冴羽大大的文章转载过来，等理解深刻之后再考虑重写
在上一篇《javascript基础之变量对象》中提到，当 JavaScript 引擎执行一段可执行代码（executable code）时， 会创建对应的执行上下文（execution context）。
对于每一个执行上下文，都有三个重要的属性：
- 变量对象（Variable object, VO）
- 作用域链（Scope chain）
- this
这篇文章主要讲讲作用域链。
# 作用域链
当查找变量时， 会先从当前上下文的变量对象中查找，如果没有找到，就会从父级（是词法作用域的父级，定义时的父级）执行上下文的变量对象中查找，一直找到全局上下文的对象变量，也就是全局对象，这样由多个执行上下文的变量对象构成的链表就叫做作用域链。
函数上下文的作用域链在函数调用时创建、在函数激活时变化。下面，以这两个时期来讲解作用域链的创建和变化。
# 函数创建
在《javascript基础之词法作用域和动态作用域》中讲到，函数的作用域在函数定义时就已经决定了。
这是因为当函数创建时，会保存所有父变量对象到函数的内部属性[[scope]]中，可以理解[[scope]]就是所有父变量对象的层级链，但是注意：[[scope]]并不代表完整的作用域链！
举个例子：
function foo() {
function bar() {
}
}
2
3
4
5
函数创建时： 各自[[scope]]为：
foo.[[scope]] = [
globalContext.VO
];
bar.[[scope]] = [
fooContext.AO,
globalContext.VO
]
2
3
4
5
6
7
8
完整的作用域链由多个执行上下文的变量对象构成的链表，[[scope]]是函数的一个属性而不是上下文。
# 函数激活
当函数激活时，进入函数上下文，创建 VO/AO 后，就会将活动对象添加到作用域链的前端。
这时候执行上下文的作用域链，我们命名为 Scope:
Scope = [AO].concat([[Scope]]);
至此，作用域链创建完毕。
# Show Me The Code
前面讲了都是些理论知识，下面从例子入手，结合之前将的变量对象和执行上下文，总结下函数执行上下文中的作用域链和变量对象的创建过程：
var scope = 'global scope';
function checkScope() {
var scope2 = 'local scope';
return scope2;
}
checkScope();
2
3
4
5
6
- checkScope 函数被创建，保存作用域链到内部属性 [[scope]]
checkScope.[[scope]] = [
globalContext.VO
]
2
3
- 执行 checkScope 函数，创建 checkScope 函数执行上下文，checkScope 函数执行上下文被压入执行上下文栈
ECStack = [
checkScopeContext,
globalContext
]
2
3
4
- checkScope 函数并不立刻执行，开始做准备工作，第一步：复制函数 [[scope]] 属性创建作用域链
checkScopeContext = {
Scope: checkScope.[[scope]]
}
2
3
- 第二步：用 arguments 创建活动对象，随后初始化活动对象，加入形参、函数声明、变量声明
checkScopeContext = {
AO: {
arguments: {
length: 0
},
scope2: undifined
},
Scope: checkScope.[[scope]]
}
2
3
4
5
6
7
8
9
- 第三步：将活动对象压入 checkScope 作用域顶端
checkScopeContext = {
AO: {
arguments: {
length: 0
},
scope2: undifined
},
Scope: [AO, [[Scope]]]
}
2
3
4
5
6
7
8
9
6、准备工作完成后，开始执行函数，修改 AO 属性值
checkScopeContext = {
AO: {
arguments: {
length: 0
},
scope2: 'local scope'
},
Scope: [AO, [[Scope]]]
}
2
3
4
5
6
7
8
9
7、查找到 scope2 的值，返回后函数执行完毕，函数上下文从执行上下文栈弹出
ECStack = [
globalContext
]
2
3