JavaScript深刻之做用域链

JavaScript深刻系列第五篇，讲述做用链的建立过程，最后结合着变量对象，执行上下文栈，让咱们一块儿捋一捋函数建立和执行的过程当中到底发生了什么？

前言

在《JavaScript深刻之执行上下文栈》中讲到，当JavaScript代码执行一段可执行代码(executable code)时，会建立对应的执行上下文(execution context)。

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

• 变量对象(Variable object，VO)

• 做用域链(Scope chain)

• this

今天重点讲讲做用域链。

做用域链

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

下面，让咱们以一个函数的建立和激活两个时期来说解做用域链是如何建立和变化的。

函数建立

在《JavaScript深刻之词法做用域和动态做用域》中讲到，函数的做用域在函数定义的时候就决定了。

这是由于函数有一个内部属性 [[scope]]，当函数建立的时候，就会保存全部父变量对象到其中，你能够理解 [[scope]] 就是全部父变量对象的层级链，可是注意：[[scope]] 并不表明完整的做用域链！

举个例子：

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

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

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

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

函数激活

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

这时候执行上下文的做用域链，咱们命名为 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
    }
}

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
];

下一篇文章

《JavaScript深刻之从ECMAScript规范解读this》

本文相关连接

《JavaScript深刻之词法做用域和动态做用域》

《JavaScript深刻之执行上下文栈》

《JavaScript深刻之变量对象》

深刻系列

JavaScript深刻系列目录地址：https://github.com/mqyqingfeng/Blog。

JavaScript深刻系列预计写十五篇左右，旨在帮你们捋顺JavaScript底层知识，重点讲解如原型、做用域、执行上下文、变量对象、this、闭包、按值传递、call、apply、bind、new、继承等难点概念。

若是有错误或者不严谨的地方，请务必给予指正，十分感谢。若是喜欢或者有所启发，欢迎star，对做者也是一种鼓励。