如何用函数表示数（二）引入闭包

在现实的编码中，我们更多的遇到的是像这样的式子

g(f(x)+y,z)或f(x,y,z)之类

因此如何表示多目成了一个问题。

你可以说用f(x,y)表示x,y，在多目调用的地方则改写成g(f(x,y))。

且不说，就算能把g(x,f)改写成g(x)，那么f(x,y)又用什么方法来改写呢？这就成了一个无头无尾的问题。

为了消除在讨论过程中多元运算的影响，一个叫“闭包”的工具被引入了进来。闭包的作用，就是能将多目运算简化为一元运算。看个例子。

平时我们写加法运算是这样写的。

var i = 3+4;

我们也可以定义个函数来完成加法。

function add(a,b){return a+b;}

print(add(3,4));

这看上去有点傻。但它的结果是一样的。

我们还可以用闭包，将加法这个二元运算改为1元运算

function add2(a){
return function(b){
return a+b;
}
}

print(add2(3)(4));

对闭包不熟悉的童鞋，这里稍微做点讲解。

print(add2(3)(4));

分解为

f = add2(3);
print(f(4));

看add2的源码，add2返回的并不是一个数，而是一个匿名的函数。这个函数干什么呢？当传入4时，就返回3+4，当传入5时，就返回3+5。

这样我们就把二元函数改为了一元函数。

只学过Java的童鞋在这里一定会想到了，“嗯，我可以构建一个加法器，完成的事情是一样的。”

正是如此，在传统的Java中可以这么写

class adder = new Adder(3);
System.out.println(adder.add(4));
System.out.println(adder.add(5));

这道出了关于闭包的两个事实：

1.在现下支持闭包特性的语言，基本上都是通过类似类的结构来实现闭包的。

2.闭包是事实上的匿名类，临时类，而闭包在绝大多数时候都是当匿名类，临时类在使用的。

而闭包和类的最大共同点，就是他们能够在其内部保持状态值。

可以这么说，如果不需要保持中间状态值，就无使用闭包或类的必要。只学过Java的童鞋肯定不会认同这句话，他们会在你耳边抗议说，类比闭包更有用，类有更fancier的特性，比如“继承”，“多态”等等……我承认，有些时候这些特性都很有用，但在一些时候，他们跟我们要解决的问题没有任何关系。

比如，在很多时候我要的是一个结果，我并不关心中间过程。我会这么写一个下载文件的方法

function loadJSONDoc(url,callback)
{
var xmlhttp=new XMLHttpRequest();
if(callback){
xmlhttp.onreadystatechange=function(){
if (xmlhttp.readyState==4 && xmlhttp.status==200){
callback(JSON.parse(xmlhttp.responseText));
}
};
}
xmlhttp.open("POST",'/'+url,true);
xmlhttp.send();
}

而如果用典型的面向对象的方法：

1.你需要定义一个封装下载器的对象。
2.再定义一个Event对象，来封装你需要传递的数据信息。
3.再定义一个Ilistener接口
4.在下载器上添加一个event listener用于监听下载是否完成。
5.当listener监听到了下载完毕后，再将下载的内容封装到步骤2自定义的Event中，再dispatch这个event出去
6.在调用的地方，你先要实现一个步骤3中listener的接口
7.new一个步骤1中封装器的对象
8.再在这个对象上添加event listener，把实现listener接口的对象监听进去（你使用的是标准的接口吗？不是的话还得自定义一个IDispather!，好吧，你又在庆幸你之前已经继承了某个遥远的类，这类已经前瞻性的把这些接口都实现了，而当你还在为你的OO实现而自鸣得意时，这时需要一个新的接口而你的父类又不被允许实现这个接口时，你立刻傻缺了）
9.当listener接口的方法被调用时，你终于可以得到想要的东西了…………

记得学Java时，我和我的同学无一不被其超大的代码量，超繁琐的过程给震慑，以至于我们忙活了半天，也不明白我们究竟在干什么，但我们没有对此表示过怀疑，以为编程就必须这样繁琐，因为老师告诉我们，Java是世界上最好的语言，学会Java你就不需要学其他语言了……过去的血泪就别再提了……终于有一天，你忍不住了，写了个静态方法把东西都扔到里面去了事。因为最终你发现，你需要的只是通过一个回传函数，把数据取出来而已。

所以我相信，即使是最忠实的OO信徒也不会反对这个观点：把问题抽象到更高的层次去解决，[b]更能反映出问题的本质，并为解决问题提供更大的灵活性。[/b]

如果总是停留在较低的层面上，就容易耽搁于细节而忘了最初的目的。

闭包恰好就是对类和结构的更高层次的抽象。扯得有点远了，下一章我们再回到主题上来。

ps:听说新版的Java和C++11都要支持闭包了，经过20年之后，他们终于意识到了！

（待续）