爲什麼我無法用匹配類型的case對象覆蓋val？

Question

考慮：

trait Mixin {} 

case class A(a: Int) extends Mixin 
case object B extends Mixin 

trait Base { 
    val m = A(1) 
} 

trait Sub extends Base { 
    override val m = B // does. not. compute. 
} 

我的特質Sub得到一個編譯錯誤：

<console>:18: error: overriding value m in trait Base of type A; 
value m has incompatible type 
     override val m = B // does. not. compute. 
        ^

爲什麼？案例對象繼承了正確的特質，就像案例類一樣。這是Scala 2.10。

Answer 1

你需要讓Mixin類型的m：

trait Base { 
    val m: Mixin = A(1) 
}