積み重ねられた特性のスーパーの意味はコールサイトに依存しますか？

Question

私は、この例を見てみてください、言葉でこれの非常に良い説明を考え出すことはできません。

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 

これは、印刷します。​​を、私は期待しています。 今、別のレベルを追加しようとしています。そのため、特質を無効にすると、明示的に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 

、最後の行は、最後の1で、それはOneをスキップしてBaseに直接行く間、それは、Oneを意味最初の例superのように見え、Two <: Base

ので、出力します。

どうしてですか？行動は同じではありませんか？

Answer 1

super.fooFooの定義は、Fooのスーパークラスで定義されているように、Base.fooを意味します。定義は次のとおりです。 superはではなく、 "最終クラスから1つのスーパークラス"を意味する魔法のキーワードです。

ちなみに、セルフタイプを調べることもできます。 What is the difference between self-types and trait subclasses?

Answer 2

new Base with One with Two {} foo（これはnew One with Two {} fooと同じです）では、「形質スタック」はかなり明白です。 Twoにはfooがあり、fooはsuper（One）のfooと呼ばれ、fooはsuper（Base）です。

2番目のケースでは、と同じですが、new Foo with One with Two {} barの場合、「形質スタック」はBase-> Foo-> One-> Twoです。 barに電話しますが、Twoにはbarがありません。Oneにはbarがありません。 Fooにはbarがあり、そのスーパー（Base）のfooが呼び出されます。

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

今Twoはfoo（ないbarを呼び出してそのスーパーのbar（Foo）を呼び出し、そのスーパーのbar（One）を呼び出します）のスーパーです。

すべてこれは、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前に指定されていない場合やB）Rの前に来る特性になります。