本文部分摘录自 On Java 8
概述
通常，传递给方法的数据不同，结果也不同。同样的，如果我们希望方法被调用时的行为不同，该怎么做呢？结论是：只要能将代码传递给方法，那么就可以控制方法的行为。
说得再具体点，过去我们总是创建包含所需行为的对象，然后将对象传递给想要控制的方法，一般使用匿名内部类来实现。假设现在有这么一个需求：有一个员工信息列表，根据年龄过滤出符合条件的员工信息
// 过滤出大于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 岁的，那就没完没了了，而且代码的实现逻辑几乎没有区别。于是我们借助策略模式的思想来简化代码。
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 表达式来替换匿名内部类。
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
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
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();
}
}
未绑定的方法引用
未绑定的方法引用是指没有关联对象的普通（非静态方法），使用未绑定的引用，我们必须先提供对象
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 的模式来处理。
构造函数引用
还可以捕获构造函数的引用，然后通过引用去调用该构造函数。
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 为我们提供了内置的四大核心函数式接口：
-
消费型接口
有参数，无返回值类型的接口
@FunctionalInterface public interface Consumer<T> { void accept(T t); } -
供给型接口
只有产出，没有输入，就是只有返回值，没有入参
@FunctionalInterface public interface Supplier<T> { T get(); } -
函数型接口
既有入参，也有返回值，T 表示函数的参数类型，R 表示函数的返回类型
@FunctionalInterface public interface Function<T, R> { R apply(T t); } -
断言型接口
输入一个参数，返回一个 boolean 类型的返回值
@FunctionalInterface public interface Predicate<T> { boolean test(T t); }
除了上述的四个核心内置接口，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 表达式
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 效果。
柯里化
柯里化意为：将一个多参数的函数，转换为一系列单参数函数
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"));
}
}
柯里化的目的是通过提供一个参数来创建一个新函数，根据上述的例子，我们可以通过添加级别来柯里化具有更多参数的函数
相关文章
