js的作用域链

在查找变量的时候，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级执行上下文的变量对象中查找，以此类推一直找到全局上下文的变量对象，这样由多个执行上下文的变量对象构成的链表就是作用域链。

函数创建

函数的作用域在函数定义的时候就决定了，这是因为函数有一个内部属性[[scope]]，当函数创建的时候，就会保存所有父变量对象到其中。

举个例子：

function foo(){

function bar(){

}

}

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

foo.[[scope]]=[

globalContext.VO

];

bar.[[scope]]=[

fooContext.AO

        globalContext.VO

]

函数激活

当函数激活，进入函数上下文，创建AO/VO后，就会将活动对象添加到作用链的前端。

这时候执行上下文的作用域链，我们命名为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：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
];