百度百科里是这么定义柯里化的:
在计算机科学中,柯里化(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超强的类型推导,无论是作为函数的参数、变量还是返回值,都表现得游刃有余。