Java 8历时2年8个月,这次升级是继Java 5之后对Java一次脱胎换骨的变化。在Java 8的新特性中很多都是围绕Lambda表达式而提供的,Lambda表达式也将使热衷于OOP(Object-Oriented Programming)的Java程序员体会到FP(Functional Programming)的强大。Java 8的Lambda表达多少借鉴了Scala的Lambda(Scala使用「=>」Java8使用「->」),和纯正FP的Haskell还是有很大差别。
(1)历史来由
①关于Java7/Java8
Java 8的很多新特性按照预定都应该包含在Java 7中,但是由于对Project Lambda和Project Jigsaw的争论一直没有达成共识,Java 7一直无法发布。2010年9月Java平台首席架构师Mark Reinhold在他的Blog上提出2个方案:
- A:所有功能都包含到Java 7中,发布推迟到2012年中旬
- B:不包含Project Lambda和Project Jigsaw等几个项目Java 7在2011年中旬发布,这几个项目推迟到2012年中旬发布的Java 8中
博客的评论基本上都赞成方案B。2010年的JavaOne上Mark Reinhold正式决定采用方案B。之后2011年7月Java 7正式发布。
2012年7月 Mark Reinhold再次发文称Project Jigsaw将不会包含在Java 8中而得推迟到Java 9中,由此一来Java 8的主要特性就是Project Lambda。
2012年下旬->2013年下旬->2014年3月 Java 8的发布也是不断跳票。Project Coin、Collection Literals、Swing Date Picker等也被推迟到Java 9,而把Date & Time API、Nashorn等纳入Java 8中。
2014年3月18日 Java 8带着“即使有Bug也要发布”的节奏,历时2年8个月终于发布了。JavaTM SE 8 Release Contents
②关于Project Lambda
2005年,Java 6发布前很多人提议在Java中引入闭包Closure,先是Gilad Bracha、Neal Gafter、James Gosling、Peter van der Ahé做了一个Java闭包的提案,叫BGGA(以他们名字的首字母命名)、后来改名Closures for the Java Programing Language。关于这个提案在Java社区掀起了很到争论,Neal Gafter和Joshua Bloch争论最为有名。
除BGGA外,Java闭包的实现也有很多其他的方案,比如:Joshua Bloch、Doug Lea、Bob Lee提出了CICE(Concise Instance Creation Expresions)。还有一个提案是FCM(First Class Methods)。CICE并不是要在Java中引入闭包而是对匿名类做一个简化写法的提案(现在最终的Project Lambda也是很接近CICE)。
2008年在java.net做了一个在线调查,大概2000人参与回答,大部分人投给了BGGA或者干脆不引入闭包。
2008年11月,Mark Reinhold在 Devoxx 发布Java 7中不会引入闭包,从而才终止了这场争论。但是1年后的2009年11月Mark Reinhold同样是在 Devoxx 发布Java 7中要引入简单的闭包。基于此,2009年12月作为OpenJDK的子项目Project Lambda开始启动。
为什么2008年终止在Java 7中引入闭包会在2009年再次提出?
答案是:CPU多核化的趋势。无论是PC还是SmartPhone,CPU的多核化在急速发展,所以软件的并行处理也要跟得上。
Java中虽然可以通过Thread来并行处理,但是Java 5的Concurrency Utilities的处理粒度更大,而Java 7的Fork/Join Framework并行粒度更细。Java的for循环采用外部迭代(程序员自己写代码),需要转成内部迭代(由Java类库迭代)的并行化,而很多语言都已经支持内部迭代。虽然Java可以借助匿名类来实现,但是写法很繁琐,所以需要简化匿名类的写法。
2009年Project Lambda成立后,Mark Reinhold提出了一个原案Straw-Man Proposal。在这个稻草人提议中Mark Reinhold并没有使用以前争论不休的闭包,而是采用了Lambda表达式。基于此草案不断演化才得到了现在Java8的Lambda表达式。JSR 335: Lambda Expressions for the Java™ Programming Language:
接口的变化:
开始决定使用SAM(Single Abstract Method)来作为接口,SAM指只有一个方法的抽象类或接口。但函数型的引入又激起了争论,后来只限于接口,所以很少人再说SAM,而是引入了函数式接口的概念。
写法的变化:
#(参数) { 函数体 } -> (参数) -> { 函数体 }
Collections.xxxx() -> Stream API
实现的变化
匿名类 ->Java 7 引入的 InvokeDynamic命令动态生成Class
Project Lambda是一个漫长的过程,能够最终成行已经不易,看看这些人的名字,他们都是Java界的大神,尤其Doug Lea为Java并发做出了不可磨灭的贡献。
(2)Lambda表达式
λ:希腊字母表中排序第十一位的字母,英语名称为Lambda。最早出现是用于计算的λ演算(lambda calculus),后来被函数式编程语言广泛采用。
Lambda表达式可以理解成为是一个能够作为参数传递的匿名函数Object,他没有名字,但有参数列表、有函数体、有返回类型、可以抛出异常。它的类型,叫做“目标类型(target type)”Java8中就是“函数接口(functional interface)”。
语法:
(parameters) -> statement
(parameters) -> { statements; }
举例:
(int i) -> i * 2
(String s) -> s.length()
(int i0, int i1) -> i0 + i1
(int x, int y) -> { return x + y; }
①省略类型
- (int x, int y) -> { return x + y; };
- (x, y) -> { return x + y; };
***不能只省略一部分类型,比如:(int x, y) -> { return x + y; }; // NG
②1个参数可以省略括号
- (String text) -> { System.out.println(text); };
- (text) -> { System.out.println(text); };
- text -> { System.out.println(text); };
***但是不能带类型,比如:String text -> { System.out.println(text); }; // NG
③函数体多行时需要大括号
- (int i) -> {
- int prod = 1;
- for(int n = 0; n < 5; n++) prod *= i;
- return prod;
- };
④函数体只有一行的话可以省略大括号
- text -> System.out.println(text);
***assert语句不能省略带括号,比如: s -> { assert !s.isEmpty(); };
***return语句不能省略带括号,比如:(x, y) -> return x -y; // NG
⑤只有一行代码而且有返回值的可以省略return,会返回该行代码计算结果
- (x, y) -> { return x -y; };
- (x, y) -> x -y;
***return要和大括号一起省略,比如:(x, y) -> { x - y; }; // NG
⑥没有参数没有返回值的空函数
- () -> {};
⑦Scala等使用下划线做占位符,Java8中不可以
- (_) -> System.out.println(_); // NG
⑧用于Lambda的变量不可变
- int portNumber = 1337;
- Runnable r = () -> System.out.println(portNumber); // OK
- // 编译错误
- // Local variable portNumber defined in an enclosing scope must be final or effectively final
- int portNumber = 1337;
- Runnable r = () -> System.out.println(portNumber); // NG
- portNumber = 1338;
- // 通过数组实现
- final int[] wrappedNumber = new int[] { 1337 };
- Runnable r = () -> System.out.println(wrappedNumber[0]); // OK
- wrappedNumber[0] = 1338;
⑨其他
- 一个λ表达式可以有多个目标类型(函数接口),只要函数匹配成功即可。但需注意一个λ表达式必须至少有一个目标类型。
- 一个λ表达式可以被当做Object使用,需要赋值给一个函数接口,然后再赋值给一个Object。
(3)Lambda和匿名类区别
this:匿名类this取得是自己,Lambda取得是所在的外部类。
- public class LambdaTest {
- public LambdaTest() {
- Function func1 = new Function() {
- @Override
- public void func() {
- System.out.println("Anon Class: " + this.getClass());
- }
- };
- Function func2 = () -> System.out.println("Lambda Exp.: " + this.getClass());
- }
- }
****但是很少需要在lambda中使用this
(4)用于何处
Lambda可以传递给任何希望是函数式接口的地方。
(5)运行机制
Java 7引入了invokedynamic指令,它是一个JVM指令,允许动态语言在run-time时动态绑定。Java 8的Lambda表达式并不是匿名类的语法糖,它不会在编译的时候生成类似于匿名类的xxx$1.class,而是在运行的时候使用invokeDynamic指令。对于一条Lambda表达式在class里边会包含一个invokedynamic命令和一个静态方法。运行时会使用LambdaMetafactory#metafactory做成一个Lambda$1的内部类再调用该函数式接口的实例。在运行时生成class,就是避免class太多影响加载速度,像Stream那样的到处是Lambda。
比如遍历List:
- Arrays.asList("a", "b", "c").forEach(x -> System.out.println(x));
编译后的Class内容:
也可以接住异常堆栈信息看看Lambda是怎么执行的:
- String[] datas = new String[]{""};
- Arrays.asList(datas).stream().forEach(name -> check(name));
- public static int check(String s) {
- if (s.equals("")) {
- throw new IllegalArgumentException();
- }
- return s.length();
- }
at com.rensanning.java8.lambda.Test.check(Test.java:14)
at com.rensanning.java8.lambda.Test.lambda$0(Test.java:9)
at com.rensanning.java8.lambda.Test$$Lambda$1/518248.accept(Unknown Source)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
at com.rensanning.java8.lambda.Test.main(Test.java:9)
参考:
http://www.oracle.com/events/us/en/java8/index.html
http://www.lambdafaq.org/
http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html
http://www.oracle.com/webfolder/technetwork/tutorials/obe/java/Lambda-QuickStart/index.html
http://www.dreamsyssoft.com/java-8-lambda-tutorial/index.php
http://www.slideshare.net/bitter_fox/java8-launch
http://www.slideshare.net/miyakawataku/lambda-meets-invokedynamic
http://cr.openjdk.java.net/~briangoetz/lambda/lambda-state-final.html
http://www.slideshare.net/mariofusco/fp-in-java-project-lambda-and-beyond
http://www.journaldev.com/2389/java-8-features-for-developers-lambdas-functional-interface-stream-and-time-api