执行上下文--作⽤域链

上节讲到，当查找变量的时候，会先从当前上下⽂的变量对象中查找，如果没有找到，就会从⽗级(词法层⾯上的⽗级)执⾏上下⽂的变量对象中查找，⼀直找到全局上下⽂的变量对象，也就是全局对象。这样由多个执⾏上下⽂的变量对象构成的链表就叫做作⽤域链。

1. 函数创建

上⽂的词法作⽤域与动态作⽤域中讲到，函数的作⽤域在函数定义的时候就决定了。

这是因为函数有⼀个内部属性 [[scope]]，当函数创建的时候，就会保存所有⽗变量对象到其中，你可以理解[[scope]] 就是所有⽗变量对象的层级链，但是注意：[[scope]]并不代表完整的作⽤域链！

举个例⼦：

function foo() {
    function bar() {
        ...
    }
}

函数创建时，各⾃的[[scope]]为：

foo.[[scope]] = [
    globalContext.VO
];

bar.[[scope]] = [
    fooContext.AO,
    globalContext.VO
];

2. 函数激活

当函数激活时，进⼊函数上下⽂，创建 VO/AO 后，就会将活动对象(AO)添加到作⽤链的前端。

这时候执⾏上下⽂的作⽤域链，我们命名为 Scope：

Scope = [AO].concat([[Scope]]);

⾄此，作⽤域链创建完毕。

3. 总结

结合着之前讲的变量对象和执⾏上下⽂栈，我们来总结⼀下函数执⾏上下⽂中作⽤域链和变量对象的创建过程：

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: checkscope.[[scope]],
}

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
];