Lambda 表达式能够理解为简洁地表示可传递的匿名函数的一种方式:它没有名称,但它有参数列表、函数主体、返回类型,可能还有一个能够抛出的异常列表。java
匿名:它不像普通方法那样有一个明确的名称;程序员
函数:Lambda 表达式是函数是由于它不像方法那样属于某个特定的类,但和方法同样,Lambda 有参数列表、函数主体、返回类型,还可能有能够抛出的异常列表;数据库
传递:Lambda 表达式能够做为参数传递给方法或存储在变量中;编程
简洁:无需像匿名类那样写不少模板代码;app
Lambda 表达式由参数列表、箭头和 Lambda 主体组成。ide
(Apple o1, Apple o2) -> Integer.valueOf(o1.getWeight()).compareTo(Integer.valueOf(o2.getWeight()))
参数列表:这里采用了 Comparator 中 compareTo 方法的参数;函数
箭头:箭头把参数列表和 Lambda 主体分开;性能
Lambda 主体:表达式就是 Lambda 的返回值;this
Java8中有效的 Lambda 表达式以下:spa
Lambda 表达式 | 含义 |
---|---|
(String s) -> s.length() |
表达式具备一个 String 类型的参数并返回一个 int。 Lambda 没有 return 语句,由于已经隐含的 return,能够显示调用 return。 |
(Apple a) -> a.getWeight() > 150 |
表达式有一个 Apple 类型的参数并返回一个 boolean 值 |
(int x, int y) -> { System.out.printn("Result"); System.out.printn(x + y)} |
表达式具备两个 int 类型的参数而没有返回值(void返回),Lambda 表达式能够包含多行语句,但必需要使用大括号包起来。 |
() -> 42 |
表达式没有参数,返回一个 int 类型的值。 |
(Apple o1, Apple o2) -> Integer.valueOf(o1.getWeight()) .compareTo (Integer.valueOf(o2.getWeight())) |
表达式具备两个 Apple 类型的参数,返回一个 int 比较重要。 |
下面提供一些 Lambda 表达式的使用案例:
使用案例 | Lambda 示例 |
---|---|
布尔表达式 | (List<String> list) -> list.isEmpty() |
建立对象 | () -> new Apple(10) |
消费对象 | (Apple a) -> { System.out.println(a.getWeight) } |
从一个对象中选择/抽取 | (String s) -> s.lenght() |
组合两个值 | (int a, int b) -> a * b |
比较两个对象 | `(Apple o1, Apple o2) -> Integer.valueOf(o1.getWeight()) .compareTo(Integer.valueOf(o2.getWeight())) |
到底在哪里可使用 Lambda 呢?你能够在函数式接口上使用 Lambda 表达式。
函数式接口就是只定义一个抽象方法的接口,好比 Java API 中的 Predicate、Comparator 和 Runnable 等。
public interface Predicate<T> { boolean test(T t); } public interface Comparator<T> { int compare(T o1, T o2); } public interface Runnable { void run(); }
用函数式接口能够干什么呢?Lambda 表达式容许你直接之内联的形式为函数式接口的抽象方法提供实现,并把整个表达式做为函数式接口的实例(具体说来,是函数式接口一个具体实现 的实例)。你用匿名内部类也能够完成一样的事情,只不过比较笨拙:须要提供一个实现,而后 再直接内联将它实例化。下面的代码是有效的,由于Runnable是一个只定义了一个抽象方法run 的函数式接口:
//使用Lambda Runnable r1 = () -> System.out.println("Hello World 1"); //匿名类 Runnable r2 = new Runnable(){ public void run(){ System.out.println("Hello World 2"); } }; public static void process(Runnable r){ r.run(); } process(r1); //打印 "Hello World 1" process(r2); //打印 "Hello World 2" //利用直接传递的 Lambda 打印 "Hello World 3" process(() -> System.out.println("Hello World 3"));
函数式接口的抽象方法的签名基本上就是 Lambda 表达式的签名。咱们将这种抽象方法叫做函数描述符。例如,Runnable 接口能够看做一个什么也不接受什么也不返回(void)的函数的签名,由于它只有一个叫做 run 的抽象方法,这个方法什么也不接受,什么也不返回(void)。
让咱们经过一个例子,看看在实践中如何利用Lambda和行为参数化来让代码更为灵活,更为简洁。
资源处理(例如处理文件或数据库)时一个常见的模式就是打开一个资源,作一些处理,而后关闭资源。这个设置和清理阶段老是很相似,而且会围绕着执行处理的那些重要代码。这就是所谓的环绕执行(execute around)模式。
例如,在如下代码中,高亮显示的BufferedReader reader = new BufferedReader(new FileReader("data.txt"))
就是从一个文件中读取一行所需的模板代码(注意你使用了Java 7中的带资源的try语句,它已经简化了代码,由于你不须要显式地关闭资源了)。
public static String processFile() throws IOException { try (BufferedReader reader = new BufferedReader(new FileReader("data.txt"))) { return reader.readLine(); } }
如今上述代码是有局限的。你只能读文件的第一行。若是你想要返回头两行,甚至是返回使用最频繁的词, 该怎么办呢?在理想的状况下, 你要重用执行设置和清理的代码, 并告诉 processFile 方法对文件执行不一样的操做。是的,你须要把 processFile 的行为参数化,你须要一种方法把行为传递给 processFile , 以便它能够利用 BufferedReader执行不一样的行为。
传递行为正是 Lambda 的优点。那要是想一次读两行,这个新的processFile方法看起来又该是什么样的呢? 你须要一个接收BufferedReader并返回String的Lambda。例如,下面就是从 BufferedReader 中打印两行的写法:
String result = processFile((BufferedReader r) -> r.readLine() +r.readLine());
Lambda 仅可用于上下文是函数式接口的状况。你须要建立一个能匹配 BufferedReader -> String
,还能够抛出 IOException 异常的接口。让咱们把这一接口称为 BufferedReaderProcessor。
@FunctionalInterface public interface BufferedReaderProcessor { String process(BufferedReader reader) throws IOException; }
任何BufferedReader -> String
形式的 Lambda 均可以做为参数来传递,由于它们符合 BufferedReaderProcessor 接口中定义的 process 方法的签名。如今只须要编写一种方法在 processFile主体内执行 Lambda 所表明的代码。
public static String processFile(BufferedReaderProcessor processor) throws IOException { try (BufferedReader reader = new BufferedReader(new FileReader("data.txt"))) { return processor.process(reader); //处理 BufferedReader 对象 } }
如今就能够经过传递不一样的 Lambda 重用 processFile 方法,并以不一样的方式处理文件了。
//打印一行 String result = processFile((BufferedReader r) -> r.readLine()); System.out.println(result); //打印2行 result = processFile((BufferedReader r) -> r.readLine() +r.readLine());
Java 8的库帮你在java.util.function
包中引入了几个新的函数式接口。咱们接下来介绍 Predicate、Consumer和Function 三种函数式接口。
java.util.function.Predicate<T>
接口定义了一个名叫 test 的抽象方法,它接受泛型 T对象,并返回一个 boolean。这偏偏和你先前建立的同样,如今就能够直接使用了。在你须要 表示一个涉及类型T的布尔表达式时,就可使用这个接口。好比,你能够定义一个接受String 对象的Lambda表达式,以下所示。
@FunctionalInterface public interface Predicate<T>{ boolean test(T t); } public static <T> List<T> filter(List<T> list, Predicate<T> p) { List<T> results = new ArrayList<>(); for(T s: list){ if(p.test(s)){ results.add(s); } } return results; } Predicate<String> nonEmptyStringPredicate = (String s) -> !s.isEmpty(); List<String> nonEmpty = filter(listOfStrings, nonEmptyStringPredicate);
java.util.function.Consumer<T>
定义了一个名叫 accept 的抽象方法,它接受泛型 T 的对象,没有返回(void)。你若是须要访问类型T的对象,并对其执行某些操做,就可使用 这个接口。好比,你能够用它来建立一个forEach方法,接受一个Integers的列表,并对其中 每一个元素执行操做。在下面的代码中,你就可使用这个forEach方法,并配合Lambda来打印 列表中的全部元素。
@FunctionalInterface public interface Consumer<T> { void accept(T t); } public static <T> void forEach(List<T> list, Consumer<T> c){ for(T i: list){ c.accept(i); } } forEach(Arrays.asList(1,2,3,4,5), (Integer i) -> System.out.println(i) );
java.util.function.Function<T, R>
接口定义了一个叫做apply的方法,它接受一个
泛型 T 的对象,并返回一个泛型 R 的对象。若是你须要定义一个Lambda,将输入对象的信息映射到输出,就可使用这个接口(好比提取苹果的重量,或把字符串映射为它的长度)。在下面的代码中,咱们向你展现如何利用它来建立一个map方法,以将一个String列表映射到包含每一个 String长度的Integer列表。
@FunctionalInterface public interface Function<T, R>{ R apply(T t); } public static <T, R> List<R> map(List<T> list, Function<T, R> f) { List<R> result = new ArrayList<>(); for(T s: list) { result.add(f.apply(s)); } return result; } // [7, 2, 6] List<Integer> l = map( Arrays.asList("lambdas","in","action"), (String s) -> s.length() );
Java类型要么是引用类型(好比Byte、Integer、Object、List),要么是原始类型(好比int、double、byte、char)。可是泛型(好比Consumer<T>中的T)只能绑定到引用类型。这是由泛型内部的实现方式形成的。所以,在Java里有一个将原始类型转换为对应的引用类型的机制。这个机制叫做装箱(boxing)。相反的操做,也就是将引用类型转换为对应的原始类型,叫做拆箱(unboxing)。Java还有一个自动装箱机制来帮助程序员执行这一任务:装箱和拆箱操做是自动完成的。好比一个int被装箱成为 Integer。但这在性能方面是要付出代价的。装箱后的值本质上就是把原始类型包裹起来,并保存在堆里。所以,装箱后的值须要更多的内存,并须要额外的内存搜索来获取被包裹的原始值。
Java 8为咱们前面所说的函数式接口带来了一个专门的版本,以便在输入和输出都是原始类型时避免自动装箱的操做。好比,使用 IntPredicate 就避免了对值 1000 进行装箱操做,但要是用 Predicate<Integer> 就会把参数 1000 装箱到一个 Integer 对象中。通常来讲,针对专门的输入参数类型的函数式接口的名称都要加上对应的原始类型前缀,比 如 DoublePredicate、IntConsumer、LongBinaryOperator、IntFunction等。Function 接口还有针对输出参数类型的变种:ToIntFunction<T>、IntToDoubleFunction等。
下表中列出 Java 8 中经常使用的函数式接口:
函数式接口 | 函数描述符 | 原始类型特化 |
---|---|---|
Predicate<T> |
T -> boolean | IntPredicate,LongPredicate, DoublePredicate |
Consumer<T> |
T -> void | IntConsumer,LongConsumer, DoubleConsumer |
Function<T,R> |
T -> R | IntFunction<R>, IntToDoubleFunction, IntToLongFunction, LongFunction<R>, LongToDoubleFunction, LongToIntFunction, DoubleFunction<R>, ToIntFunction<T>, ToDoubleFunction<T>, ToLongFunction<T> |
Supplier<T> |
() -> T | BooleanSupplier,IntSupplier, LongSupplier, DoubleSupplier |
UnaryOperator<T> |
T -> T | IntUnaryOperator, LongUnaryOperator, DoubleUnaryOperator |
BinaryOperator<T> |
(T,T) -> T | IntBinaryOperator, LongBinaryOperator, DoubleBinaryOperator |
BiPredicate<L,R> |
(L,R) -> boolean | |
BiConsumer<T,U> |
(T,U) -> R | ObjIntConsumer<T>, ObjLongConsumer<T>, ObjDoubleConsumer<T> |
BiFunction<T,U,R> |
(T,U) -> R | ToIntBiFunction<T,U>, ToLongBiFunction<T,U>, ToDoubleBiFunction<T,U> |
Lambda 的类型是从使用 Lambda 的上下文推断出来的。上下文(好比接受它传递的方法的参数,或接受它的值的局部变量)中 Lambda 表达式须要的类型称为目标类型。下图表示了代码的类型检查过程:
类型检查过程能够分解为以下所示:
首先,找出 filter 方法的声明;
第二,找出目标类型 Predicate<Apple>
。
第三,Predicate<Apple>
是一个函数式接口,定义了一个叫做 test 的抽象方法。
第四,test 方法描述了一个函数描述符,它能够接受一个 Apple,并返回一个 boolean。
最后,filter 的任何实际参数都必须匹配这个要求。
用一个 Lambda 表达式就能够与不一样的函数式接口联系起来,只要它们的抽象方法签名可以兼容。好比,前面提到的 Callable 和 PrivilegeAction,这两个接口都表明着什么也不接受且返回一个泛型 T 的函数。以下代码所示两个赋值时有效的:
Callable<Integer> c = () -> 42; PrivilegeAction<Integer> p = () -> 42;
特殊的void兼容规则若是一个Lambda的主体是一个语句表达式, 它就和一个返回void的函数描述符兼容(固然须要参数列表也兼容)。例如,如下两行都是合法的,尽管 List 的 add 方法返回了一个 boolean,而不是 Consumer 上下文(T -> void)所要求的void:
//Predicate 返回一个 boolean Predicate<String> p = s -> list.add(s); //Consumer 返回一个 void Consumer<String> b = s -> list.add(s);
Java编译器会从上下文(目标类型)推断出用什么函数式接口来配合 Lambda 表达式,这意味着它也能够推断出适合Lambda 的签名,由于函数描述符能够经过目标类型来获得。这样作的好处在于,编译器能够了解Lambda表达式的参数类型,这样就能够在Lambda语法中省去标注参数类型。
List<Apple> greenApples = filter(inventory, a -> "green".equals(a.getColor())); //参数a没有显示类型 Comparator<Apple> c = (Apple a1, Apple a2) -> a1.getWeight().compareTo(a2.getWeight()); //无类型推断 Comparator<Apple> c = (a1, a2) -> a1.getWeight().compareTo(a2.getWeight()); //类型推断
Lambda表达式也容许使用自由变量(不是参数,而是在外层做用域中定义的变量),就像匿名类同样。 它们被称做捕获Lambda。例如,下面的Lambda捕获了portNumber变量:
int num = 1337; Runnable r = () -> System.out.println(num);
Lambda能够没有限制地捕获(也就是在其主体中引用)实例变量和静态变量。但局部变量必须显式声明为final, 或事实上是final。换句话说,Lambda表达式只能捕获指派给它们的局部变量一次。(注:捕获 实例变量能够被看做捕获最终局部变量this。) 例如,下面的代码没法编译,由于portNumber 变量被赋值两次:
int portNumber = 1337; Runnable r = () -> System.out.println(portNumber); portNumber = 31337; //错误:Lambda表达式引用的局 部变量必须是最终的(final) 或事实上最终的
为何局部变量有这些限制?第一,实例变量和局部变量背后的实现有一 个关键不一样。实例变量都存储在堆中,而局部变量则保存在栈上。若是Lambda能够直接访问局部变量,并且Lambda是在一个线程中使用的,则使用Lambda的线程,可能会在分配该变量的线程将这个变量收回以后,去访问该变量。所以,Java在访问自由局部变量时,其实是在访问它的副本,而不是访问原始变量。若是局部变量仅仅赋值一次那就没有什么区别了——所以就有了这个限制。第二,这一限制不鼓励你使用改变外部变量的典型命令式编程模式(这种模式会阻碍很容易作到的并行处理)。
方法引用让你能够重复使用现有的方法定义,并像Lambda同样传递它们。在一些状况下,比起使用 Lambda 表达式,它们彷佛更易读,感受也更天然。下面就是咱们借助更新的Java 8 API,用方法引用写的一个排序的例子:
lists.sort(comparing(Apple::getWeight);
方法引用能够被看做仅仅调用特定方法的Lambda的一种快捷写法。它的基本思想是,若是一个Lambda表明的只是“直接调用这个方法”,那最好仍是用名称来调用它,而不是去描述如何调用它。事实上,方法引用就是让你根据已有的方法实现来建立 Lambda表达式。可是,显式地指明方法的名称,你的代码的可读性会更好。它是如何工做的呢? 当你须要使用方法引用时, 目标引用放在分隔符 :: 前, 方法的名称放在后面。 例如, Apple::getWeight
就是引用了Apple类中定义的方法getWeight
。请记住,不须要括号,由于 你没有实际调用这个方法。方法引用就是Lambda表达式(Apple a) -> a.getWeight()
的快捷写法,下表给出了Java 8中方法引用的其余一些例子。
Lambda | 等效的引用方法 |
---|---|
(Apple a) -> a.getWeight() |
Apple::getWeight |
() -> Thread.currentThread().dumpStack() |
Thread.currentThread()::dumpStack |
(str,i) -> str.substring(i) |
String::substring |
(String i) -> System.out.println(s) |
System.out::println |
方法引用主要分为三类:
指向静态方法的引用(例如 Integer 的 parseInt 方法,写做 Integer::parseInt
)
指向任意类型实例方法的方法引用(例如 String 的 length 方法,写做 String::length
)
指向现有对象的实例方法的引用(假设有一个局部变量 expensiveTransaction 用于存放 Transaction 类型的对象,它支持实例方法 getValue,那么就能够写 expensiveTransaction::getValue
)
注意,编译器会进行一种与Lambda表达式相似的类型检查过程,来肯定对于给定的函数 式接口,这个方法引用是否有效:方法引用的签名必须和上下文类型匹配。
对于一个现有构造函数,能够利用它的名称和关键字 new 来建立它的一个引用: ClassName::new
。它的功能与指向静态方法的引用相似。
例如,假设有一个构造函数没有参数。 它适合 Supplier 的签名() -> Apple
。能够这样作:
Supplier<Apple> c1 = Apple::new; //构造函数引用指向默认的 Apple() 构造函数 Apple a1 = c1.get(); //产生一个新的对象 //等价于: Supplier<Apple> c1 = () -> new Apple(); //利用默认构造函数建立 Apple 的 Lambda 表达式 Apple a1 = c1.get();
若是你的构造函数的签名是Apple(Integer weight)
,那么它就适合 Function 接口的签名,因而能够这样写:
Function<Integer, Apple> c2 = Apple::new; //构造函数引用指向 Apple(Integer weight) 构造函数 Apple a2 = c2.apple(100); //等价于: Function<Integer, Apple> c2 = (Integer weight) -> new Apple(weight); Apple a2 = c2.apple(100);
若是你有一个具备两个参数的构造函数Apple(String color, Integer weight)
,那么它就适合BiFunction接口的签名,因而能够这样写:
BiFunction<Integer, Integer, Apple> c3 = Apple::new; Apple a3 = c23.apple("green", 100); //等价于: BiFunction<Integer, Apple> c3 = (String color, Integer weight) -> new Apple(color, weight); Apple a3 = c3.apple("green", 100);
Java 8的API已经为你提供了一个 List 可用的 sort 方法,那么如何把排序策略传递给 sort 方法呢?sort方法的签名是这样的:
void sort(Comparator<? super E> c)
它须要一个 Comparator 对象来比较两个Apple!这就是在Java中传递策略的方式:它们必须包裹在一个对象里。咱们说 sort 的行为被参数化了:传递给它的排序策略不一样,其行为也会 不一样。
第一个解决方案能够是这样的:
public class AppleComparator implements Comparator<Apple> { @Override public int compare(Apple o1, Apple o2) { return o1.getWeight().compareTo(o2.getWeight()); } } apples.sort(new AppleComparator())
可使用匿名类来改进方案,而不是实现一个 Comparator 却只实例化一次:
apples.sort(new Comparator<Apple>() { @Override public int compare(Apple o1, Apple o2) { return o1.getWeight().compareTo(o2.getWeight()); } });
接下来使用 Lambda 表达式来改进方案:
apples.sort((Apple a1,Apple a2) -> a1.getWeight().compareTo(a2.getWeight()));
Comparator 具备一个叫做 comparing 的静态辅助方法,它能够接受一个 Function 来提取 Comparable 键值,并生成一个 Comparator 对象,它能够像下面这样用(注意你如今传递的Lambda只有一 个参数:Lambda说明了如何从苹果中提取须要比较的键值):
apples.sort(Comparator.comparing(((Apple apple) -> apple.getWeight())));
方法引用就是替代那些转发参数的 Lambda 表达式的语法糖。能够用方法引 用改进方案以下:
apples.sort(Comparator.comparing(Apple::getWeight));
逆序:Comparator 接口有一个默认方法 reversed 可使给定的比较器逆序。
apples.sort(Comparator.comparing(Apple::getWeight).reversed()); //按重量递减排序
比较器链:Comparator 接口的 thenComparing 方法接受一个函数做为参数(就像 comparing方法同样),若是两个对象用第一个Comparator比较以后是相等的,就提供第二个 Comparator。
apples.sort(Comparator.comparing(Apple::getWeight).reversed().thenComparing(Apple::getColor)); //按重量递减排序,同样重时,按颜色排序
谓词接口包括三个方法:negate、and和or。
//苹果不是红的 Predicate<Apple> notRedApple = redApple.negate(); //苹果是红色而且重量大于150 Predicate<Apple> redAndHeavyApple = redApple.and(a -> a.getWeight() > 150); //要么是150g以上的红苹果,要么是绿苹果 Predicate<Apple> redAndHeavyAppleOrGreen = redApple.and(a -> a.getWeight() > 150) .or(a -> "green".equals(a.getColor()));
Function 接口的 andThen 方法Function<T, V> andThen(Function<? super R, ? extends V> after)
会返回一个函数,它先计算 andThen 的调用函数,将输入函数的结果应用于 andThen 方法的 after 函数。
Function<Integer, Integer> f = x -> x + 1; Function<Integer, Integer> g = x -> x * 2; Function<Integer, Integer> h = f.andThen(g); //g(f(x)) int result = h.apply(1); //result = 4
Function 接口的 Compose 方法Function<V, R> compose(Function<? super V, ? extends T> before)
先计算 compose 的参数里面给的那个函数,而后再把结果用于 compose 的调用函数。
Function<Integer, Integer> f = x -> x + 1; Function<Integer, Integer> g = x -> x * 2; Function<Integer, Integer> h = f.compose(g); //f(g(x)) int result = h.apply(1); //result = 3
Lambda表达式能够理解为一种匿名函数:它没有名称,但有参数列表、函数主体、返回 类型,可能还有一个能够抛出的异常的列表。
Lambda表达式让你能够简洁地传递代码。
函数式接口就是仅仅声明了一个抽象方法的接口。
只有在接受函数式接口的地方才可使用Lambda表达式。
Lambda表达式容许你直接内联,为函数式接口的抽象方法提供实现,而且将整个表达式做为函数式接口的一个实例。
Java 8自带一些经常使用的函数式接口,放在java.util.function
包里,包括Predicate<T>、Function<T,R>、Supplier<T>、Consumer<T>
和BinaryOperator<T>
。
为了不装箱操做,对Predicate<T>
和Function<T, R>
等通用函数式接口的原始类型特化:IntPredicate、IntToLongFunction等。
环绕执行模式(即在方法所必需的代码中间,你须要执行点儿什么操做,好比资源分配 和清理)能够配合 Lambda 提升灵活性和可重用性。
Lambda 表达式所须要表明的类型称为目标类型。
方法引用让你重复使用现有的方法实现并直接传递它们。
Comparator、Predicate和Function等函数式接口都有几个能够用来结合 Lambda 表达式的默认方法。
《Java 8 实战》