理解Javascript闭包

闭包是ECMAScript一个很重要的特征，但是却很难用合适的定义来描述它。虽然闭包很难清晰地描述，但是，却很容易创建，或者说，不小心创建。然而，闭包的存在其实是有一定的潜在问题的。为了避免“不小心”地创建闭包，以及更好地利用闭包的优点，有必要理解闭包的机制。

闭包的定义
 
关于闭包，有太多的定义，特别是有一些定义非常抽象，象这个：

A"closure"isanexpression(typicallyafunction)thatcanhavefreevariablestogetherwithanenvironmentthatbindsthosevariables.

大致是说闭包是一个表达式，拥有一些自由变量及绑定这些变量的执行环境。这种定义太书面化，反而难以理解。

还有另一个定义：
所有函数都是闭包。这个定义给我很大的迷惑，换句话说，由于Javascript没有块级作用域，因此闭包一般指的是函数（想不出除了函数以外还有哪些方式可以构成闭包）。

这里不想太多讨论函数与闭包的关系，下面给出我认为比较容易理解的定义吧。

首先，闭包的存在是基于作用域链。由于作用域链的机制，所有函数（即使全局函数）都能引用上下文执行环境中的变量（即freevariables）。

其次，闭包内部必须有freevariables。顺便说下两种变量1.Localvariables(boundvariables)2.Non-localvariables(freevariables)

最后，在其上下文环境结束后仍然存在。即内部函数拥有比它的外部函数更长的生命周期。

 
关于闭包定义的解析
 
关于闭包定义的两点，一直在考虑是不是必须同时满足。

首先，如果闭包内部没有freevariables，即是说它没有访问外部的变量，那么就失去了闭包的意义。（除非通过其他闭包改变了行为）因此，我认为freevariables是必要条件。

其次，如果函数内部存在freevariables，但是当其上下文环境销毁后，它也跟着销毁。可以想象内部函数，虽然访问了其外部函数变量，但是当外部函数执行完后也随之回收。这种情况下，闭包的讨论也没有意义。

 
来看两个例子：