为何函数式编程在Java中很危险？

摘要：函数式编程这个不温不火的语言由来已久。有人说，这一年它会很火，尽管它很难，这也正是你须要学习的理由。那么，为何函数式编程在Java中很危险呢？也许这个疑问广泛存在于不少程序员的脑中，做者Elliotte对此发表了一些看法，咱们一块儿来看看他是怎么说的。

在个人平常工做中，我身边的开发者大可能是毕业于CS编程顶级院校好比MIT、CMU以及Chicago，他们初次涉及的语言是Haskell、Scheme及Lisp。他们认为函数式编程是一种天然的、直观的、美丽的且高效的编程样式。但奇怪的是，我和个人同事并无为Haskell、Scheme、Lisp、Clojure、Scala而编程，这个行业里的绝大部分人都会使用Python、 Ruby、Java或C#等编程，由于它们用起来比较顺手。但在Java中，函数式编程倒是低效且危险的。

为何函数式编程在Java中很危险呢？

每隔几个月，我都会在调试中发现问题，究其缘由最终可追溯到滥用函数的想法以及编程算法，更重要的缘由是这个虚拟机没法建立这种编程样式。

最近Bob Martin想出一个很好的例子并说明了缘由。Clojure （一个真正的函数式编程）返回到25整数列表：

(take 25 (squares-of (integers)))

此代码运行和响应速度都很快，输出结果：

(1 4 9 16 25 36 49 64 … 576 625)

如今，假设咱们想要在Java中重写，若是咱们以Gosling的方式来编写Java，那么该代码是简单、快速且明显的：

for (int i=1; i<=25; i++)
System.out.println(i*i);
}

可是，如今假设咱们让它变得多功能性，在特定的假设范围内重置上面的Clojure样式：

尝试运行吧，OK，从堆转储（Heap Dump）中恢复 ？

Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
at java.util.Arrays.copyOf(Arrays.java:2760)
at java.util.Arrays.copyOf(Arrays.java:2734)
at java.util.ArrayList.ensureCapacity(ArrayList.java:167)
at java.util.ArrayList.add(ArrayList.java:351)
at Take25.integers(Take25.java:30)
at Take25.main(Take25.java:9)

当Java输出后，Clojure如何处理函数，使该函数可返回到每个int？

Clojure如同全部真正的函数语言（与Java不一样）具有懒散赋值特性。它（指clojure）不会计算不被使用的值。它能够远离这个，由于Clojure不像Java，它是真正函数式语言，能够假定变量不发生变异，使求值的顺序变得可有可无。所以，Clojure能够执行优化，可是Java编译器却不能——这就是为何函数式编程在Java中是危险的缘由。由于，Java不是真正的函数式语言，JIT和javac没法像在一个真正的函数式语言中积极且有效地优化函数构造对象，好比返回无穷个列表的标准函数计算，都是Java程序的死穴。这也是为何函数式编程在Java中危险的缘由。

这里，也许你会反对个人观点，OK，你无须在Java中返回全部的整数列表（或者甚至是全部的ints）；可是相信没人作到这一点。

咱们来一块儿看看比较现实的作法。这里我再次使用递归来计算而不是循环：

public class Squares {

public static void main(String args[]) {
squareAndPrint(1, Integer.parseInt(args[0]));
}

public static void squareAndPrint(int n, int max) {
System.out.println(n * n);
if (max > n) {
squareAndPrint(n + 1, max);
}
}

}

开始运行！

很抱歉，堆栈溢出。这就是为何在XOM中我当心翼翼地使用循环，即便递归的地方十分清楚也不使用递归。不然，精心配置XML文档可能会形成XOM-using程序来转储核心。所以，避免在非函数式语言中进行大量递归，正如Java和C不只仅是性能需求，也是安全方面的要求。

写在最后：

我不是说函数式编程很差，也不是说函数式编程低效，其实，我热爱函数式编程。就像个人同事认为函数式编程是天然、直观且美丽的编程风格，但当它做为一们语言好比为Haskell从新设计时，Java中函数语句的性能Bug绝对能要了你的命。