javascript 作用域链

　　最近想整理一下js执行代码的一些知识，如果有出错的地方还请指正。

　　执行环境(Execution Context)

　　所有的Javascript代码都是在一个执行环境中被执行的。它只是一种机制，用来完成运行时作用域、生存期等方面的处理。

　　代码分为三种类型：

1. 　　Global Code
2. 　　Eval Code
3. 　　Function Code

　　这是一个EC结构

可以理解如下：

activeExecutionContext = {    VO: {...}, // or AO    this: thisValue,    Scope: [ // Scope chain      // 所有变量对象的列表      // for identifiers lookup    ]};

　　当一段程序开始时，会先进入到全局执行上下文环境。此时如果调用了某些函数，就会进入他们的上下文环境，执行完之后再退出该上下文环境。

假设激活了一个EC1的上下文，图解如下

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

　　变量对象是一个与上下文相关的数据作用域，用于存储被定义在上下文中的变量和函数声明（不包括函数表达式）。在global全局上下文中，变量对象即使全局对象自身。

copy一个例子

var foo = 10;function bar() {} // // 函数声明(function baz() {}); // 函数表达式console.log(  this.foo == foo, // true  window.bar == bar // true);console.log(baz); // 引用错误，baz没有被定义

全局上下文中的变量对象(VO)会有如下属性：

在一个函数的上下文中，变量对象被表示为活动对象

活动对象在进入上下文中初始化成了

AO = {  arguments: <ArgO>};

arguments属性值就是Arguments对象

之后就是存储当前上下文的变量与函数声明

　　作用域链

　　作用域链是一个 对象列表，用于检索上下文中出现的 标识符（变量名称、函数声明，普通参数）。

　　在函数创建的时候，当前的作用域链被存储到了函数的[[scope]]属性中。当进入上下文创建AO/VO之后，上下文(EC)的Scope属性作了如下处理：

Scope = AO|VO + [[Scope]]

　　知识点就是这些，现在我们来一段代码，把过程给串联起来。在这之前，我们要知道另一个知识，就是执行上下文的代码被分成两个基本的阶段来处理

1. 进入执行上下文
2. 执行代码

var x = 10; function foo(m) {  var y = 20;   function bar() {    var z = 30;    alert(x +  y + z + m);  }   bar();} foo(10); // 60

首先先进入全局上下文环境

　　全局上下文的变量对象(代码执行时，x才被赋值)是：

globalContext.VO === Global = {  x: 10  foo: <reference to function>};

globalContext.Scope= globalContext.VO;

当"foo"创建时，

foo.[[Scope]] = [  globalContext.Scope];//也就是foo.[[Scope]] = [ globalContext.VO];

在"foo"激活时，进入了foo的上下文，foo上下文中的活动对象(代码执行时，y才被赋值)是：

fooContext.AO = {　arguments:<Arg>,　m: 10,　y: 20,  bar: <reference to function>};

此时foo上下文中的作用域链为：

fooContext.Scope = fooContext.AO + foo.[[Scope]] // i.e.: fooContext.Scope = [  fooContext.AO,  globalContext.VO];

函数"bar"创建时，其[[scope]]为:

bar.[[Scope]] = fooContext.Scope;//也就是bar.[[Scope]] = [  fooContext.AO,  globalContext.VO];

同理，bar就不写了。最后bar上下文的作用域链为:

barContext.Scope = barContext.AO + bar.[[Scope]]  barContext.Scope = [  barContext.AO,  fooContext.AO,  globalContext.VO];

在alert执行时，作用域链中查找标示符如下

查找 x, barContext.AO 无 ----> fooContext.AO 无 ---->globalContext.VO 有

查找 Z, barContext.AO 有

其他的就自己看了。

　　局部变量、全局变量

　　在作用域链中查找标识符是需要花时间的，所以就明白为什么需要尽量使用局部变量(将频繁使用的全局变量缓存下来)，全局变量尽量少用了。并且with会破坏作用域链，它会将指定的VO/AO加入到作用域链的顶端，这样在标识符查找时，需要查找更长的作用域链。

　　闭包

　　理解了上面的概念，闭包就很容易理解了。闭包是代码块和创建该代码块的上下文中数据的结合。