Javascript闭包(Closure)

这张图，懂的人，自然懂
下面开始正题

----------------------------------------------

1. 组合子（Combinator）
普通我们常说的一个“函数”：
函数有两个“自变量”（术语：约束变量），x和y。函数的返回值，也就是应变量，是自变量一系列操作的结果。比如例子里是返回x和y的和。这样的一个它内部操作依赖的变量全部由参数提供了的”自给自足“的函数，叫“组合子（Combinator）”。

Java代码表示就是：

publicintadd(int x, int y){

   return x+y;

}

换到编程的概念，强调的就是函数的**“作用域”**。大多数编程语言都是用一对花括号**"{}"**标识出作用域。上面代码里的add()函数被调用之后，
int sum=add(2,3);
编译器编译之后，可以理解成是这个样子，函数的参数x和y，是包含在函数add()的作用域里的。

add(){

    int x=2;

    int y=3;

    return x+y;

}

或者，函数像下面这样写也可以。这时候x作为函数参数出现，而y作为函数局部变量出现。效果和上面的例子是一样的。

public int add(intx){

    int y=3;

    return x+y;

}

2. 自由变量
但有的时候，函数也可以有它自身作用域以外的参数参与。这些在函数作用域以外，由函数的外部环境提供的参数就叫“自由变量（Free Variable）”。比如下面这个的函数，返回和的和。这里的就是自由变量。

写成代码就是这样，

int y=3;

add(){

    int x=2;

    return x+y;

}

3. 闭包（Closure）
大白话不怎么严谨的说法就是三点：

1.  一个依赖于自由变量的函数 

2.   处在含有这些自由变量的一个外围环境

3.  这个函数能够访问外围环境里的自由变量

看下面这个Javascript闭包的例子：

function Add(y){ 

    return function(x) { 

        return x + y 

    } 

}

对内部函数function(x)来讲，y就是自由变量，而且function(x)的返回值，依赖于这个外部自由变量y。而往上推一层，外围Add(y)函数正好就是那个包含自由变量y的环境。而且Javascript的语法允许内部函数function(x)访问外部函数Add(y)的局部变量。满足这三个条件，所以这个时候，外部函数Add(y)对内部函数function(x)构成了闭包。

闭包的结构，如果用λ演算表达式来写，就是多参数的Currying技术。
> λx.λy.x+y

但在Java中我们看不到这样的结构。因为Java主流语法不允许这样的直接的函数套嵌和跨域访问变量。

4. 类和对象
但Java中真的不存在闭包吗？正好相反，Java到处都是闭包，所以反而我们感觉不出来在使用闭包。因为Java的“对象”其实就是一个闭包。其实无论是闭包也好，对象也好，都是一种数据封装的手段。看下面这个类，

class Add{

    private int x=2;

    public int add(){

       int y=3;

       returnx+y;

    }

}

看上去x在函数add()的作用域外面，但是通过Add类实例化的过程，变量”x“和数值”2“之间已经绑定了，而且和函数add()也已经打包在一起。add()函数其实是透过this关键字来访问对象的成员字段的。

5. 内部类是闭包：包含指向外部类的指针
Java中的内部类就是一个典型的闭包结构。代码如下

public class Outer{

    private class Inner{

        private x=100;

        public int innerAdd(){

            return x+y;

        }

    }

    private int y=100;

}

下图画的就是上面代码的结构。内部类（Inner Class）通过包含一个指向外部类的引用，做到自由访问外部环境类的所有字段，变相把环境中的自由变量封装到函数里，形成一个闭包。