Scala特质的混入顺序和super调用

Question

I have this code:

trait base{
  def msg: Unit= {
    println{"base"}
  }
}

trait foo extends base {
  abstract override def msg: Unit ={
    super.msg
    println("foo")
  }
}

class base2{
  def msg:Unit = {
    println{"base 2"}
  }
}

class test extends base2 with foo{
   override def msg: Unit ={
    super.msg
    println("done")
  }
}

如果我调用(new test).msg，这将打印出类似于：base, foo, done

然而，如果我更改基础trait为：

trait base{
  def msg: Unit
}

它会输出像这样的内容：base 2，foo，done

我理解with的顺序是从右到左的（最后一个先出现），但extends呢？为什么有时会打印base2，而有时候是base？

- Sonya

---

这种怪异现象就是我避免使用蛋糕模式的原因。 - samthebest

如果它像Groovy一样运作，那么你需要在base trait中添加super.msg，这样它就会链接到你的base2类。如果base没有实现，那么foo的super.msg将调用base2。 - MaciejGórski

Answer 1

当您省略实现时，base是一个特质的模板，并具有不同的评估规则。请参见Scala规范。

- WeaponsGrade

Answer 2

Scala有一种叫做类型线性化的东西。它定义了初始化顺序。在这里阅读http://eed3si9n.com/constraining-class-linearization-in-Scala。

- bkowalikpl