关于函数式编程(FP)有很多炒作,很多很酷的孩子都在做这件事,但它并不是一颗银弹。与其他编程范式/风格一样,函数式编程也有其优点和缺点,人们可能更喜欢一种范式而不是另一种范式。如果您是Java开发人员并想进入函数式编程,请不要担心,因为Java,您不必学习Haskell或Clojure等函数式编程语言(甚至是Scala或JavaScript,尽管它们不是纯函数式编程语言)
什么是函数式编程?
根据维基百科,
函数式编程是一种编程范式 - 一种构建计算机程序结构和元素的方式 - 将计算视为数学函数的评估并避免改变状态和可变数据。
因此,在函数式编程中,有两个非常重要的规则
这意味着:
使用函数式编程并不意味着全部或全部,您总是可以使用函数式编程概念来补充面向对象的概念,尤其是在Java中。无论您使用何种范例或语言,都可以尽可能利用函数式编程的优势。
Java中的函数编程
那么让我们看看如何在Java中应用上面的一些函数式编程概念。我们将使用Java 11,因为它目前是LTS版本。
作为一等公民的函数意味着您可以将函数赋值给变量,将函数作为参数传递给另一个函数或从另一个函数返回函数。遗憾的是,Java不支持这一点,因此使得闭包,currying和高阶函数等概念的编写不太方便。
与Java中最接近的第一类函数是 Lambda表达式 。还有像一些内置的功能接口Function,Consumer,Predicate,Supplier等下java.util.function可用于函数编程软件包。
只有当函数将一个或多个函数作为参数或者作为结果返回另一个函数时,才能将函数视为高阶函数。我们可以在Java中获得的最接近高阶函数的是使用Lambda表达式和内置的Functional接口。
这不是做高阶函数最好看的方法,但这就是它在Java中的表现,而不是那么糟糕的IMO。
<b>public</b> <b>class</b> HocSample { <b>public</b> <b>static</b> <b>void</b> main(String args) { <b>var</b> list = Arrays.asList(<font>"Orange"</font><font>, </font><font>"Apple"</font><font>, </font><font>"Banana"</font><font>, </font><font>"Grape"</font><font>); </font><font><i>// we are passing an array and an anonymous inner class instance of FnFactory as arguments to mapForEach method.</i></font><font> <b>var</b> out = mapForEach(list, <b>new</b> FnFactory<String, Object>() { @Override <b>public</b> Object execute(<b>final</b> String it) { <b>return</b> it.length(); } }); System.out.println(out); </font><font><i>// [6, 5, 6, 5]</i></font><font> } </font><font><i>// The method takes an array and an instance of FnFactory as arguments</i></font><font> <b>static</b> <T, S> ArrayList<S> mapForEach(List<T> arr, FnFactory<T, S> fn) { <b>var</b> <b>new</b>Array = <b>new</b> ArrayList<S>(); </font><font><i>// We are executing the method from the FnFactory instance</i></font><font> arr.forEach(t -> newArray.add(fn.execute(t))); <b>return</b> newArray; } @FunctionalInterface </font><font><i>// this doesn't do anything it is just informative.</i></font><font> <b>public</b> <b>interface</b> FnFactory<T, S> { </font><font><i>// The interface defines the contract for the anonymous class</i></font><font> S execute(T it); } } </font>
幸运的是,实际上可以使用内置Function接口和lambda表达式语法进一步简化上面的示例。
<b>public</b> <b>class</b> HocSample { <b>public</b> <b>static</b> <b>void</b> main(String args) { <b>var</b> list = Arrays.asList(<font>"Orange"</font><font>, </font><font>"Apple"</font><font>, </font><font>"Banana"</font><font>, </font><font>"Grape"</font><font>); </font><font><i>// we are passing the array and a lambda expression as arguments to mapForEach method.</i></font><font> <b>var</b> out = mapForEach(list, it -> it.length()); </font><font><i>// This can be further simplified to "mapForEach(list, String::length);", I'm writing the expanded version for readability</i></font><font> System.out.println(out); </font><font><i>// [6, 5, 6, 5]</i></font><font> } </font><font><i>// The method takes an array and an instance of Function as arguments (we have replaced the custom interface with the built-in one)</i></font><font> <b>static</b> <T, S> ArrayList<S> mapForEach(List<T> arr, Function<T, S> fn) { <b>var</b> <b>new</b>Array = <b>new</b> ArrayList<S>(); </font><font><i>// We are executing the method from the Function instance</i></font><font> arr.forEach(t -> newArray.add(fn.apply(t))); <b>return</b> newArray; } } </font>
使用这些概念和lambda表达式,我们可以编写闭包和currying,如下所示:
<b>public</b> <b>class</b> ClosureSample { <font><i>// this is a higher-order-function that returns an instance of Function interface</i></font><font> Function<Integer, Integer> add(<b>final</b> <b>int</b> x) { </font><font><i>// this is a closure, i.e, a variable holding an anonymous inner class instance of the Function interface</i></font><font> </font><font><i>// which uses variables from the outer scope</i></font><font> Function<Integer, Integer> partial = <b>new</b> Function<Integer, Integer>() { @Override <b>public</b> Integer apply(Integer y) { </font><font><i>// variable x is obtained from the outer scope of this method which is declared as final</i></font><font> <b>return</b> x + y; } }; </font><font><i>// The closure function instance is returned here</i></font><font> <b>return</b> partial; } <b>public</b> <b>static</b> <b>void</b> main(String args) { ClosureSample sample = <b>new</b> ClosureSample(); </font><font><i>// we are currying the add method to create more variations</i></font><font> Function<Integer, Integer> add10 = sample.add(10); Function<Integer, Integer> add20 = sample.add(20); Function<Integer, Integer> add30 = sample.add(30); System.out.println(add10.apply(5)); </font><font><i>// 15</i></font><font> System.out.println(add20.apply(5)); </font><font><i>// 25</i></font><font> System.out.println(add30.apply(5)); </font><font><i>// 35</i></font><font> } } </font>
可以使用如下的lambda表达式进一步简化这一过程:
<b>public</b> <b>class</b> ClosureSample { <font><i>// this is a higher-order-function that returns an instance of Function interface</i></font><font> Function<Integer, Integer> add(<b>final</b> <b>int</b> x) { </font><font><i>// The lambda expression is returned here as closure</i></font><font> </font><font><i>// variable x is obtained from the outer scope of this method which is declared as final</i></font><font> <b>return</b> y -> x + y; } <b>public</b> <b>static</b> <b>void</b> main(String args) { ClosureSample sample = <b>new</b> ClosureSample(); </font><font><i>// we are currying the add method to create more variations</i></font><font> Function<Integer, Integer> add10 = sample.add(10); Function<Integer, Integer> add20 = sample.add(20); Function<Integer, Integer> add30 = sample.add(30); System.out.println(add10.apply(5)); System.out.println(add20.apply(5)); System.out.println(add30.apply(5)); } } </font>
Java中还有许多内置的高阶函数,例如这里 java.util.Collections的sort方法
List<String> list = Arrays.asList(<font>"Apple"</font><font>, </font><font>"Orange"</font><font>, </font><font>"Banana"</font><font>, </font><font>"Grape"</font><font>); </font><font><i>// This can be simplified as "Collections.sort(list, Comparator.naturalOrder());", I'm writing the expanded version for readability</i></font><font> Collections.sort(list, (String a, String b) -> { <b>return</b> a.compareTo(b); }); System.out.println(list); </font><font><i>// [Apple, Banana, Grape, Orange]</i></font><font> </font>
Java流API还提供了许多有趣的高阶函数,如forEach,map等。
纯粹的函数
正如我们所看到的,纯函数应该仅基于传递的参数返回值,并且不应该影响或依赖于全局状态。除了某些涉及检查过的异常的情况外,可以在Java中执行此操作。
这很简单,下面这是一个纯函数。它将始终为给定输入返回相同的输出,并且其行为具有高度可预测性。如果需要,我们可以安全地缓存该方法结果。
<b>public</b> <b>static</b> <b>int</b> sum(<b>int</b> a, <b>int</b> b) { <b>return</b> a + b; }
如果我们在此函数中添加额外的行,则行为变得不可预测,因为它现在具有影响外部状态的副作用。
<b>static</b> Map map = <b>new</b> HashMap<String, Integer>(); <b>public</b> <b>static</b> <b>int</b> sum(<b>int</b> a, <b>int</b> b) { <b>var</b> c = a + b; map.put(a + <font>"+"</font><font> + b, c); <b>return</b> c; } </font>
因此,尽量保持您的函数简单明了。
递归
函数式编程有利于循环递归。在Java中,这可以通过使用流API或编写递归函数来实现。让我们看一个计算数字阶乘的例子。
我还使用 JMH 对这些进行了基准测试,并提到了下面的纳秒/操作
在传统的递归方法中:
<b>public</b> <b>class</b> FactorialSample { <font><i>// benchmark 9.645 ns/op</i></font><font> <b>static</b> <b>long</b> factorial(<b>long</b> num) { <b>long</b> result = 1; <b>for</b> (; num > 0; num--) { result *= num; } <b>return</b> result; } <b>public</b> <b>static</b> <b>void</b> main(String args) { System.out.println(factorial(20)); </font><font><i>// 2432902008176640000</i></font><font> } } </font>
使用如下的递归可以完成相同的操作,这在函数式编程中是有利的。
<b>public</b> <b>class</b> FactorialSample { <font><i>// benchmark 19.567 ns/op</i></font><font> <b>static</b> <b>long</b> factorialRec(<b>long</b> num) { <b>return</b> num == 1 ? 1 : num * factorialRec(num - 1); } <b>public</b> <b>static</b> <b>void</b> main(String args) { System.out.println(factorialRec(20)); </font><font><i>// 2432902008176640000</i></font><font> } } </font>
递归方法的缺点是,与大多数时候的迭代方法相比,它会更慢(我们的目标是代码简单性和可读性)并且可能导致堆栈溢出错误,因为每个函数调用都需要保存为堆栈的框架。为了避免这种尾递归是首选,特别是当递归过多次时。在尾递归中,递归调用是函数执行的最后一件事,因此编译器不保存函数堆栈帧。大多数编译器可以优化迭代代码优化尾递归代码,从而避免性能损失。遗憾的是,Java编译器不执行此优化。
现在使用尾递归,相同的函数可以写成如下,但Java并没有对此进行优化,尽管有一些 变通方法 ,但它仍然在基准测试中表现更好。
<b>public</b> <b>class</b> FactorialSample { <font><i>// benchmark 16.701 ns/op</i></font><font> <b>static</b> <b>long</b> factorialTailRec(<b>long</b> num) { <b>return</b> factorial(1, num); } <b>static</b> <b>long</b> factorial(<b>long</b> accumulator, <b>long</b> val) { <b>return</b> val == 1 ? accumulator : factorial(accumulator * val, val - 1); } <b>public</b> <b>static</b> <b>void</b> main(String args) { System.out.println(factorialTailRec(20)); </font><font><i>// 2432902008176640000</i></font><font> } } </font>
我们也可以使用Java流库进行递归,但目前它的递归速度比正常慢。
<b>public</b> <b>class</b> FactorialSample { <font><i>// benchmark 59.565 ns/op</i></font><font> <b>static</b> <b>long</b> factorialStream(<b>long</b> num) { <b>return</b> LongStream.rangeClosed(1, num) .reduce(1, (n1, n2) -> n1 * n2); } <b>public</b> <b>static</b> <b>void</b> main(String args) { System.out.println(factorialStream(20)); </font><font><i>// 2432902008176640000</i></font><font> } } </font>
在编写Java代码时考虑使用流API或递归以实现可读性和不变性,但如果性能至关重要或迭代次数很多,则使用标准循环。
懒计算
惰计算或非严格计算是延迟表达式计算直到需要其结果。在一般情况下,Java没有严格的这样评估计算,但对于像操作数&&,||而?:它确实懒惰的延迟计算。在编写java代码时,我们可以利用它来进行惰性求值。
Java为热切评估计算的示例。
<b>public</b> <b>class</b> EagerSample { <b>public</b> <b>static</b> <b>void</b> main(String args) { System.out.println(addOrMultiply(<b>true</b>, add(4), multiply(4))); <font><i>// 8</i></font><font> System.out.println(addOrMultiply(false, add(4), multiply(4))); </font><font><i>// 16</i></font><font> } <b>static</b> <b>int</b> add(<b>int</b> x) { System.out.println(</font><font>"executing add"</font><font>); </font><font><i>// this is printed since the functions are evaluated first</i></font><font> <b>return</b> x + x; } <b>static</b> <b>int</b> multiply(<b>int</b> x) { System.out.println(</font><font>"executing multiply"</font><font>); </font><font><i>// this is printed since the functions are evaluated first</i></font><font> <b>return</b> x * x; } <b>static</b> <b>int</b> addOrMultiply(<b>boolean</b> add, <b>int</b> onAdd, <b>int</b> onMultiply) { <b>return</b> (add) ? onAdd : onMultiply; } } </font>
这将产生以下输出,我们可以看到两个函数始终执行
executing add executing multiply 8 executing add executing multiply 16
我们可以使用lambda表达式和高阶函数将其重写为一个延迟评估的版本:
<b>public</b> <b>class</b> LazySample { <b>public</b> <b>static</b> <b>void</b> main(String args) { <font><i>// This is a lambda expression behaving as a closure</i></font><font> Function<Integer, Integer> add = t -> { System.out.println(</font><font>"executing add"</font><font>); <b>return</b> t + t; }; </font><font><i>// This is a lambda expression behaving as a closure</i></font><font> Function<Integer, Integer> multiply = t -> { System.out.println(</font><font>"executing multiply"</font><font>); <b>return</b> t * t; }; </font><font><i>// Lambda closures are passed instead of plain functions</i></font><font> System.out.println(addOrMultiply(<b>true</b>, add, multiply, 4)); System.out.println(addOrMultiply(false, add, multiply, 4)); } </font><font><i>// This is a higher-order-function</i></font><font> <b>static</b> <T, R> R addOrMultiply( <b>boolean</b> add, Function<T, R> onAdd, Function<T, R> onMultiply, T t ) { </font><font><i>// Java evaluates expressions on ?: lazily hence only the required method is executed</i></font><font> <b>return</b> (add ? onAdd.apply(t) : onMultiply.apply(t)); } } </font>
输出如下,我们可以看到只执行了所需的函数:
executing add 8 executing multiply 16
类型系统
Java有一个强大的类型系统,并且随着var关键字的引入,它现在也有相当不错的类型推断。与其他函数式编程语言相比,唯一缺少的是case类。有关未来Java版本的 值类 和案例类的建议。让我们希望他们成功。
引用透明度:函数程序没有赋值语句,也就是说,函数程序中的变量值一旦定义就不会改变。这消除了任何副作用的可能性,因为任何变量都可以在任何执行点用其实际值替换。因此,函数程序是引用透明的。
遗憾的是,限制Java中的数据变异的方法并不多,但是通过使用纯函数并使用我们之前看到的其他概念明确地避免数据突变和重新分配,可以实现这一点。对于变量,我们可以使用 final 关键字作为非访问修饰符来避免重新分配的突变。
例如,下面的代码会在编译时产生错误:
<b>final</b> <b>var</b> list = Arrays.asList(<font>"Apple"</font><font>, </font><font>"Orange"</font><font>, </font><font>"Banana"</font><font>, </font><font>"Grape"</font><font>); list = Arrays.asList(</font><font>"Earth"</font><font>, </font><font>"Saturn"</font><font>); </font>
但是,当变量持有对其他对象的引用时,这将无济于事,例如,无论最终关键字如何,以下变异都将起作用。
<b>final</b> <b>var</b> list = <b>new</b> ArrayList<>(); list.add(<font>"Test"</font><font>); list.add(</font><font>"Test 2"</font><font>); </font>
finalkeyword允许对引用变量的内部状态进行变异,因此从函数式编程透视图中,final关键字仅对常量有用并且可以捕获重新分配。
数据结构
使用函数式编程技术时,鼓励使用堆栈,映射和队列等函数数据类型。因此,映射在函数式编程中比数组或散列集更好地作为数据存储。
结论
Java 8添加了大量API,以便在Java中轻松进行函数式编程,如流API,可选接口,功能接口等。正如我之前所说,函数式编程不是一个灵丹妙药,但它为更易理解,可维护和可测试的代码提供了许多有用的技术。它可以与命令式和面向对象的编程风格完美地共存。