JScript执行上下文——作用域链

JavaScript代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。
对于每个执行上下文，都有三个重要属性：

• 变量对象（Variable object，VO），就是作用域
• 作用域链（Scope chain）
• this

#作用域链

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

#第一阶段：当函数创建的时候

须知，函数有一个内部属性 [[scope]]，当函数创建的时候，就会将所有父级变量对象，保存其中。这也解释了为何函数的作用域在函数定义的时候就决定了。
至于[[scope]] ，就是所有父级变量对象的层级链，但是注意：[[scope]] 不是完整的作用域链！

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

函数创建时，各自的[[scope]]为：
foo.[[scope]] = [
  globalContext.VO
];

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

#第二阶段：当函数准备执行的时候

当函数准备执行时，进入函数上下文，创建 VO/AO 后，就会将活动对象AO添加到作用链的前端。
这个时候，执行上下文的作用域链创建完毕。相当于var 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, checkscope.[[Scope]]
}

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

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

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

ECStack = [
    globalContext
];