深入作用域链

Posted on | In |

作用域链

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

接下来以一个函数的创建和激活两个时期来看作用域链式如何创建和变化的~

函数创建

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
function foo() {
    function bar() {
        ...
    }
}

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

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

函数激活

函数激活时，进入函数上下文，创建VO/AO之后，就会将活动对象添加到作用域链的前端。这个时候执行上下文的作用域链，我们命名为Scope:

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

结合上文讲的执行上下文和变量对象，总结一下函数执行上下文中作用域链和变量对象的创建过程：

1
2
3
4
5
6
var scope = "global scope";
function checkscope(){
    var scope2 = 'local scope';
    return scope2;
}
checkscope();

执行过程如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
// 1.checkscope 函数被创建，保存作用域链到内部属性[[scope]]
checkscope.[[scope]] = [
    globalContext.VO
];

// 2.激活 checkscope 函数，创建 checkscope 函数执行上下文，checkscope 函数执行上下文被压入执行上下文栈
ECStack = [
    checkscopeContext,
    globalContext
];

// 3.checkscope 函数并不立刻执行，开始做准备工作，第一步：复制函数[[scope]]属性创建作用域链
checkscopeContext = {
    Scope: checkscope.[[scope]],
}

// 4.第二步：用 arguments 创建变量对象，随后初始化活动对象，加入形参、函数声明、变量声明
checkscopeContext = {
    VO: {
        arguments: {
            length: 0
        },
        scope2: undefined
    }，
    Scope: checkscope.[[scope]],
}

// 5.准备工作做完，开始执行函数，随着函数的执行，VO变成AO被压入 checkscope 作用域链顶端，这个时候修改 AO 的属性值（也就是函数引用和变量赋值）
checkscopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: 'local scope'
    },
    Scope: [AO, [[Scope]]]
}

// 7.查找到 scope2 的值，返回后函数执行完毕，函数上下文从执行上下文栈中弹出
ECStack = [
    globalContext
];