最近几年Lambda表达式风靡于编程界. 很多现代编程语言都把它作为函数式编程的基本组成部分.
基于JVM的编程语言如Scala,Groovy还有Clojure把它们作为关键部分集成在语言中.现在Java8也加入了它们的行列.
有趣的是,对于JVM来说,Lambda表达式是完全不可见的,并没有匿名函数和Lamada表达式的概念,它只知道字节码是严格面向对象规范的.它取决于语言的作者和它的编译器在规范限制内创造出更新,更高级的语言元素.
我们第一次接触它是在我们要给Takipi添加Scala支持的时候, 我们不得不深入研究Scala的编译器.伴随着JAVA8的来临,我认为探究Scala和java编译器是如何实现Lambda表达式是非常有趣的事情.结果也是相当出人意料.
接下来,我展示一个简单的Lambda表达式,用于将字符串集合转化成字符串自身长度的集合。
Java的写法 –
1List names = Arrays.asList(“1”, “2”, “3”);
2Stream lengths = names.stream().map(name -> name.length());
Scala的写法 –
1.val names = List(“1”, “2”, “3”)
2.val lengths = names.map(name =>name.length)
表面上看起来非常简单,那么后面的复杂东西是怎么搞的呢?
一起分析Scala的实现方式
The Code
我使用javap(jdk自带的工具)去查看Scala编译器编译出来的class类中所包含的字节码内容。让我们一起看看最终的字节码(这是JVM将真正执行的)
1.// 加载names对象引用,压入操作栈(JVM把它当成变量#2)
2.// 它将停留一会,直到被map函数调用.
3.aload_2
接下来的东西变得更加有趣了,编译器产生的一个合成类的实例被创建和初始化。从JVM角度,就是通过这个对象持有Lambda方法的。有趣的是虽然Lambda被定义为我们方法的一个组成部分,但实际上它完全存在于我们的类之外。
new myLambdas/Lambda1$$anonfun$1 //new一个lambda实例变量.
dup //把lambda实例变量引用压入操作栈.// 最后,调用它的构造方法.记住,对于JVM来说,它仅仅只是一个普通对象.
invokespecial myLambdas/Lambda1$$anonfun$1/()V//这两行长的代码加载了用于创建list的immutable.List CanBuildFrom工厂。
//这个工厂模式是Scala集合架构的一部分。
getstatic scala/collection/immutable/List / M O