JavaScript的“闭包”到底是什么

在JavaScripot函数闭包的定义中，一般都有一个outer 函数，一个inner函数。那么“闭包”到底是指outer函数呢，还是指inner函数？

从官方定义来看，并不清楚：A closure is a combination of a code block and data of a context in which this code block is created.

 

那么在下列函数中：

 

function outerfunc(y) {

 

          var internal1 = 100 ;

          var internal2 = 200 ;

         

          function innerfunc1(x) {

                    internal1++;

                    internal2 --;

          }

                   

          function innerfunc2()

          {

                    internal1--;

                    internal2++;

          }

         

          function get1()

          {

                    return internal1;

          }

         

          function get2()

          {

                    return internal2;

          }

         

          y.func1 = innerfunc1;

          y.func2 = innerfunc2;

          y.get1 = get1;

          y.get2 = get2;

}

 

到底是哪个函数闭包那个呢？是outerfunc闭包innerFunc1， innerfunc2呢？还是相反？

一般的教科书认为是innerfunc1 闭包了internal1和internal2。同样innerfunc2闭包了上述两个变量。这也不违反上述官方定义，只是总觉得在“语义”层面说不过去。看过我C++博客的读者会知道我对语义的痴迷。

 

我认为，正确的理解应该是outerfunc, innerfunc1, innerfunc2,get1,get2共同组成一个闭包，包揽了outerfunc的所有自由变量，参数， 以及local变量。

 

为什么呢？因为：

 

1） innerfunc1 和innerfunc2 都“定义”在outerfunc内，共享outerfunc的自由变量internal1和internal2。单独谈哪一个函数都没有意义。

 

2） 因为有了innerfunc1和innerfunc2，outerfunc的“语义”发生了根本的变化。本来是“auto”变量的internal1和internal2变成了“heap”变量。具体的实现是JavaScript的implementation细节。但是懂得这一微妙的细节，会加深你对JavaScript的理解。也知道closure的实现代价。

 

3） 上面这条的详细解读：没有闭包的outerfunc可以优化，利用stack变量来实现internal1和internal2。有了闭包，internal1和internal2必须由Garbage collection 来实现。功能当然会大幅下降。

 

以上第二点，对理解“闭包”，以及JavaScript函数的性质，有根本意义。

 

2014-8-26 西雅图