浅谈对闭包的个人理解

关于闭包

有关闭包，网上有各种各样的说法。
百度百科说：：一个拥有许多变量和绑定了这些变量的环境的表达式（通常是一个函数），因而这些变量也是该表达式的一部分。
闭包的特点：

1.作为一个函数变量的一个引用，当函数返回时，其处于激活状态。
2.一个闭包就是当一个函数返回时，一个没有释放资源的栈区。
　　简单的说，javascript允许使用内部函数—即函数定义和函数表达式位于另一个函数的函数体内。而且，这些内部函数可以访问它们所在的外部函数中声明的所有局部变量、参数和声明的其他内部函数。当其中一个这样的内部函数在包含它们的外部函数之外被调用时，就会形成闭包。
百度百科

当然，有些人认为在一个函数内部嵌套了一个函数，并且里面的函数引用外面的函数的变量，那么里面的函数就可以叫做闭包。
还有一部分人认为：一个局部执行上下文就是一个闭包。

通过代码的执行过程来了解一下什么是闭包吧。

 var i = 5;
    function fn(i) {
        return function (n) {
            console.log(n+(++i));
        }
    }
    var f = fn(1);
    f(2);
    fn(3)(4);
    fn(5)(6);
    f(7);
    console.log(i);

JS代码在执行时分为两个阶段，预编译阶段和代码执行阶段。
第一个阶段：预编译阶段

预编译阶段又叫到变量提升阶段

把加var的变量进行提升，变量声明会提升，但变量的赋值是不会提升的，提升到代码段的最前面；
把使用function声明的函数进行提升，提升的是整个函数声明

第二个阶段：执行代码阶段：代码一行一行执行

在分析代码的执行过程时，还有几个概念需要了解

ECStack：执行上下文栈
EC（G）：全局执行上下文，全局的加var和加function的数据存储在VO中
VO：变量对象，存储全局的加var的变量或加function的全局数据
EC（f）：函数执行上下文， 存储局部的加var的 或 加function的局部数据
AO：活动对象。 存储局部的加var的 或 加function的局部数据
GO：全局对象。 默认情况下，里面存储了很多东西。全局的数据，加var的全局数据，加function的全局数据，不加var的变量都会存储到GO中

明白上面几个概念都是表示的什么图就很好看了，然后就走一下流程图吧。
1、预编译阶段

找带有var和function的声明，带var的只提升变量，不提升变量值（即只提升左边的），而在最外层的全局函数中，带function的不仅提升左边的，右边的也要提升。但是，引用数据类型的地址是存在栈里面，而数据是存储在堆里面，所以就需要开辟新的堆来存放数据，而栈里面存放能够指向堆里面数据的地址。只提升左边的变量时，默认变量的值为defined。所以在ECStack的EC（G）的VO中，i----undefined;fn--------0x0f（这是个16进制表示的地址）；f------undefined;此时，代码提升阶段完成。

2、代码执行阶段

执行阶段从上往下执行。第18行给i赋值，所以在VO中，i的值变为5。19-23行为引用数据类型并且已经提升过了，所以直接跳到24行。24行引用fn，只要引用，就要开辟一个新的EC（f）来存放引用数据，所以会有一个EC（fn（1）），数据则存放在AO中。在EC（fn（1））中执行时要谨遵三个步骤，先传参，即给形参赋值，然后提升，最后是代码执行。
所以在AO中，1赋值给i，传参步骤完成。然后提升，由于没有可以提升的，所以提升步骤完成。最后是代码执行，由于返回的是一个函数体，所以，return后面是个地址，即0x1f，真正的数据在新开辟的小堆中。由于函数带返回值，所以需要返回函数调用的地方，即返回var f = fn(1);所以，在EC（G）中，f的值就变成了新开辟的堆的地址，指向新开辟的堆（地址为0x1f）。
按照常理来说，函数在调用完之后，新开辟的EC（fn（1））及其产生的一系列的堆都会被销毁，但是全局变量f此时依然指向地址为0x1f的堆，所以调用函数产生的栈和堆就没办法销毁，这就形成了一个闭包。
然后执行25行：f（2）即为0x1f(2),因为24的返回值为f=0x1f。因为又是一个函数调用，所以需要开辟新的EC（0x1f（2）），先传参，把2传给n，然后提升，没有可以提升的就执行代码。因为输出为（n+(++i)），所以需要找n和i的值，n直接在本函数体中就可以找到，为2，在本层函数体中没有找到i，就去它的父函数中去找i。它的父函数就是EC（fn（1）），即上一个函数调用时未被销毁的闭包。找到1=1，所以输出2+2=4，又因为++i，所以，所以父函数的i的值变为2，代码调用结束，销毁EC（0x1f（2））和它开辟出的一系列堆。
接着执行26行代码：fn(3)(4)先执行fn(3),然后返回值接着执行0x2f(4),步骤和上述步骤基本相似。
…

上述例子中，在调用后未被销毁而释放空间的函数就是一个闭包，因为闭包的存在，使得下面的函数调用可以使用闭包里面的数据，大大延长了函数的生命周期，只有在整个全局的代码执行完之后才会把闭包给销毁掉。

代码执行的过程本身还是比较复杂的，还是要多多分析，多动手画画图才会真的理解代码在计算机中是怎么执行的。