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

Question

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

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

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

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

它工作正常。

serviceImpl方法returns一个匿名函数---“(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

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

的 REPL 示例

scala> val r: Runnable = () => println("Run!")
r: Runnable = $$Lambda73/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 接口。这允许使用 Java 自己的 lambda 语法从 Java 创建 Scala 函数：

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

专用函数类也是 SAM 接口，可以在包 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 参数类型的方法，如下文更详细的解释。

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

How did anonymous function implements the trait?

scala

traits