scala - Scala 特征如何编译成 Java 字节码？

Question

我已经使用 Scala 一段时间了，我知道特征可以充当 Scala 中接口(interface)和抽象类的等价物。 Traits 到底是如何编译成 Java 字节码的？

我发现了一些简短的解释，说明特征在可能的情况下与 Java 接口(interface)完全一样地编译，否则与附加类的接口(interface)。然而，我仍然不明白 Scala 如何实现类线性化，这是 Java 中没有的功能。

是否有一个很好的资料来解释 Traits 如何编译为 Java 字节码？

Answer 1

我不是专家，但这是我的理解:

特征被编译成接口(interface)和相应的类。

trait Foo {
  def bar = { println("bar!") }
}

相当于...

public interface Foo {
  public void bar();
}

public class Foo$class {
  public static void bar(Foo self) { println("bar!"); }
}

这就留下了一个问题:Foo$class 中的静态 bar 方法如何被调用？这个魔法是由 Foo 特征混合到的类中的编译器完成的。

class Baz extends Foo

变成类似...

public class Baz implements Foo {
  public void bar() { Foo$class.bar(this); }
}

类线性化只是根据语言规范中定义的线性化规则实现适当版本的方法(调用 Xxxx$class 类中的静态方法)。