Scala 特征混合顺序和 super 调用

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 specification