为什么 super 的这种用法会产生这个结果

Question

我有以下代码片段：

trait A {
  def print = {
    println("A")
  }
}

trait B {
  def print = {
    println("B")
  }
}

trait C extends A with B {
  override def print = {
    println("C");
    super.print
  }
}

trait D extends B with A {
  override def print = {
    println("D");
    super.print
  }
}

class E extends D with C {
  override def print = {
    println("E");
    super.print
  }
}

哪个打印：

• 乙
• C
• D
• 一种

我的理解是：E首先继承D并覆盖它的print. C然后优先D，因为它是后来施加某种方式super调用的C点D。

在那之后我完全迷失了。我不知道为什么会A被调用，但不会被调用B。

特征继承和覆盖的处理方式是否与类不同？

Answer 1

从这个声明开始：

class E extends D with C

这读作

class E extends (D with C)

那么类层次结构中D和的顺序是什么C？

将trait C被应用到D，因此它可以改变的行为D。因此它必须继承自 D，所以这被读作

class E extends C extends D

同样

class C extends B extends A
class D extends A extends B

因此

class E extends C extends B extends A extends D extends A extends B

但是一个类在继承链中只能出现一次，并且是最高（最少派生）的版本被保留下来。所以这变成

class E extends C extends D extends A extends B

此层次结构与您在调用print的实例时看到的输出相匹配E。