浅谈JavaScript的闭包原理

在一般的教程里，都谈到子作用域可以访问到父级作用域，进而访问到父级作用域中的变量，具体是如何实现的，就不得不提及到函数堆栈和执行上下文。

举个例子，一个简单的闭包：

 

首先，我们可以知道，example是一个函数构造器，我们是可以通过new来将他实例化成对象，但其实example实际上是一个对象的引用，function的原型继承(__proto__)是来自于Object的(Object.prototype)，同时，我们知道函数是拥有作用域的，因此我们的new_ex是引用了这个function对象，并且访问到其的作用域，因此，我们可以得到返回值funcB。

接下来的new_ex()，我们在父级函数作用域中进一步进入到了子级函数作用域，由于闭包的性质，因此我们可以对counter进行操作，操作完后，我们会释放子级函数作用域，进而释放内存，但由于我们new_ex仍对父级函数对象保留着引用，因此父级函数作用域没有被垃圾回收机制所释放，进而保留在内存中，因此我们可以实现计数器的功能。

但一旦我们撤除new_ex的引用，将其指向null对象，原来的函数对象就会被释放掉，因为该函数对象已经没有被任何变量所引用，进入垃圾回收机制。

 

对于更加底层的闭包分析，个人的理解是在函数执行上下文执行的时候，解释器会进行VO(variable object)/AO(active object)机制(其中VO一般是全局执行上下文的，AO是函数执行上下文)，将需要用到的变量存放到VO/AO中，并保存在函数执行上下文中，过程分为两步，创建期与执行期，创建期中，先声明变量和函数，变量为undefined，函数则为代码片段，到了执行阶段，变量会进行赋值(同时重新声明和赋值是允许的，可以改变数据类型，甚至函数变为原始值数据类型也是可以的)，执行完后，假如返回子函数，由于子函数中的AO中含有父函数的AO的引用，因此即使父函数执行上下文结束了，在全局函数堆栈中退栈了，其AO中被子级引用的变量仍然会保留在执行上下文的顶部，不会被释放，除非父级AO完全没有被引用了，才会被释放。

其实也可以这样理解，这里的new_ex指向的是example函数中的返回值，即funcB，因为解释器发现new_ex这个引用所指向的funcB的AO中有funcA的变量引用，因此没有释放funcA中的counter变量，因此闭包就形成了。

合理地运用闭包，能减少全局变量的污染，进而控制变量的生命周期，控制好内存的分配，对程序是百利无一害的，但是如果闭包不善，造成内存问题，那就要好好检讨一下自己的代码功底了。

 

下一次有空会讲一讲自己对原型链的理解。