Scala 3中抽象方法是如何初始化的？

Question

下面Scala 3码

trait MyTrait:
  println("MyTrait initialization – start")
  val value: Int
  def data: String
  println(s"MyTrait initialized end with value=$value, data=$data")

@main
def main(): Unit = {
  new MyTrait: // anonymous subclass
    println("Anonymous subclass initialization – start")
    val value = 1
    def data =
      println("Calling data inside anonymous subclass")
      "abc"
    println("Anonymous subclass initialization – end")
}

印刷

MyTrait initialization – start
Calling data inside anonymous subclass
MyTrait initialized end with value=0, data=abc
Anonymous subclass initialization – start
Anonymous subclass initialization – end

我不明白为什么它打印data=abc 。 它不应该打印一些默认值或编译错误吗？

---

初始化顺序是MyTrait之后是匿名子类。 在MyTrait中，抽象成员应该设置为它们的默认值——这适用于value ，因为它打印0 。 但是，对于方法data ，它以某种方式跳过此初始化顺序并在初始化应该发生之前从匿名子类调用具体data方法。

Answer 1

val s 和var s（或技术上支持它们的字段）使用默认值初始化。 def s（又名方法）在编译时有效绑定，虚拟方法分派意味着可以在 class 的构造函数完成之前调用这些方法。

有效流程为：

• 为匿名子类分配 memory（此时def data绑定到匿名子类的实现，字段具有默认值）
• 调用匿名子类的构造函数
• ...调用特征的构造函数
• 然后运行子类构造函数主体的 rest