λ表达式之争：Scala vs Java8

最近几年Lambda表达式风靡于编程界。很多现代编程语言都把它作为函数式编程的基本组成部分。基于JVM的编程语言如Scala、Groovy及Clojure把它作为关键部分集成在语言中。而如今，（最终）Java 8也加入了这个有趣的行列。

Lambda表达式最有意思的地方在于，在JVM的角度来看它是完全不可见的。在JVM中没有匿名函数或Lambda表达式的概念。JVM唯一知道是字节码。字节码是一个严格的OO规范。由语言的创造者和编译者通过这些限制来创建新的、高级的语言元素。

我们第一次遇到Lambda表达式是需要在Takipi中增加对Scala的支持，所以不得不深入了解Scala的编译器。而这时Java 8也正处在关键时刻。我猜想Scala和Java编译器对Lambda表达式的实现肯定会非常有趣。结果让我极为惊讶。

为了演示这些内容，我写了一个简单的Lambda表达式，功能是将一个字符串列表转换为它们长度的列表。

Java：

Scala：

不要被它表面的简单所迷惑，后面执行了相当复杂的过程。

我使用 javap 来查看通过Scala编译器生成的.class文件的字节码的内容。让我们看一下字节码的结果（这才是JVM真正执行的内容）。

接下来的事情就变得更有趣了，一个由编译器生成的synthetic的实例创建并初始化（译者注：Synthetic类是指由JVM运行时生成的类）。非常有意思的是，Lambda作为整个方法的一部分来定义的，但它实际上完全存在于我们类的外部。

但是请稍等，Lambda对象内部做了什么事情？

Lambda类来继承自scala.runtime.AbstractFunction1。通过这种方式，map() 函数可以多态调用重写后的 apply() 方法，apply()代码如下：

真正的执行.length() 操作的代码嵌套在另个一apply方法中，该方法正如我们期望的一样，简单的返回了字符串的长度。

唷……，走了好长的一段路才到这。

我们在上面只是写了一行简单的代码，但是却产生了许多的字节码，包括一个额外的类和一堆方法。但是，这绝不是在劝阻我们不要用Lambda（我们是在Scala中写代码，而不是C）。这仅仅是为了展示这种结构后面的复杂性。

我相当期待Java 8也是用这种方式实现的，但是令人惊讶的时，java采取了完全不同的方式。

Java 8产生的字节码比较短，但是还有更令人惊讶的东西。它刚开始简单的加载了名称变量，然后调用 stream() 方法，但是接下做了一些非常好的优化。它没有创建一个新的对象来包装Lambda函数，而是使用了新的 invokeDynamic 指令，该指令是Java 7时增加的，这个地方的用于调用真实的Lambda函数。

InvokeDynamic魔法：这条JVM指令在Java 7中增加，用于减少JVM的限制，允许动态语言在运行时绑定符号。而在这之前，所有的链接都是静态的，在代码编译的时候就由JVM完成。

动态链接：如果你看过invokedynamic指令，你会发现没有引用指向真正的Lambda函数（即lambda$0）。答案归结于invokedynamic指令的设计，但是更简短的答案是Lambda表达式的签名，就我们的例子来说是

存储在.class的一个单独的表中，该表作为#0参数传递给指令。这个新的表确实改变了字节码规范的结构，这是多年之后的第一次改变，这同样需要采取Takipi的错误分析引擎。

这段代码是真正的Lambda表达式。非常容易，简单地加载字符串参数，调用length()方法并包装成结果。请注意，它是编译成了一个静态函数，避免像之前看到的Scala一样，传入额外的this对象。

这是invokedynamic方式的另一个优点，它允许我们通过多态的方式来调用 map() 函数，且不需要包装对象或调用虚拟的的重写方法。非常酷！

Java看起非常具有吸引力，最“严格”的现代语言现在开始使用动态链接来增加Lambda表达式的功能。该方式也是非常有效的一种方式，不需要加载和编译额外的类，Lambda方法只是我们类中一个简单的私有方法。

Java 8确实对Java 7引入的新的技术做了很多优化，使用了非常直接的方式实现了对Lambda表达式的支持。非常高兴能看到像Java这样“端庄”的女士能教我们一些戏法。