Erfordert eine bestimmte Eigenschaft -> Selbst Typ Annotation?

Question

Ich würde gerne eine Fallklasse verlangen, um auch mindestens eines von bestimmten Merkmalen zu implementieren.

Ich dachte, ich selbst Typenannotationen wie diese verwenden:

case class DisqualifiedDate(override val paths: Set[DatePath], 
    override val cal: Calendar) extends CalendricDate(paths,cal){ 

    this: DateError => 

    val stringPrefix = "DisqualifiedDate" 
} 

sealed trait DateError 
trait Circular extends DateError 
trait Contradictory extends DateError 
trait Inaccessible extends DateError 

jedoch mit einem mixin Instanziierung nicht kompiliert. Also, wenn ich das tue:

val date = new DisqualifiedDate(Set(datePath),cal) with Circular 

dies kompiliert nicht.

Mache ich etwas falsch oder ist der ganze Ansatz fehlerhaft?

Gelöst: Es funktioniert perfekt mit einer normalen Klasse, d. H. Nicht-Case-Klasse. Ich bin nicht sicher, warum das so ist, aber damit bin ich einverstanden.

Answer 1

Eine eigenständige Fallklasse (d. H. Ohne extends oder Mixins) kann nicht selbst eingegeben werden.

Denken Sie darüber nach. A case class ist sowohl eine Klassendefinition als auch eine Singleton-Instanziierung. Eine Selbsttypreferenz bedeutet, dass die Instanziierung nicht stattfinden kann, ohne dass der angegebene Selbsttyp eingemischt ist.

Sie müssen entweder eine Klassendefinition ohne die automatische Singleton-Erstellung machen oder die erforderliche Eigenschaft in den Fall einmischen Klasse ist definiert.

class DisqualifiedDate(override val paths: Set[DatePath], 
         override val cal: Calendar 
        ) extends CalendricDate(paths,cal) { 
    this: DateError => 
    . . . 

Oder ...

case class DisqualifiedDate(override val paths: Set[DatePath], 
          override val cal: Calendar 
          ) extends CalendricDate(paths,cal) with DateError { 
    this: DateError => // now redundant 
    . . .