简单而清楚地理解闭包

什么是闭包？
“闭包是指有权访问另外一个函数做用域中的变量的函数。”---《JavaScript高级程序设计》
一般来讲，当一个函数能够访问另外一个函数内部定义的变量(包括属性和方法)时，这个函数能够称之为闭包：

function fnA(){
    var a = "this is fnA.a";
    return function fnB(){
        alert(a);
    }
}

var x = fnA();
x(); // "this is fnA.a"

例子中，咱们能够经过x(即fnB)去访问fnA中的内部变量(a)，此时咱们能够称fnB为闭包。

闭包是如何产生的？
为了更清楚的解释闭包的发生，咱们须要先明白“函数的建立”到“函数的调用”到底发生了什么事情。

一、函数被建立时，会建立一条做用域链(下称A链)。而后根据跟建立时的环境，依照“外部函数”、“‘外部函数’的外部函数”、“‘外部函数的外部函数’的外部函数”....“全局函数”顺序，将全部函数的活动对象(能够简单理解为全部的内部变量)添加到这条做用域链上。（大多数非闭包的状况下，函数的外部函数即全局变量）
二、函数被调用时，也会建立一条做用域链(下称B链)，并将A链的内容包含到B链中，而后将当前函数的活动对象(能够简单理解为全部的内部变量)添加到B链条的顶端。
三、当访问函数内部变量时，会按照B链中的变量保存的顺序依次访问。即内部变量，(建立时的)外部函数的变量，(建立时的)外部函数的外部函数的变量...全局变量。

下面是一道经典的闭包题：

function fun(n,o) {
    console.log(o)
    return {
    fun:function(m){
        return fun(m,n);
        }
    };
}

var a = fun(0); // undefined。因为会“o”未赋值，因此会显示：undefined。同时返回一个字面量对象，对象内建立一个名为“fun”的函数，并将对象返回赋值给全局变量a。此时a内部的函数fun已经被建立好了，它的做用域链上包含了外部函数(外层的fun函数)的全部变量，其中包含了n(值为0)，o(值为undefined)；以及全局函数的变量fun(值得注意的是，这个fun属于全局函数的变量)。
a.fun(1); // 0。上面提到。在建立a的内部fun时，它包含的做用域链中包含了n(值为0)，o(值为undefined)；以及全局函数的变量fun。所以，咱们调用(访问)的“fun”是做用域链中给全局函数的函数fun。m=1，n=0，将其赋值给全局函数的函数fun，即：n=(m=)1，o=(n=)0，打印0，值为“0”。
a.fun(2); // 0
a.fun(3); // 0。这里有个“坑”须要注意。在上个步骤“a.fun(1);”中，最后会建立一个对象(fun函数做用域链中的n值为1，o值为0)并返回。可是并无变量来接收这个对象，更不会影响到a内部做用域链。所以“a.fun(2);”、“a.fun(3);”中，做用域链上的值与“a.fun(1);”中彻底同样。


var b = fun(0).fun(1).fun(2).fun(3); // undefined，0，1，2
//这是一条链式调用。为了便于理解，咱们将链式调用拆分如下等价的方案：
var b1 = fun(0); // undefined。这个和“ var a = fun(0);”，不重复解释。
var b2 = b1.fun(1); // 0。这里和“a.fun(1);”同样，不重复解释。可是要注意的是，此时有个变量b2接收了b1.fun返回的变量。此时，b2中的函数fun的做用域链的(部分)内容状况：n=1，o=0。
var b3 = b2.fun(2); // 1。“var b2 = b1.fun(1);”中，b2中函数fun的做用域链中的n为1，o为0。调用全局函数的fun时，n=(m=)2，o=(n=)1。所以打印内容为“1”。
var b4 = b3.fun(3); // 2。理由同上。


var c = fun(0).fun(1); // undefined，0
c.fun(2);// 1
c.fun(3);// 1

//为了便于理解，咱们将链式调用拆分如下等价的方案进行解释：
var c1 = fun(0); // undefined。这个和“ var a = fun(0);”，不重复解释。
var c = c1.fun(1); // 0。要注意的是，“ c1.fun(1); ”返回的对象由变量c接收，即c中的函数fun做用域链中的变量：n=1，o=0。
c.fun(2);// 1。
c.fun(3);// 1。“ c.fun(2);”中返回的对象不会影响到c。所以此处和执行“c.fun(2);”时同样，c中的函数fun做用域链并未被改变。

咱们能够简单理解为：函数建立时，就已经根据上下文环境保存一套全部外部函数(不包含自身内部)的变量。当咱们在调用闭包函数时，闭包函数自身不存在的变量，将会在这套变量中查找。

值得一提
一、“变量声明提高”对于闭包的实现是很是重要的。若是变量声明没有被提高，那么咱们将没法保存那些在闭包函数建立之后才声明的变量。
二、闭包的机制，做用域链会一直引用自身之外的函数的所有变量，内存回收机制不能及时回收这些变量，从而增大内存开销。