谈谈自己对js闭包，执行上下文，作用域链，活动对象AO，变量对象VO的理解

引子：关于闭包
什么是闭包呢？
  从定义上来看，所有的函数都可以是闭包。当一个函数在调用时，引用了不是自己作用域内定义的变量（通常称其为自由变量），则形成了闭包；闭包是代码块和创建该代码块的上下文中数据的结合。

例子：   function mytest( ){                     
           var test=10;
          return function( ){ 
                 test++;
               alert(test);
      } 
}
var atest = new mytest( ); //引用返回的函数
atest( );  // 11
atest( ); //  12
ps：注意运用闭包的常见错误-->for（var i，len=xx.length;i<len;i++）循环；当我们所引用的自由变量为i时,由于i一直在内存中没有释放，所以函数每次alert（i）时，其值均为最终的i；（例子很多，就不写了）
    通过测试结果我们可以发现， 闭包会使该函数引用的变量一直在内存中，原因是什么呢？
简单的解释就是因为这个返回的函数引用了变量test；当浏览器解析到var atest=new mytest();这一行且mytes（）函数执行完毕，准备内存释放时，发现所返回的函数引用了test变量。从而该出栈的并没有出去；
    想完全弄清楚这个问题，我们还需要进一步理解AO（活动对象）和VO（变量对象）以及作用域链、执行上下文的问题。
    那么这整个机制浏览器到底是怎么解析的呢？
    不急，我们来看看执行上下文、作用域链、活动对象和变量对象；
写在前面的执行上下文：
 a:定义：

　　每次当控制器转到ECMAScript可执行代码的时候，即会进入到一个执行上下文。执行上下文(简称-EC)是ECMA-262标准里的一个抽象概念，用于同可执行代码(executable code)概念进行区分。

活动的执行上下文组在逻辑上组成一个堆栈。堆栈底部永远都是全局上下文(global context)，而顶部就是当前(活动的)执行上下文。堆栈在EC类型进入和退出上下文的时候被修改（进栈或出栈）。

b:若我们定义执行上下文堆栈是一个数组：

ECStack = [];

//GlobalContext始终在堆栈底部，其余的FunctionContext按激活顺序被压入，结束时被弹出

ECStack = [
  globalContext
];

ECStack = [  FunctionAaContext，//函数A内部函数a可执行代码 

FunctionAContext，//函数A可执行代码（不包含内部函数代码，只能对其声明，就像在全局中只能对函数A声明一样，需要内部函数激活时，创建   GlobalContext                                                     出新的执行上下文环境，才能执行相应的代码）      调用结束后出栈  
];

；

   ps：

每次进入function (即使function被递归调用或作为构造函数) 的时候或者内置的eval函数工作的时候，当前的执行上下文都会被压入堆栈；

 

1、作用域链
     首先，我们如何创建一个作用域呢，function（）。函数是javascript中唯一一个能创建出作用域的，也就是说for、if、while的{}是不能创建出作用域的。区别c++中的块作用域{}。
     一个函数的作用域创建后，将贯穿他的始“{”，终“}”，作用域

在函数创建时被存储，与函数共存亡

。这句话就应该着重理解贯穿2字了，若函数内部嵌套着多个函数，那么从最内层函数作用域依次往外就形成了作用链。
ps:需要我们理解作用域链的变量查找机制是由内往外的。先找自身作用域，再一次往外，若没有，则等同没有var时的声明（为全局添加了一个属性）；

作用域链正是内部上下文所有变量对象（包括父变量对象）的列表

2、变量对象（Variable Object）、活动对象（Activation Object）
     浏览器在对代码进行解析时，会先进行变量声明和函数声明以及函数形参声明；
(全局作用域下)那么这些优先声明的变量储存在哪里呢？ 
没错，就在变量对象中（抽象概念）；活动对象怎么理解呢？

     抽象变量对象VO (变量初始化过程的一般行为)
    

      --> 全局上下文变量对象GlobalContextVO
          (VO === this === global)

      --> 函数上下文变量对象FunctionContextVO
           (VO === AO, 并且添加了<arguments>（形参类数组）和<formal parameters>（形参的值）)

ps:在函数执行上下文中，VO是不能直接访问的，此时由活动对象扮演VO的角色。Arguments对象是活动对象的一个属性，它包括如下属性：

1. callee — 指向当前函数的引用

2. length — 真正传递的参数个数

3. properties-indexes (字符串类型的整数) 属性的值就是函数的参数值(按参数列表从左到右排列)。 properties-indexes内部元素的个数等于arguments.length. properties-indexes 的值和实际传递进来的参数之间是共享的。

现在让我们来串一下

 

1、全局执行上下文

创建global.VO

2、全局变量的赋值 | 调用函数（）（激活）

激活函数后，会得到当前的AO，其中有内部函数的声明、内部变量的声明、形参

3、进入所激活的函数的上下文

进行所在作用域链上的变量的赋值 各种运算 （作用域链包含全局的VO，和当前执行上下文的AO）

4.a、若在函数中有内部函数调用（或自执行），重复3；

4.b  若返回一个函数(或其引用)，且该函数有对自由变量的引用-->形成闭包-->作用域链机制依然有效-->当前已压入执行上下文堆栈的FunctionContext不会出栈；-->回到2；

4.c  正常return或正常结束，FunctionContext出栈；-->回到2；

5.所有代码执行完毕，程序关闭，释放内存。

 

恳请大牛老鸟指出错误和理解不对的地方；大二学生一枚，努力学习中。。。   见谅见谅

纯手打，转载收藏不用注明出处，（估计也不会有，请忽略）。

写在最后：

　　如果你是刚开始接触javascript，如果你也相信博客园能够让你的学习更加规划与深入，我推荐你看看王福鹏老师和汤姆大叔的博文，自己仔细揣摩，记录下自己的感想，一定会有收获的。加油。我正在努力看深入系列的设计模式，感觉看着不是很顺，有些不好理解，希望有经验的博主们能指点指点。这是我的第一篇博文，真心希望能够在博客园中寻到良师益友。

另贴上汤姆大叔深入javascript系列博文的地址，

http://www.cnblogs.com/TomXu/archive/2011/12/15/2288411.html