java script 运行环境_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: {...}

}