作用域链

当查找变量的时候，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级(词法层面上的父级)执行上下文的变量对象中查找，一直找到全局上下文的变量对象(全局对象)。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

函数创建

函数的作用域在函数定义的时候决定的

函数有一个内部属性 [[scope]]，当函数被创建时，会保存所有父变量对象到其中，可以理解 [[scope]] 就是所有父变量对象的层级链

提示

[[scope]] 并不代表完整的作用域链！

例子

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

函数创建时各自的[[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函数的执行上下文

ECstack = [
    checkscopeContext,
    globalcontext
]

3. 准备 checkscopeContext ,复制[[scope]]属性创建作用域链

checkscopeContext = {
    Scope:checkscope.[[scope]]
}

4. 用 arguments 创建活动对象，然后初始化活动对象，加入形参、函数声明、变量声明

checkscopeContext = {
    AO:{
        arguments:{
            length:0
        },
        scope2:undefined
    },
    Scope:checkscope.[[scope]]
}

5. 将活动对象压入作用域链顶端

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
]