JavaScript高级(三) 作用域

前言

当JavaScript代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。

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

变量或函数的上下文决定了它们可以访问哪些数据，以及它们的行为。每个上下文都有一个关联的变量对象(variable object)，而这个上下文中定义的所有变量和函数都存在于这个对象上

作用域链

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

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

函数创建

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

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

举个例子：

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

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

foo.[[scope]] = [
    globalContext.VO
];


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

函数激活

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

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

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

捋一捋

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

var scope = "global scope";
function checkscope(){
    var scope2 = 'local scope';
    retuen scope2;
}
checkscope();

执行过程如下：

checkscope函数被创建时，保存作用域链到内部属性[[scope]]
1
2
3
checkscope.[[scope]] = [
globalContext.VO
];
执行checkscope函数，创建checkscope函数执行上下文，checkscope函数执行上下文被压入执行上下文栈
1
2
3
4
ECStack = [
checkscopeContext,
globalContext
];
checkscope函数并不立刻执行，开始做准备工作，第一步：复制函数[[scope]]属性创建作用域链
1
2
3
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]]]
}