斯卡拉特质混合顺序和超级调用

Question

我有这个代码：

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 base{
  def msg: Unit
}

它打印出如下内容：base 2, foo, done

我知道with的顺序是从右到左(最后一个先来(，但是extends呢？为什么有时打印base2，但有时打印base？

Answer 1

省略实现时，base是特征的模板，具有不同的评估规则。查看 Scala 规范

Answer 2

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