（转）Javascript的作用域，闭包的真真正含义

这文章写的真好：http://www.iteye.com/topic/1125744

javascript函数作用域分两个阶段
一个叫创建时阶段
一个叫运行时阶段

定义1：
所谓“创建时阶段”就是一个函数被以某种语法定义出来的时候，
并且此函数被创建在一个运行时阶段的作用域中时，此函数才为闭包状态，才能有自己的“创建时阶段”的作用域。

（在这里要说的是，所有被压入函数作用域链的值，都是对“可变对象”的引用，当所有这个“可变对象”的引用都断开的时候，这个“可变对象”才可能被垃圾回收，从内存中删去）

当浏览器的一个窗口被打开时，就自动开启了一个最顶级的"运行时阶段的作用域"，
我们一般叫它“全局作用域”，所有在这个“全局作用域”中以某种语法定义出来
的函数就自动进入了“创建时阶段”，就有了自己“创建时阶段”的作用域。
并且自己“创建时阶段”的作用域链上自动插入，
创建自己的“运行时阶段”的“可变对象”的引用，
并且逐级插入。。。直道插入最后一个“可变对象”（就是最顶级的“运行时阶段”所产生的，一般我们叫它‘Global Object’）.

定义2：
所谓“运行时阶段”就是一个函数被（）操作符标识为要运行的时候，
此时，函数本身会创建一个内部对象，叫“运行期上下文”对象，
“运行期上下文对象”有自己的[[scope]]属性，此属性将copy此函数“创建时阶段”的[[scope]]属性的值，也就是“创建时阶段的作用域链”做为“运行时阶段的作用域链”的最初形态，有了这个最初形态以后，运行期上下文将组织聚集函数内部的所有标识符等等属性为一个对象，这个对象叫做"可变对象"，然后将这个对象的引用压入自己作用域链的第一个位置。



下面做代码实例解析

Java代码  收藏代码

    var a = function() { 
     var i = 0; 
     var b = function() { 
       alert(i); 
     }; 
     return b; 
     
    } 



以上代码，此时a函数被以某种语法定义出来
a函数被创建在最顶级的“运行时阶段”的作用域链中，
此时a函数才被允许有自己的“创建时阶段”的作用域链。。。
此时a函数的作用域链上插入了创建自己的“运行时阶段”的“可变对象”的引用，
就是对"Global Object可变对象"的引用

此时b函数以某种语法定义出来，并且是被定义在a函数内部，
但由于a函数的作用域才处于“创建时阶段”
如果b函数要有自己的作用域就必须符合定义1
但很可惜不符合。。。因为b函数没有被创建在一个“运行时阶段”的作用域中，而是被创建在一个“创建时阶段”的作用域中，不满足定义1，所有b函数此时还没有作用域。

当执行以下这一行代码时
Java代码  收藏代码

    var b = a(); 



a函数被（）操作符标识为要运行的时候，
此时，a函数本身会创建一个内部对象，叫“a函数运行期上下文-01”的对象，
（这里提示一下，每当a函数被运行的时候都会产生一个"a函数运行期上下文-XX"对象)
“a函数运行期上下文对象”有自己的[[scope]]属性，此属性将copy a函数“创建时阶段”的[[scope]]属性的值，也就是“创建时阶段的作用域链”做为“运行时阶段的作用域链”的最初形态，有了这个最初形态以后，运行期上下文将组织聚集函数内部的所有标识符等等属性为一个对象，这个对象叫做"可变对象"，然后将这个对象的引用压入自己作用域链的第一个位置。

此时b函数终于符合定义1了，它被创建在一个“运行时阶段”的作用域链中，于是b函数有了自己的“创建时阶段”的作用域，并且“创建时阶段”的作用域链上插入a的可变对象的引用和全局可变对象的引用，此时a函数处于闭包状态。

当执行以下这两行代码时
Java代码  收藏代码

    var b = a(); 
    b(); 



当第一行代码执行完毕的时候，也就是当a函数执行完毕的时候，“a函数的运行期上下文对象”也被销毁，又此上下文创建的作用域链也销毁，所以对"a的可变对象"断开了引用，也就是说，如果“a的可变对象”如果没有其他引用的话随时会被垃圾回收释放内存，但是上面说了b函数处于闭包状态了,b函数的“创建时阶段”的作用域链已经有了一个对"a的可变对象"的引用，也就是说不会被垃圾回收无法释放内存，知道b函数执行完毕后“a的可变对象”和“b的可变对象”才都断开了引用，才会被垃圾回收释放内存。