# 作用域链 当查找变量的时候，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级(词法层面上的父级)执行上下文的变量对象中查找，一直找到全局上下文的变量对象，也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。 **函数的作用域在函数定义的时候就决定了。** 原因: 这是因为函数有一个内部属性 [[scope]]，当函数创建的时候，就会保存所有父变量对象到其中，你可以理解 [[scope]] 就是所有父变量对象的层级链，但是注意：[[scope]] 并不代表完整的作用域链！ 举例说明: ``` function foo() { function bar() { ... } } ``` 函数创建时，各自的[[scope]]为： ``` foo.[[scope]] = [ globalContext.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(); ``` 1. checkscope 函数被创建，保存作用域链到 内部属性[[scope]] ``` checkscope.[[scope]] = [ globalContext.VO ] ``` 2. 执行 checkscope 函数，创建 checkscope 函数执行上下文，checkscope 函数执行上下文被压入执行上下文栈 ``` ECStack = [ checkscopeContext, globalContext ] ``` 3. checkscope 函数并不立刻执行，开始做准备工作，第一步：复制函数[[scope]]属性创建作用域链 ``` checkscopeContext = { Scope: checkscope.[[scope]], } ``` 4. 第二步：用 arguments 创建活动对象，随后初始化活动对象，加入形参、函数声明、变量声明 ``` checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined } } ``` 5. 第三步：将活动对象压入 checkscope 作用域链顶端 ``` checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined }, Scope: [AO, [[Scope]]] } ``` 6. 准备工作做完，开始执行函数，随着函数的执行，修改 AO 的属性值 ``` checkscopeContext = { AO: { arguments: { length: 0 }, scope2: 'local scope' }, Scope: [AO, [[Scope]]] } ``` 7. 查找到 scope2 的值，返回后函数执行完毕，函数上下文从执行上下文栈中弹出 ``` ECStack = [ globalContext ]; ```