借助Java 8实现柯里化

作者: fengzhizi715 | 来源:发表于2017-01-22 12:07 被阅读1234次

    在计算机科学中,柯里化(英语:Currying),又译为卡瑞化加里化,是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的,尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。

    在函数式编程中,函数的概念跟数学中函数的概念是一样的,类似于“映射”。高阶函数和柯里化是函数式编程的特性。

    对于柯里化而言,首先我们来举个栗子,先定义这样一个函数

    f(x,y,z) = (x+y)*z
    

    当x是一个常量时,比如x=4,可以用一个新的函数来代替

    f(4,y,z)=g(y,z)=(4+y)*z
    

    新的函数g(y,z)是由f(x,y,z)转换而来的,它的参数是y、z是原先函数的后两个参数。

    我们再一次对y赋值,比如y=5,函数再次变成

    f(4,5,z)=g(4,5)=(4+5)*z
    

    我们可以理解为将原来的函数变量拆分开来调用:

    f(x,y,z) -> f(x)(y)(z)
    

    借助Java 8实现柯里化

    孔乙己中茴香豆的“茴”字有四种写法,我也给出多种方式来实现柯里化

    • 第一种方式,嵌套多层Function
    Function<Integer, Function<Integer, Function<Integer, Integer>>> currying =  x -> y -> z -> (x+y)*z;
    
    System.out.println(currying.apply(4).apply(5).apply(6)); //54
    
    • 第二种方式
    IntFunction<IntFunction<IntUnaryOperator>> f = x -> y -> z -> (x + y) * z;
            
    System.out.println(f.apply(4).apply(5).applyAsInt(6)); //54
    
    • 第三种方式,需要先定义一个TriFunction函数接口:
    @FunctionalInterface
    public interface TriFunction<U, T, S, R> {
    
        /**
         * Applies this function to the given arguments.
         * @param <U>
         * @param <T>
         * @param <S>
         * @return the function result
         */
         R apply(T t, U u, S s);
    }
    

    然后借助TriFunction来实现柯里化

    TriFunction<Integer,Integer,Integer, Integer> triFunction = (x,y,z) -> (x+y)*z;
    
    System.out.println(triFunction.apply(4,5,6)); //54
    

    为啥要定义一个TriFunction呢?其实Java 8的function库中包含了BiFunction的函数接口,但它只能传两个参数。然后Java的设计者们打住了,不再定义三个及以上参数的函数接口。我们可以想象要是真的定义n(n>=3)个参数的函数接口,那么这个函数需要传递n+1个参数,其中包含一个返回的参数类型。在Rxjava1中确实存在可以定义到9个参数的Func9,真要这样写起代码来还是很痛苦的,得好好思考一下是不是设计的问题了。

    • 第四种方式,借助匿名内部类,每次调用都返回一个新的函数
            Function<Integer, Function<Integer, Function<Integer, Integer>>> currying = new Function<Integer, Function<Integer, Function<Integer, Integer>>>() {
                @Override
                public Function<Integer, Function<Integer, Integer>> apply(Integer x) {
                    return new Function<Integer, Function<Integer, Integer>>() {
                        @Override
                        public Function<Integer, Integer> apply(Integer y) {
                            return new Function<Integer, Integer>() {
                                @Override
                                public Integer apply(Integer z) {
                                    return (x + y) * z;
                                }
                            };
                        }
                    };
                }
            };
            
            System.out.println(currying.apply(4).apply(5).apply(6));//54
    

    柯里化的好处

    随着函数在Java 8中变成一等公民,自然而然会产生柯里化。柯里化的链式调用的确用起来很爽。柯里化也可以延迟加载一个函数。

    除此以外,柯里化在很多时候简化了函数式编程的复杂性,使编程更加优雅。当然,在团队中使用的话,也需要充分考虑到团队中其他成员是否接受。

    总结

    Java 8虽然是OO+FP的结合,能够支持lambda表达式、高阶函数、闭包等,但是并没有提供函数柯里化与偏函数(函数部分调用)的语法糖,当然想要使用的话肯定是可以模拟出来。想要尝试更好的FP可以玩玩Scala,Scala在这些方面确实比Java更好。

    相关文章

      网友评论

      • 子寤:感觉TriFunction并没有实现柯里化,不是单一的参数也没有返回函数。。
        00549878ae2a:对于函数式编程使用柯里化,其实主要是为了防止太多的外部变量导致程序导致每次返回值不同,使函数处于一种“不纯”的状态。如果使用柯里化,使函数每次仅仅通过形参进行操作,使得函数对于相同形参返回值相同。TriFunction实现了柯里化,但是不够优雅。如果是我,我会再写一个类似于合并函数一样的东西,使得语法更加简化优雅

      本文标题:借助Java 8实现柯里化

      本文链接:https://www.haomeiwen.com/subject/rwnibttx.html