scala - 匿名函数是如何实现特征的？

Question

让我们看看 scala REPL 中的代码:首先，我定义了一个特征:

trait Service{
  def invoke(name:String):String
}

然后我定义了一个匿名函数:

def serviceImpl:Service = (name)=> s"Your name is $name"

它工作正常。

serviceImpl 方法返回一个匿名函数 --- "(name)=> s"Your name is $name""只是 Function2[String 的一个实例, String] 特征。

但是如上，匿名函数是如何实现Service trait的呢？

以及 scala 如何转换？

Answer 1

这是 2.12 发行说明中描述的新功能:http://www.scala-lang.org/news/2.12.0#lambda-syntax-for-sam-types

除了来自标准库的 FunctionN 类型之外，Scala 2.12 类型检查器还接受函数文字作为任何单一抽象方法 (SAM) 类型的有效表达式。这改进了从 Scala 代码使用为 Java 8 编写的库的体验。这是一个使用 java.lang.Runnable 的 REPL 示例:

scala> val r: Runnable = () => println("Run!")
r: Runnable = $$Lambda$1073/754978432@7cf283e1
scala> r.run()
Run!

注意只有lambda表达式被转换为SAM类型的实例，而不是FunctionN类型的任意表达式:

scala> val f = () => println("Faster!")
scala> val fasterRunnable: Runnable = f
<console>:12: error: type mismatch;
found   : () => Unit
required: Runnable

语言规范包含 SAM 转换要求的完整列表。

通过使用默认方法，Scala 的内置 FunctionN 特征被编译为 SAM 接口(interface)。这允许使用 Java 自己的 lambda 语法从 Java 创建 Scala 函数:

public class A {
  scala.Function1<String, String> f = s -> s.trim();
}

专用函数类也是 SAM 接口(interface)，可以在包 scala.runtime.java8 中找到。

由于类型检查的改进，即使调用的方法被重载，lambda 表达式中的参数类型也可以省略。有关详细信息，请参阅#5307。在以下示例中，编译器为 lambda 推断参数类型为 Int:

scala> trait MyFun { def apply(x: Int): String }
scala> object T {
    |   def m(f: Int => String) = 0
    |   def m(f: MyFun) = 1
    | }
scala> T.m(x => x.toString)
res0: Int = 0

请注意，尽管这两种方法都适用，但重载决策会选择具有 Function1 参数类型的方法，如下面更详细的解释。