制約付きの形質でメソッドを呼び出すときに、自己型が参照されないのはなぜですか？

Question

trait A { def t : Int } 
trait B { this: A => } 

を想定すると、なぜそれが、コンパイラは、私がBにtを呼び出すことができることを「知らない」ということでしょうか？

def test(b: B): Int = b.t // doesn't work 

けど（明らかに重複？）その

def test(b: B with A): Int = b.t 

Answer 1

セルフタイプを行う必要がある形質またはクラスの契約の一部ではありません。つまり、は、特性やクラスに外部からのの可視的な制限を与えず、内部ではのものだけが表示されます。セルフタイプは、オブジェクトのインスタンス化時にチェックされますが、それ以外の場合は、宣言する特性または継承する特性/クラス/オブジェクトによってのみ使用できます。 Javaの言葉では、自己型は、その特性によって宣言されたprotected interfaceのようなものだと考えることができます（もちろんJavaは実際にそのようなことをサポートしません）。

テストを動作させたい場合は、B on Aの依存関係を外部から見えるようにする必要があります。これは、 "extends"宣言、a.k.a単純なサブクラス化で行われます。

trait A { def t : Int } 
trait B extends A 
def test(b: B) : Int = b.t