Bezugnehmend auf Member des abstrakten Typs in Klassenkonstruktoren in Scala

Question

Ich kann ein Feld haben, das sich auf ein Element des abstrakten Typs in Scala bezieht, z.B.

abstract class C { 
    type T 
    val t: T 
} 

aber es scheint, dass ich nicht das Gleiche für einen Konstruktorparameter tun können:

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

Warum?

Answer 1

Die erste Definitionszeile einer Klasse ist ein Konstruktor, so dass sie unabhängig von einer bestimmten Implementierung der Klasse ist (da Sie sie erstellen, können Sie den abstrakten Typ member noch nicht kennen).

Aber was können Sie tun, ist eine Art Parameter Ihrer Klasse geben:

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

Damit T kann im Konstruktor verwendet werden (was nur eine typabhängigen Methode ist, jetzt). Beachten Sie, dass Typ-Parameter und die Mitglieder sind zwei verschiedene Dinge, so dass Sie dies nicht tun können:

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

Wenn Sie stringC.T Notation verwenden möchten, müssen Sie einen Typ-Member definieren, die zu Ihrem Typ-Parameter gleich ist:

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