作用域链

作用域中查找变量，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级（词法层面的父级）执行上下文的变量对象中查找，一直找到全局上下文的变量对象，也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。
如下通过一个函数的创建和激活两个时期来查看作用域链是如何创建和变化的。

函数创建

函数的作用域在函数定义的时候就决定了，这是因为函数有一个内部属性[[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
    },
    Scope:[AO, [[Scope]]]
}

5. 准备工作做完，开始执行函数，随着函数的执行，修改AO属性

checkscopeContext = {
    Ao:{
        arguments:{
            length:0
        },
        scope2: 'local scope'
    },
    Scope:[AO,[[Scope]]]
}

7. 查找scope2的值，返回后函数执行完毕，函数上下文从执行上下文栈中弹出

ECStack = [
    globalContext
]