深入--作用域链

接着《深入--变量对象》讲讲作用域链

 

作用域链

 

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

 

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

 

创建函数

 

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

这是因为函数有一个内部属性[[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]] = [
      globleContext.VO
];

 2.执行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:undefiend
       }
        Scope:[AO,[[scope]]]
}

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

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

 

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

ECStack = [
    globalContext
];