Scalaのクラスコンストラクタの抽象型メンバーを参照してください。

Question

私はScalaの抽象型メンバーを参照するフィールドを持つことができます。

abstract class C { 
    type T 
    val t: T 
} 

が、私は、コンストラクタのパラメータに同じことを行うことができないようだ。

abstract class C(t: T) { // not found: type T 
    type T 
} 

なぜ？

Answer 1

クラスの最初の定義行はコンストラクタなので、クラスの実装とは独立しています（構築しているので、まだ抽象型のメンバを知ることはできません）。

しかし、何を行うことができますことはあなたのクラスに型パラメータを与えることである。

abstract class C[T](c: T) { 
} 

Tは（今、ちょうど種類に依存する方法である）コンストラクタで使用することができるように。

val stringC = new C("foo") {} // the {} enables instantiation of abstract classes 
val other: stringC.T = "bar" 

あなたがstringC.T表記を使用する場合は、あなたがあなたのタイプのパラメータに等しい型のメンバを定義する必要があります：

あなたがこれを行うことはできませんので、そのタイプのパラメータとメンバーは、二つの異なるものであることに注意してください

class C[A](c: A) { 
    type T = A 
}