堆叠特征中 super 的含义取决于调用站点？

我无法用语言对此进行很好的描述，所以，请看这个例子：

trait Base { def foo = "Base" }
trait One extends Base { override def foo = "One <: " + super.foo }
trait Two extends Base { override def foo = "Two <: " + super.foo }

new Base with One with Two {} foo

这打印：Two <: One <: Base，这正是我所期望的。 现在，我正在尝试添加另一个级别，以便重写特征不必调用super明确地。像这样：

trait Base { def foo = "Base" }
trait Foo extends Base { def bar = foo + " <: " + super.foo }
trait One extends Foo { override def foo = "One" }
trait Two extends Foo { override def foo = "Two" }

new Foo with One with Two {} bar

在这里，最后一行打印出来Two <: Base

所以，在第一个例子中看起来像super means One，而在最后一个它会跳过One并直接转到Base.

为什么会发生这种情况？行为不应该是一样的吗？

在第一种情况下，new Base with One with Two {} foo（这与new One with Two {} foo），“特质堆栈”非常明显。这Two has a foo这称为foo其超级（One）这称为foo其超级（Base).

在第二种情况下，new Foo with One with Two {} bar（这与new One with Two {} bar），“特征堆栈”是 Base->Foo->One->Two。你打电话bar but Two has no bar and One has no bar. Foo has a bar这称为foo其超级（Base).

UPDATE

考虑一下 @Dima 提议的这个 mod。

trait Base { def foo = "Base" }
trait Foo extends Base { def bar = foo + " <: " + super.foo }
trait One extends Foo { override def bar = super.bar
                        override def foo = "One" }
trait Two extends Foo { override def bar = super.bar
                        override def foo = "Two" }

new One with Two {} bar  // no Base or Foo needed

是的，这给出了与之前相同的输出：res0: String = Two <: Base

Now Two称为bar其超级（One）这称为bar其超级（Foo）这称为foo (not bar）其超级。

所有这些bar活动与foo定义。Two从不调用foo其超级所以One.foo从未使用过，也不能成为输出的一部分。

不同的方法

考虑以下。

trait B { def id = "B" } // B for Base

trait V extends B { override def id = "V" }
trait W extends B { override def id = "W" }
trait X extends B { override def id = "X" }
trait Y extends B { override def id = "Y" }
trait Z extends B { override def id = "Z" }

trait R extends B { override def id = "R"; def mySup = super.id } // Required

现在尝试以多种不同的方式实例化它。

val r = new V with Y with W with R with X {} // B not needed
// or
val r = new W with R with Z with X with V {}
// or
val r = new R with Y with V with B with W {}
// or
val r = new Z with Y with X with W with R {}
// etc.

在每种情况下r.id将是链中的最后一个特征并且r.mySup将是出现在R (or B如果之前没有指定任何内容R).