特定の特性を必要とする - >セルフタイプ注釈？

Question

少なくとも1つの特定の特性を実装するためにケースクラスを必要としたいと思います。

私は、私はこのような自己型注釈を使用することができ、考えた：

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 

しかしミックスインをインスタンス化すると、コンパイルされません。だから、私がするとき：

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

これはコンパイルされません。

私は何か間違っているのですか、これは全体的なアプローチに欠陥がありますか？

解決済み：正常なクラス、つまり非ケースクラスで完全に機能します。私はなぜこれがそうであるか分からないが、私はそれで大丈夫だ。

Answer 1

スタンドアロンのケースクラス（すなわち、extendsまたはミックスインなし）は、自己入力することはできません。

考えてみてください。 case classは、クラス定義とシングルトンインスタンス化の両方です。自己型参照とは、指定された自己型が混在していない状態でインスタンス化できないことを意味します。

自動シングルトンを作成せずにクラス定義にするか、クラスが定義されています。

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

それとも...

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