js闭包的真正理解

《高级程序设计》上，这样说：当在函数内部定义了其他函数时候，就创建了闭包。闭包有权访问包含函数内部的所有变量。

这个说的太晦涩了，而且我觉得很容易理解错，闭包就是一个嵌套函数嘛？但是我觉得不对，没有全局变量对函数的调用gc照样会回收的。

---

一般来说，内部函数是能够访问到上一级乃至全局的的变量的，那么就有人这样理解：通过闭包，可以实现外部访问函数局部内的变量。
       如果我们把作用域简单的分个级的话，假设全局作用域作为第一级，其中定义的函数体内部作用域作为第二级，在第二级作用域内嵌套定义的函数体内部作用域作为第三级，....等等，传统意义上，第一级不能访问第二级的变量(这种变量叫做局部变量)，第二级不能访问第三级，...，而反过来是可以的，这就是作用域链。本级作用域内找不到再到上一级找，直至第一级全局。而闭包这种机制可以在第一级作用域中通过第三级作用域引用到第二级作用域中的变量，而方法就是在第二级作用域向第一级作用域返回拥有第三级作用域的函数引用。 这个引用才是关键，因为这个引用的存在，相关的第三作用域与第二作用域都成了这个引用运行的上下文，迫使垃圾回收机制GC不能回收这条链上所占用的资源。而如果没有这个引用，则跟一般函数一样，函数运行完资源就会被回收。而我的疑惑也在于此，闭包单指函数中的嵌套函数还是指被第一级引用了的嵌套函数？还是都是？还是说闭包并不是嵌套函数而是嵌套函数被第一级作用域引用时所形成的这种机制？

 function a(){ 

 　  var i=; 

   function b(){ 

 　    alert(++i); 

 　   } 

 　  return b; 

 　} 

 　var c = a(); 

 　c();

闭包的作用就是在a执行完并返回后，闭包使得Javascript的垃圾回收机制GC不会收回a所占用的资源，因为a的内部函数b的执行需要依赖a中的变量。
由于闭包的存在使得函数a返回后，a中的i始终存在，这样每次执行c()，i都是自加1后alert出i的值。
那么，如果a不返回函数b，情况就完全不同了。因为a执行完后，b没有被返回给a的外界，只是被a所引用，而此时a也只会被b引用，因此函数a和b互相引用但又不被外界打扰(被外界引用)，函数a和b就会被GC回收。
实际上是就是闭包延长变量的生命周期。通常函数的作用域即变量会在函数执行结束后被销毁，但当函数返回一个闭包，只要闭包不被释放，整条作用域链都会占用内存

---