JavaScript_05作用域链

作用域链（Scope chain）。

对于每个执行上下文，都有三个重要属性：

变量对象(Variable object，VO)。
作用域链(Scope chain)。
this。

本篇文章讲一下第二个属性：作用域链。

一、作用域链

下面，让我们以一个函数的创建和激活两个时期来讲解作用域链是如何创建和变化的。

二、函数的创建

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

举个例子：

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

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

foo.[[scope]] = [
  globalContext.VO  // 全局上下文的变量对象
];

bar.[[scope]] = [
    fooContext.AO,  // 函数 foo 执行上下文的活动对象
    globalContext.VO  // 全局上下文的变量对象
];

三、函数激活

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

这时候执行上下文的作用域链，我们命名为 Scope：

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

至此，作用域链创建完毕。

四、实例讲解

以下面的代码为例，结合着之前讲的变量对象和执行上下文栈，我们来总结一下函数执行上下文中作用域链和变量对象的创建过程：

var scope = "golbal scope";

function checkscope() {
    var scope2 = "local scope";
    return scope2;
}
checkscope();

执行过程如下：

checkscope 函数被创建，保存作用域链到内部属性 [[Scope]]。

checkscope.[[Scope]] = [
    globalContext.VO
];

执行 checkscope 函数，创建 checkscope 函数执行上下文，checkscope 函数执行上下文被压入执行上下文栈。

ECStack = [
    checkscopeContext,
    globalContext
];

准备工作
checkscope 函数并不立刻执行，开始做准备工作。

第一步：复制函数 [[Scope]] 属性创建作用域链。

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

第二步：用 arguments 创建活动对象，随后初始化活动对象，加入形参、函数声明、变量声明。

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

第三步：将活动对象压入 checkscope 作用域链顶端

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

四、执行函数

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

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

五、函数执行完毕

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

ECStack = [
    globalContext
];

全部频道