JAVA 8函数式编程(三):柯里化与惰性求值

来源:互联网 发布:网络交换机的安装 编辑:程序博客网 时间:2024/06/18 18:04

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

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

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

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

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

下面看代码实现:

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

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

//  定义可直接调用的函数IntFunction<Integer> 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超强的类型推导,无论是作为函数的参数、变量还是返回值,都表现得游刃有余。

原创粉丝点击