JavaScript执行环境

　　执行环境(Execution Context，也称为"执行上下文")是JavaScript中最为重要的一个概念。执行环境定义了变量或函数有权访问的其它数据，决定了各自的行为。当JavaScript代码执行的时候，会进入不同的执行环境，这些不同的执行环境就构成了执行环境栈。

　　JavaScript中主要存在三种执行环境:

•  全局执行环境

　　　JavaScript代码执行的默认环境。通常被默认为window对象，所有的全局变量和函数都作为window对象的属性和方法存在。当执行环境中的代码执行完毕之后，执行环境被销毁，其中的所有变量和函数也随之销毁。对于全局执行环境来说，当关闭网页或浏览器时，该环境被销毁。

•  函数执行环境

　　   当执行一个JavaScript函数时，函数的环境被推入环境栈中，执行完毕之后，栈将执行环境推出，将控制权转交给之前的执行环境。

•  Eval环境

　　　执行eval()函数时创建。

　　对于执行环境栈，请看如下代码:

var a = "global";
function example(){
     console.log(a);   
}

function outer(){
     var b = "outer";
     console.log(b);   
        
     function inner(){
          var c = "inner";
          console.log(c);
          example();
     }
     
     inner();
}

outer();

　　代码首先进入全局执行环境，然后依次进入outer,inner和example的执行环境，执行环境栈可以表示为:

　　

 　　每个执行环境都有三个重要的属性，变量对象(VO)、作用域链(scope chain)和this。下面首先看一下变量对象。

　　变量对象和活动对象(VO和AO)

　  变量对象

　　每个执行环境都有一个与之关联的变量对象(variable object)，环境中定义的所有变量和函数都保存在这个对象中。当代码在一个环境中执行时，会创建当前变量对象的一个作用域链(scope chain)。作用域链的最前端，始终是当前执行环境的变量对象。如果执行环境是函数，则其活动对象(activation object)作为变量对象。作用域链的下一个变量对象来自于父执行环境，而再下一个变量对象来自于父环境的外部环境，以此类推构成完整的作用域链，而最外层的变量对象始终是全局执行环境的变量对象。

　　一般来说，变量对象(VO)中包含以下信息：

• 变量
• 函数声明
• 函数的形参

　　当JavaScript代码执行的时候，如果试图寻找一个变量或函数，就会首先寻找VO。对于前面提到的代码，全局执行环境的VO如下所示：

　　

　　对于VO来说，函数表达式不包含在VO中，没有使用var声明的变量也不包含在VO中，这种方式只是给Global添加了一个属性。

　　活动对象

　　只有全局执行环境的变量对象允许通过VO的属性名称间接访问。但在函数执行环境中，VO是不允许被直接访问的。此时，由活动对象(Activation Object,简称AO)扮演VO的角色。活动对象在进入函数执行环境时被创建，它通过函数的arguments属性初始化，其中Arguments Objects是函数执行环境中活动对象AO的内部对象。

　　VO和AO的关系，简单点说就是，VO在不同的执行环境中有不同的变现形式。在全局执行环境中，可以直接使用VO；但是在函数执行环境中，AO被创建。

　　在上面的代码例子中，当开始执行outer函数的时候，outer函数的AO被创建如下图所示：

　　

　　执行环境的具体过程

　　当进入一个执行环境的时候，JavaScript解释器会创建新的执行环境，但具体是怎么做的呢？主要分为两个阶段：

• 创建阶段
  
  • 创建作用域链
  • 创建VO/AO
  • 设置this的值
• 执行阶段
  
  • 设置变量的值
  • 设置函数的引用
  • 解释执行代码

　　对于"创建VO/AO"这一步，JavaScript解释器主要做了下面的事情：

• 根据函数参数，创建并初始化arguments object
• 根据函数内部代码查找函数声明
  • 对于找到的所有函数声明，将函数名和引用全部存入VO/AO
  • 如果存在同名函数，进行覆盖
• 根据函数内部代码查找变量声明
  
  • 对于找到的所有变量声明，全部存入VO/AO，并初始化为"undefined"
  • 如果变量名称和已经声明的形参或函数相同，那么变量声明不会干扰这类属性

　　看下面的例子:

function example(p) {
    var a = 'hello';
    var b = function b() {...};
    function c() {...}
}

example(2);

 　　对于上面的例子，在执行环境创建阶段，会得到如下的执行环境对象:

exampleExecutionContext={
     scopeChain: {...},
     VO:{
          arguments:{
                0:2,
                length:1
          }
          p:2,
          c:pointer to function c()   
          a:undefined,
          b:undefined
     },
  
     this: {...}
}   

 　　在代码执行阶段，环境对象会被更新，如下所示:

exampleExecutionContext={
     scopeChain: {...},
     VO:{
          arguments:{
                0:2,
                length:1
          }
          p:2,
          c:pointer to function c()   
          a:'hello',
          b:pointer to function b()
     },
  
     this: {...}
}