<code>Parent</code>の簡単な代数的データ型を考えると行動

Question

予期しない形質：私はトレイト定義さ

scala> sealed trait Parent 
defined trait Parent 

scala> case object Boy extends Parent 
defined object Boy 

scala> case object Girl extends Parent 
defined object Girl 

：次に

scala> trait HasGirl { 
    | val x: Girl.type 
    | } 
defined trait HasGirl 

が、私はHasGirlを実装ケースクラスを作成しますが、x価値を提供Boy.type。

scala> case class Thing(x: Boy.type) extends HasGirl 
defined class Thing 

私はタイプBoy.typeのxがval x: Girl.typeに準拠してどのように表示されていないので、私は、コンパイル時エラーを予想していました。

ここでは何が起こっていますか？

Answer 1

メンバーのないシングルトンタイプは、何らかの形でここに相当するようです。おそらくそれはバグです（あなたがチケットを申請した）。例えば、以下は実行時エラーを生成します。私はメンバーを追加する場合

sealed trait Parent 
case object Boy extends Parent 
case object Girl extends Parent 

trait HasGirl { 
    val x: Girl.type 
} 

case class Thing(x: Boy.type) extends HasGirl { 
    def y: Girl.type = (this: HasGirl).x 
} 


val t = Thing(Boy) 
t.y // ClassCastException ! 

は、コンパイル時エラーを取得：

sealed trait Parent 
case object Boy extends Parent 
case object Girl extends Parent { def hello = 1234 } 

trait HasGirl { 
    val x: Girl.type 
} 

case class Thing(x: Boy.type) extends HasGirl 

<console>:57: error: overriding value x in trait HasGirl of type Girl.type; 
value x has incompatible type 
     case class Thing(x: Boy.type) extends HasGirl 
         ^