JavaScript Scope Chain

每个javascript的执行上下文，都包含了三个东西

• 变量对象（Variable Object, VO）
• 作用域链（Scope Chain）
• this

作用域链

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

函数创建

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

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

举个例子：

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

函数创建的时候，各自的作用域为：

foo.[[scope]] = {
  globalContext: VO
};
bar.[[scope]] = {
  fooContext.AO,
  globalContext: VO
}

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

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

Scope = [A0].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函数并不会立刻执行，这个时候会开始做准备工作

   1. 第一步：复制函数[[scope]]属性创建作用域链

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

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

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

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

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

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

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

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

   ECStack = [
       globalContext
   ];