Java 8 之 Lambda表达式

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还是有很大差别。

[size=medium][color=blue][b](1)历史来由[/b][/color][/size]

[b]①关于Java7/Java8[/b]
Java 8的很多新特性按照预定都应该包含在Java 7中,但是由于对Project Lambda和Project Jigsaw的争论一直没有达成共识,Java 7一直无法发布。2010年9月Java平台首席架构师Mark Reinhold在他的Blog上提出[url=http://mreinhold.org/blog/rethinking-jdk7]2个方案[/url]:
[list][*]A:所有功能都包含到Java 7中,发布推迟到2012年中旬
[*]B:不包含Project Lambda和Project Jigsaw等几个项目Java 7在2011年中旬发布,这几个项目推迟到2012年中旬发布的Java 8中[/list]
博客的评论基本上都赞成方案B。2010年的JavaOne上Mark Reinhold正式决定采用方案B。之后2011年7月Java 7正式发布。

2012年7月 Mark Reinhold再次发文称[url=http://mreinhold.org/blog/late-for-the-train]Project Jigsaw将不会包含在Java 8中[/url]而得推迟到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个月终于发布了。[url=https://jcp.org/en/jsr/detail?id=337]JavaTM SE 8 Release Contents[/url]

[b]②关于Project Lambda[/b]
2005年,Java 6发布前很多人提议在Java中引入闭包Closure,先是Gilad Bracha、Neal Gafter、James Gosling、Peter van der Ahé做了一个Java闭包的提案,叫BGGA(以他们名字的首字母命名)、后来改名[url=http://www.javac.info/closures-v05.html]Closures for the Java Programing Language[/url]。关于这个提案在Java社区掀起了很到争论,Neal Gafter和Joshua Bloch争论最为有名。

除BGGA外,Java闭包的实现也有很多其他的方案,比如:Joshua Bloch、Doug Lea、Bob Lee提出了[url=http://docs.google.com/View?docid=k73_1ggr36h]CICE(Concise Instance Creation Expresions)[/url]。还有一个提案是[url=https://docs.google.com/document/d/1bl090UOmafhJp1CJa1OJgC7KirIrdgqjVyleFxF9CSM/edit]FCM(First Class Methods)[/url]。CICE并不是要在Java中引入闭包而是对匿名类做一个简化写法的提案(现在最终的Project Lambda也是很接近CICE)。

2008年在java.net做了一个[url=https://www.java.net/pub/pq/196]在线调查[/url],大概2000人参与回答,大部分人投给了BGGA或者干脆不引入闭包。

2008年11月,Mark Reinhold在 Devoxx 发布[url=http://parleys.com/play/514892260364bc17fc56bd6e/chapter0/about]Java 7中不会引入闭包[/url],从而才终止了这场争论。但是1年后的2009年11月Mark Reinhold同样是在 Devoxx 发布[url=http://parleys.com/play/514892260364bc17fc56bded/chapter0/about]Java 7中要引入简单的闭包[/url]。基于此,2009年12月作为OpenJDK的子项目Project Lambda开始启动。

[img]http://dl2.iteye.com/upload/attachment/0095/6497/7e181b8c-9642-3bcf-b479-df89632d3562.jpg[/img]

[b]为什么2008年终止在Java 7中引入闭包会在2009年再次提出?[/b]
答案是:CPU多核化的趋势。无论是PC还是SmartPhone,CPU的多核化在急速发展,所以软件的并行处理也要跟得上。

Java中虽然可以通过Thread来并行处理,但是Java 5的Concurrency Utilities的处理粒度更大,而Java 7的Fork/Join Framework并行粒度更细。Java的for循环采用外部迭代(程序员自己写代码),需要转成内部迭代(由Java类库迭代)的并行化,而很多语言都已经支持内部迭代。虽然Java可以借助匿名类来实现,但是写法很繁琐,所以需要简化匿名类的写法。

2009年Project Lambda成立后,Mark Reinhold提出了一个原案[url=http://cr.openjdk.java.net/~mr/lambda/straw-man/]Straw-Man Proposal[/url]。在这个稻草人提议中Mark Reinhold并没有使用以前争论不休的闭包,而是采用了Lambda表达式。基于此草案不断演化才得到了现在Java8的Lambda表达式。[url=http://cr.openjdk.java.net/~dlsmith/jsr335-final/]JSR 335: Lambda Expressions for the Java™ Programming Language[/url]:

[b]接口的变化:[/b]
开始决定使用SAM(Single Abstract Method)来作为接口,SAM指只有一个方法的抽象类或接口。但函数型的引入又激起了争论,后来只限于接口,所以很少人再说SAM,而是引入了函数式接口的概念。

[b]写法的变化:[/b]
#(参数) { 函数体 } -> (参数) -> { 函数体 }
Collections.xxxx() -> Stream API

[b]实现的变化[/b]
匿名类 ->Java 7 引入的 InvokeDynamic命令动态生成Class

Project Lambda是一个漫长的过程,能够最终成行已经不易,看看这些人的名字,他们都是Java界的大神,尤其Doug Lea为Java并发做出了不可磨灭的贡献。

[size=medium][color=blue][b](2)Lambda表达式[/b][/color][/size]

λ:希腊字母表中排序第十一位的字母,英语名称为Lambda。最早出现是用于计算的[url=http://en.wikipedia.org/wiki/Lambda_calculus]λ演算(lambda calculus)[/url],后来被函数式编程语言广泛采用。

Lambda表达式可以理解成为是一个能够作为参数传递的匿名函数Object,他没有名字,但有参数列表、有函数体、有返回类型、可以抛出异常。它的类型,叫做“目标类型(target type)”Java8中就是“函数接口(functional interface)”。

[b]语法:[/b]
[quote](parameters) -> expression
(parameters) -> statement
(parameters) -> { statements; }[/quote]

[b]举例:[/b]
[quote]() -> Math.PI * 2.0
(int i) -> i * 2
(String s) -> s.length()
(int i0, int i1) -> i0 + i1
(int x, int y) -> { return x + y; }[/quote]

[b]①省略类型[/b]
(int x, int y) -> { return x + y; };
(x, y) -> { return x + y; };

***不能只省略一部分类型,比如:(int x, y) -> { return x + y; }; // NG

[b]②1个参数可以省略括号[/b]
(String text) -> { System.out.println(text); };
(text) -> { System.out.println(text); };
text -> { System.out.println(text); };

***但是不能带类型,比如:String text -> { System.out.println(text); }; // NG

[b]③函数体多行时需要大括号[/b]
(int i) -> {
int prod = 1;
for(int n = 0; n < 5; n++) prod *= i;
return prod;
};


[b]④函数体只有一行的话可以省略大括号[/b]
text -> System.out.println(text);

***assert语句不能省略带括号,比如: s -> { assert !s.isEmpty(); };
***return语句不能省略带括号,比如:(x, y) -> return x -y; // NG

[b]⑤只有一行代码而且有返回值的可以省略return,会返回该行代码计算结果[/b]
(x, y) -> { return x -y; };
(x, y) -> x -y;

***return要和大括号一起省略,比如:(x, y) -> { x - y; }; // NG

[b]⑥没有参数没有返回值的空函数[/b]
() -> {}; 


[b]⑦Scala等使用下划线做占位符,Java8中不可以[/b]
(_) -> System.out.println(_); // NG


[b]⑧用于Lambda的变量不可变[/b]
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;


[b]⑨其他[/b]
[list][*]一个λ表达式可以有多个目标类型(函数接口),只要函数匹配成功即可。但需注意一个λ表达式必须至少有一个目标类型。
[*]一个λ表达式可以被当做Object使用,需要赋值给一个函数接口,然后再赋值给一个Object。[/list]

[size=medium][color=blue][b](3)Lambda和匿名类区别[/b][/color][/size]
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

[size=medium][color=blue][b](4)用于何处[/b][/color][/size]
Lambda可以传递给任何希望是函数式接口的地方。

[size=medium][color=blue][b](5)运行机制[/b][/color][/size]
Java 7引入了invokedynamic指令,它是一个JVM指令,允许动态语言在run-time时动态绑定。Java 8的Lambda表达式并不是匿名类的语法糖,它不会在编译的时候生成类似于匿名类的xxx$1.class,而是在运行的时候使用invokeDynamic指令。对于一条Lambda表达式在class里边会包含一个invokedynamic命令和一个静态方法。运行时会使用LambdaMetafactory#metafactory做成一个Lambda$1的内部类再调用该函数式接口的实例。在运行时生成class,就是避免class太多影响加载速度,像Stream那样的到处是Lambda。

[img]http://dl2.iteye.com/upload/attachment/0095/5710/9fe62db8-2f9d-36d9-9169-91e55216e426.png[/img]

比如遍历List:
Arrays.asList("a", "b", "c").forEach(x -> System.out.println(x));


编译后的Class内容:
[img]http://dl2.iteye.com/upload/attachment/0095/5706/60a4a772-10d6-34e8-990d-73ad438b9a17.png[/img]

[img]http://dl2.iteye.com/upload/attachment/0095/5706/60a4a772-10d6-34e8-990d-73ad438b9a17.png[/img]

也可以接住异常堆栈信息看看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();
}


[quote]Exception in thread "main" java.lang.IllegalArgumentException
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)[/quote]

参考:
[url=http://www.oracle.com/events/us/en/java8/index.html]http://www.oracle.com/events/us/en/java8/index.html[/url]
[url=http://www.lambdafaq.org/]http://www.lambdafaq.org/[/url]
[url=http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html]http://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html[/url]
[url=http://www.oracle.com/webfolder/technetwork/tutorials/obe/java/Lambda-QuickStart/index.html]http://www.oracle.com/webfolder/technetwork/tutorials/obe/java/Lambda-QuickStart/index.html[/url]
[url=http://www.dreamsyssoft.com/java-8-lambda-tutorial/index.php]http://www.dreamsyssoft.com/java-8-lambda-tutorial/index.php[/url]
[url=http://www.slideshare.net/bitter_fox/java8-launch]http://www.slideshare.net/bitter_fox/java8-launch[/url]
[url=http://www.slideshare.net/miyakawataku/lambda-meets-invokedynamic]http://www.slideshare.net/miyakawataku/lambda-meets-invokedynamic[/url]
[url=http://cr.openjdk.java.net/~briangoetz/lambda/lambda-state-final.html]http://cr.openjdk.java.net/~briangoetz/lambda/lambda-state-final.html[/url]
[url=http://www.slideshare.net/mariofusco/fp-in-java-project-lambda-and-beyond]http://www.slideshare.net/mariofusco/fp-in-java-project-lambda-and-beyond[/url]
[url=http://www.journaldev.com/2389/java-8-features-for-developers-lambdas-functional-interface-stream-and-time-api]http://www.journaldev.com/2389/java-8-features-for-developers-lambdas-functional-interface-stream-and-time-api[/url]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值