JAVA 8函数式编程（三）：柯里化与惰性求值

百度百科里是这么定义柯里化的:

在计算机科学中，柯里化（Currying）是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数，并且返回接受余下的参数且返回结果的新函数的技术。

有没有看了跟没看一样，那就对了，很多技术概念就是这样，原本简单的东西一包装，创造个非常洋气的马甲，再加上一通云里雾里的解释，最后就成了高大上的高科技。

照我的理解，柯里化主要做到了以下的三点：
1. 参数数量的变化；
2. 返回了一个新的函数；
3. 惰性求值（只有需要结果的那一刻才进行求值）；

对JAVA而言，虽然也支持可变参数，但骨子里还是以数组的方式进行支持，所以应用场景并不多，跟Javascript相比，方法对于参数的处理，还是较弱。

下面看代码实现：

/**
 *  定义柯里化函数
 *  关键在于接收的参数也是函数
 */
public static IntFunction curring(Function, Integer> fn) {
   //   用于存储结果
   final List result = new ArrayList<>();
    //  直接返回lambda表达式，非常酷的写法
    //  依赖于JAVA超强的类型推导
    return arg -> {
        //  由于接口的限制，无法传空参数
        //  当传入的值为最大值时，就立刻求值
        if(arg != Integer.MAX_VALUE) {
            result.add(arg);
        } else {
            //  好像有点JS的感觉
            return fn.apply(result);
        }
        return null;
    };
}

再看对柯里化函数的应用：

//  定义可直接调用的函数
IntFunction currPrice = curring(items ->
    //  匹配IntFunction的定义，将Long转换为int
    Long.valueOf(items.stream()
        .mapToLong(i -> Long.valueOf(i))
        .sum())
        .intValue());

最后时测试代码：

currPrice.apply(1);
currPrice.apply(2);
currPrice.apply(3);
currPrice.apply(4);
//  最后统一求值
int result = currPrice.apply(Integer.MAX_VALUE);
assertThat(result, IsEqual.equalTo(10))

结论

越来越喜欢Java 8的lambda表达式，只需寥寥数语就可完成非常复杂的操作，再配合JAVA超强的类型推导，无论是作为函数的参数、变量还是返回值，都表现得游刃有余。