本文深入解析JavaScript闭包的定义、运行机制及其在内存管理中的作用。通过剖析作用域链、执行上下文及垃圾回收机制，阐明闭包如何保护变量安全并维持状态，同时介绍其在实现私有属性和方法中的实际应用。
JavaScript闭包概述
对于编程初学者而言，掌握JavaScript中的闭包概念往往颇具挑战。撰写本文旨在以通俗易懂的方式解析闭包的本质，帮助初学者更轻松地理解这一核心概念。
一、什么是闭包？
官方对闭包的定义为：闭包是一个包含众多变量及绑定这些变量的环境的表达式（通常为函数），因此这些变量也是该表达式的一部分。然而，这种学术化的描述往往让读者难以直接理解。
通俗来说，JavaScript中所有的函数都可以被视为闭包。通常情况下，嵌套函数产生的闭包功能更为强大，这也是我们日常讨论“闭包”时主要指代的情形。参考以下代码示例：
代码如下:
function a() {
var i = 0;
function b() {
alert(++i);
}
return b;
}
var c = a();
c();闭包的定义与工作原理
上述代码具有两个显著特征：
1. 函数b嵌套定义在函数a内部。
2. 函数a返回函数b的引用。
执行var c=a()后，变量c指向了函数b。由于b内部引用了变量i，再次执行c()时会弹出显示i值的窗口（首次为1）。这段代码实际上创建了一个闭包。原因在于：函数a外部的变量c引用了函数a内部的函数b。
当函数a的内部函数b被函数a外部的变量引用时，便形成了我们通常所说的“闭包”。更透彻地解释，闭包即在构造函数体内定义另一个函数作为目标对象的方法，而该方法反过来引用外层函数体中的临时变量。
这使得只要目标对象存在，其方法就能间接保持原构造函数体中临时变量的值。尽管最初的构造函数调用已结束，临时变量的名称也已消失，但通过目标对象的方法仍可访问该变量的值，且该值只能通过这种方式访问。
即使再次调用相同的构造函数，生成的也是新对象和方法，新的临时变量对应新的值，与之前的调用相互独立。为了更深入理解闭包，接下来我们将探讨其作用和效果。
二、闭包有什么作用和效果？
闭包的作用与内存影响
简而言之，闭包的作用在于：当函数a执行完毕并返回后，JavaScript的垃圾回收机制（GC）不会回收函数a占用的资源，因为函数a的内部函数b的执行依赖于a中的变量。这是对闭包作用直观但不完全严谨的描述，理解闭包需要循序渐进。
在前述例子中，由于闭包的存在，函数a返回后，a中的变量i始终存在于内存中，因此每次执行c()时，i都会自增1后弹出。那么，如果a返回的不是函数b，情况会如何呢？
若a执行完后，b未被返回给a的外部，仅被a引用，而a又仅被b引用，此时函数a和b互相引用但不被外界引用（即不被外部变量持有），函数a和b将被GC回收。（关于JavaScript的垃圾回收机制将在后文详细介绍）
三、闭包的微观世界
闭包的微观机制：作用域与执行环境
要深入了解闭包以及函数a和嵌套函数b的关系，需引入几个关键概念：函数的执行环境（execution context）、活动对象（call object）、作用域（scope）以及作用域链（scope chain）。以函数a从定义到执行的过程为例阐述这些概念。
1. 当定义函数a时，JavaScript解释器会将函数a的作用域链（scope chain）设置为定义a时a所处的“环境”。若a为全局函数，则scope chain中仅包含window对象。
2. 当执行函数a时，a会进入相应的执行环境（execution context）。
3. 在创建执行环境的过程中，首先会为a添加一个scope属性，即a的作用域，其值为第1步中的scope chain。即a.scope等于a的作用域链。
4. 随后，执行环境会创建一个活动对象（call object）。活动对象也是一个拥有属性的对象，但不具有原型且不能通过JavaScript代码直接访问。创建完活动对象后，将其添加到a的作用域链的最顶端。此时a的作用域链包含两个对象：a的活动对象和window对象。
5. 接下来，在活动对象上添加一个arguments属性，它保存着调用函数a时所传递的参数。
6. 最后，将函数a的所有形参和内部函数b的引用也添加到a的活动对象上。在这一步中，完成了函数b的定义，因此如同第3步，函数b的作用域链被设置为b被定义的环境，即a的作用域。
至此，函数a从定义到执行的步骤完成。此时a返回函数b的引用给c，而函数b的作用域链包含对函数a的活动对象的引用，这意味着b可以访问a中定义的所有变量和函数。由于函数b被c引用，且函数b依赖函数a，因此函数a在返回后不会被GC回收。
当函数b执行时，也会经历上述步骤。因此，执行时b的作用域链包含3个对象：b的活动对象、a的活动对象和window对象。当在函数b中访问一个变量时，搜索顺序如下：
1. 先搜索自身的活动对象，若存在则返回；若不存在，则继续搜索函数a的活动对象，依次查找，直到找到为止。
2. 如果函数b存在prototype原型对象，则在查找完自身的活动对象后，先查找自身的原型对象，再继续查找。这就是JavaScript中的变量查找机制。
3. 如果整个作用域链上都无法找到，则返回undefined。
小结：本段提到了两个重要概念：函数的定义与执行。文中指出，函数的作用域在定义函数时就已经确定，而不是在执行时确定（参考步骤1和3）。通过一段代码说明此问题：
代码如下:
function f(x) {
var g = function () { return x; }
return g;
}
var h = f(1);
alert(h());这段代码中，变量h指向了f中的匿名函数（由g返回）。
◆假设函数h的作用域是在执行alert(h())时确定的，那么此时h的作用域链为：h的活动对象->alert的活动对象->window对象。
◆假设函数h的作用域是在定义时确定的，即h指向的那个匿名函数在定义时就已经确定了作用域。那么在执行时，h的作用域链为：h的活动对象->f的活动对象->window对象。
如果第一种假设成立，输出值将是undefined；如果第二种假设成立，输出值为1。运行结果证明第二种假设正确，说明函数的作用域确实在定义该函数时就已经确定。
四、闭包的应用场景
闭包的实际应用场景
1. 保护函数内的变量安全。以最开始的例子为例，函数a中的变量i只有函数b才能访问，无法通过其他途径访问，从而保护了i的安全性。
2. 在内存中维持一个变量。如前例所示，由于闭包，函数a中的变量i一直存在于内存中，因此每次执行c()时，都会给i自加1。
3. 通过保护变量的安全实现JS私有属性和私有方法（不能被外部访问）。推荐阅读：http://javascript.crockford.com/private.html。私有属性和方法在Constructor外是无法被访问的：
代码如下:
function Constructor(...) {
var that = this;
var membername = value;
function membername(...) {...}
} 以上3点是闭包最基本的应用场景，许多经典案例均源于此。
五、Javascript的垃圾回收机制
垃圾回收机制与闭包的关系
在JavaScript中，如果一个对象不再被引用，则该对象会被GC回收。如果两个对象互相引用，而不再被第3者所引用，那么这两个互相引用的对象也会被回收。因为函数a被b引用，b又被a外部的c引用，这就是为什么函数a执行后不会被回收的原因。
六、结语
理解JavaScript的闭包是迈向高级JS程序员的必经之路，理解了其解释和运行机制才能写出更为安全和优雅的代码。