Scala：重写一个抽象的具体成员

Question

我想重写一个抽象的特性成员，这看起来很简单，但实际上并不会编译。

这里是什么，我试图做一个归结例如：

// not my code: 
trait Base { 
    val x = new T {} 
    trait T {} 
} 

// my code: 
trait Sub extends Base { 
    // compile error; see below 
    override val x: T2 

    // this compiles, but doesn't force `Impl` to implement `x` 
// override val x: T2 = null 

    trait T2 extends T { 
    val someAddition: Any 
    } 
} 

object Impl extends Sub { 
    // should be forced to implement `x` of type `T2` 
} 

这里的编译器错误：

Error:(7, 7) overriding value x in trait Sub of type Sub.this.T2; 
value x in trait Base of type Sub.this.T has incompatible type; 
(Note that value x in trait Sub of type Sub.this.T2 is abstract, 
    and is therefore overridden by concrete value x in trait Base of type Sub.this.T) 
trait Sub extends Base { 
    ^

Answer 1

我能想到的方法是使用不同的名称取而代之的是抽象成员和具体成员来调用这个。

trait Sub extends Base { 
    val y: T2 
    override val x = y 

有一个interesting discussion关于这个在Java的土地。