谈谈本身对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函数工做的时候，当前的执行上下文都会被压入堆栈；

 

 

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

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

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

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

二、变量对象（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 的值和实际传递进来的参数之间是共享的。

 

 

如今让咱们来串一下

 

一、全局执行上下文

建立global.VO

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

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

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

进行所在做用域链上的变量的赋值 各类运算 （做用域链包含全局的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