Java8 新特性 —— 函数式编程

本文部分摘录自 On Java 8

概述

通常，传递给方法的数据不同，结果也不同。同样的，如果我们希望方法被调用时的行为不同，该怎么做呢？结论是：只要能将代码传递给方法，那么就可以控制方法的行为。

说得再具体点，过去我们总是创建包含所需行为的对象，然后将对象传递给想要控制的方法，一般使用匿名内部类来实现。假设现在有这么一个需求：有一个员工信息列表，根据年龄过滤出符合条件的员工信息

代码语言：javascript复制

// 过滤出大于35岁的员工
public List<Employee> filterEmployee(List<Employee> list) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(emp.getAge() > 35) {
            emps.add(emp);
        }
    }
    return emps;
}

// 过滤出大于45岁的员工
public List<Employee> filterEmployee2(List<Employee> list) {
	...   
}

这样写当然能实现需求，但如果需求变了，要过滤 45 岁的，那岂不是又得写一个 filterEmplyee2() 方法？如果还要过滤 50 岁的，60 岁的，那就没完没了了，而且代码的实现逻辑几乎没有区别。于是我们借助策略模式的思想来简化代码。

代码语言：javascript复制

public interface MyPredicate<> {
    boolean predicate(T t);
}

// 如果有其他过滤需求，只需要实现 MyPredicate 接口即可
public class EmployeeFilter implements MyPredicate<Employee> {
    @Override
    public boolean predicate(Employee employee) {
        return t.getAge() >= 35;
    }
}

// 根据传入的 MyPredicate 对象来实现不同的过滤逻辑
public List<Employee> filterEmployee(List<Employee> list, MyPredicate<Employee> mp) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(mp.predicate(emp)) {
            emps.add(emp);
        }
    }
    return emps;
}

public void test(List<Employee> list) {
    // 创建实现类对象，传入过滤方法
    MyPredicate<Employee> predicate = new EmployeeFilter<>();
    List<Employee> res = filterEmployee(list, predicate);
    // 更简单的方式是使用匿名内部类
    List<Employee> res2 = filterEmployee(list, new MyPredicate<Employee>() {
        @Override
        public boolean predicate(Employee employee) {
            return t.getAge() >= 100;
        }
    });
}

通过观察我们发现，我们需要的只有 predicate() 方法的代码，其他的我们一律不关心。如果 MyPredicate 接口还有其他抽象方法，我们又必须每一个做一次实现，但真正用上的只有 predicate() 方法，不仅显得冗余，而且可读性也很低。为了解决这个问题，Java8 为我们提供了 Lambda 表达式和方法引用两种更加简洁的方式。

Lambda 表达式

Lambda 表达式是一个匿名函数，可以把 Lambda 表达式理解为是一段可以传递的代码（将代码像数据一样传递）。虽然在 JVM 规范规定一切都是类，但其幕后执行的各种操作使得 Lambda 看起来像是函数。因此我们可以大胆假设 Lambda 表达式产生的就是一个函数，而不是类。

Lambda 的基本语法有是：(参数) -> {方法体}

• 其中 -> 可以视为将参数传递给方法体使用的一个中间桥梁
• 左侧为表达式的参数列表。使用括号包裹参数，当只有一个参数时，可以不需要括号，如果没有参数，则必须使用括号表示空参数列表。参数列表的数据类型可以省略不写，因为 Java 的编译器可以帮助我们根据上下文推断数据类型
• 右侧为表达式中所需执行的功能。方法体如果只有单行，可以省略花括号，此时执行结果自动转化为 Lambda 表达式的放回值，使用 return 关键字是非法的；如果方法体有多行，则必须放在花括号中，这时如果有返回值，就需要使用 return

Lambda 表达式能产生比匿名内部类更易读的代码，因此我们应该尽可能使用 Lambda 表达式。回到之前的例子，我们可以用 Lambda 表达式来替换匿名内部类。

代码语言：javascript复制

public interface MyPredicate<> {
    boolean predicate(T t);
}


// 根据传入的 MyPredicate 对象来实现不同的过滤逻辑
public List<Employee> filterEmployee(List<Employee> list, MyPredicate<Employee> mp) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(mp.predicate(emp)) {
            emps.add(emp);
        }
    }
    return emps;
}

public void test(List<Employee> list) {
    // 使用 Lambda 表达式
    List<Employee> res = filterEmployee(list, e -> e.getAge() <= 5000);
}

Lambad 表达式通常比匿名内部类产生更易读的代码，因此我们应该尽可能使用 Lambda 表达式。

如果我们想编写递归的 Lambda 表达式，必须注意：

方法引用

Lambda 表达式可以帮助我们实现仅调用方法，而不做其他多余动作（如创建对象）的目的，而有些情况下，已经存在能满足需求的方法，我们可以不必再编写 Lambda 表达式，而通过方法引用直接使用该方法。可以理解为方法引用是 Lambda 表达式的另一种表现形式。

方法引用的组成：类名或对象名，后面跟 ::，然后跟方法名称，如果要分类的话，可以用如下组合：

• 引用静态方法 className::staticMethod
• 引用某个对象的实例方法 instance::instanceMethod
• 引用某个类型的任意对象的实例方法 className::instanceMethod
• 引用构造方法 className::new

代码语言：javascript复制

interface Callable {
	void call(String s);
}

class Describe {
    void show(String msg) {
        System.out.println(msg);
    }
}

public class MethodReferences {
    
    static void hello(String name) {
        System.out.println("Hello, "   name);
    }

    public static void main(String[] args) {
		// 对象名:: 方法名称
        Describe d = new Describe();
        Callable c = d::show;
        c.call("call()");
		// 类名::方法名
        c = MethodReferences::hello;
        c.call("Bob");
    }
}

要注意的是，方法引用的签名（参数类型和返回类型）必须符合 Callable 的 call() 的签名。上述代码我没有演示 className::instanceMethod 和 className::new 的情况，这两个有点特殊，待会再介绍。

Runnable 接口

通过之前的学习，我们发现 Runnable 接口也符合特殊的单方法接口格式：它的 run() 方法不带参数，也没有返回值，因此我们可以使用 Lambda 表达式和方法引用作为 Runnable

代码语言：javascript复制

class Go {
    static void go() {
        System.out.println("thread go");
    }
}

public class RunnableMethodReference {
    public static void main(String[] args) {
		// 匿名内部类方式
        new Thread(new Runnable() {
            public void run() {
                System.out.println("Anonymous");
            }
        }).start();
		// Lambda 表达式方式
        new Thread(
            () -> System.out.println("lambda")
        ).start();
		// 方法引用方式
        new Thread(Go::go).start();
    }
}

未绑定的方法引用

未绑定的方法引用是指没有关联对象的普通（非静态方法），使用未绑定的引用，我们必须先提供对象

代码语言：javascript复制

class X {
    String f() { return "X::f()"; }
}

interface MakeString {
    String make();
}

interface TransformX {
    String transform(X x);
}

public class UnboundMethodReference {
    public static void main(String[] args) {
        // MakeString ms = X::f; // 无法通过编译
        TransformX sp = X::f;
        X x = new X();
        System.out.println(sp.transform(x));
        System.out.println(x.f());	// 同等效果
    }
}

我们看到在 MakeString ms = X::f; 中，即使 make() 和 f() 有相同的方法签名，却无法通过编译。这是因为实际上还有另一个隐藏参数 this 没有考虑，你不能在没有 X 对象的情况下调用 f()，因为它尚未绑定到对象。

要解决这个问题，我们需要一个 X 对象，所以我们的接口需要一个额外的参数如 TransformX，用来接收一个 X 对象。同样的，在调用 transform(X x) 方法时，也必须传递一个 X 对象作为参数。如果你的方法有多个参数，就以第一个参数接受 this 的模式来处理。

构造函数引用

还可以捕获构造函数的引用，然后通过引用去调用该构造函数。

代码语言：javascript复制

class Dog {
    String name;
    int age;
    Dog() { name = "stray"; }
    Dog(String nm) { name = nm; }
    Dog(String nm, int yrs) { name = nm; age = yrs; }
}

interface MakeNoArgs {
    Dog make();
}

interface Make1Arg {
    Dog make(String name);
}

interface Make2Args {
    Dog make(String name, int age);
}

public class CtorReference {
    public static void main(String[] args) {
        MakeNoArgs mna = Dog::new;
        Make1Arg m1a = Dog::new;
        Make2Args m2a = Dog::new;

        Dog dn = mna.make();
        Dog d1 = m1a.make("Comet");
        Dog d2 = m2a.make("Ralph", 4);
    }
}

函数式接口

接口中只有一个抽象方法的接口，称为函数式接口，可以使用注解 @FunctionalInterface 检查一个接口是否符合函数式接口的规范。

Lambda 表达式和方法引用都要赋值给对应的函数式接口引用。Java8 提供了一组 java.util.function 包，它包含一组完整的函数式接口，一般情况下，我们可以直接使用，而不需要自己再定义。

Java 为我们提供了内置的四大核心函数式接口：

除了上述的四个核心内置接口，Java 还为我们提供其他常用的函数式接口，如 BiFunction<T, U, R> 也是函数型接口，但可以接收两个参数，我们可以根据需要去查阅 API 文档。

函数组合

意为多个组合成新的函数，一些 java.util.function 接口包含支持函数组合的方法

• andThen(Function<? super R,? extends V> after) 返回一个组合函数，前一个函数的结果作为后一个函数的入参
• compose(Function<? super V,? extends T> before) 返回一个组合函数，后一个函数首先处理原始入参，再将结果交给前一个函数处理
• and(Predicate<? super T> other) 返回一个组合的谓词，表示该谓词与另一个谓词的短路逻辑与
• or(Predicate<? super T> other) 返回一个组合的谓词，表示该谓词与另一个谓词的短路逻辑或
• negate() 返回表示此谓词的逻辑否定的谓词

闭包

考虑一个函数，x 是 其中的一个入参，i 则是其中的一个局部变量，返回一个 Lambda 表达式

代码语言：javascript复制

public class Closure {
    IntSupplier makeFun(int x) {
        int i = 0;
        return () -> x   i;
    }
}

我们知道，函数的入参的局部变量只在方法的生命周期内有效，正常情况下，当 makeFun(int x) 方法执行完后，x 和 i 就会消失，但它返回的 Lambda 表达式却依然保存着 x 和 i 的值。相当于 makeFun(int x) 返回的 IntSupplier 关住了 x 和 i

另外要注意的一点是：被 Lambda 表达式引用的局部变量必须是 final 或是等同 final 效果的。所谓等同 final，意思是即使你没有明确声明变量是 final，但因变量值没被改变过而实际上有了 final 同等的效果。Java8 默认 Lambda 中的局部变量具有等同 final 效果。

柯里化

柯里化意为：将一个多参数的函数，转换为一系列单参数函数

代码语言：javascript复制

public class CurryingAndPartials {
    // 未柯里化
    static String uncurried(String a, String b) {
        return a   b;
    }
    public static void main(String[] args) {
        // 柯里化的函数
        // a -> b -> a   b，意思是传入参数 a，返回 b -> a   b 的函数
        // 由于 Lambda 表达式的闭包特性，b -> a   b 中的 a 是有保存值的
        Function<String, Function<String, String>> sum = a -> b -> a   b;

        System.out.println(uncurried("Hi ", "Ho"));
        
        Function<String, String> hi = sum.apply("Hi ");
        System.out.println(hi.apply("Ho"));

        Function<String, String> sumHi = sum.apply("Hup ");
        System.out.println(sumHi.apply("Ho"));
        System.out.println(sumHi.apply("Hey"));
    }
}

柯里化的目的是通过提供一个参数来创建一个新函数，根据上述的例子，我们可以通过添加级别来柯里化具有更多参数的函数

serverless java javascript 面向对象编程

0 人点赞