일치하는 유형의 사례 개체로 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. 
        ^

이유는 무엇입니까? case 객체는 case 클래스와 마찬가지로 올바른 특성을 상속합니다. 이것은 스칼라 2.10입니다.

Answer 1

당신은 유형 Mixin의 m을해야합니다

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