1

我有 3 节课：

class AClass 
class Base { val a = "a" }
class BaseOne extends Base { val b = "b" }
class BaseTwo extends Base { val c = "c" }

我想扩展一个包含泛型方法的特征，我不允许更改特征

trait Converter {
    def toAClass[T <: Base](e: T): AClass
    def fromAClass[T <: Base](s: AClass): T
}

我想在几个不同的对象中扩展它

 object ConverterBaseOne extends Converter { 
 // ERROR
     override def toAClass(e: BaseOne) : AClass = { printf(e.b) } // b is known
     override def fromAlcass(a: AClass) : BaseTwo = {....}
 }

我知道有一种方法可以使用类参数： trait Converter[T <: Base] 并且还看到了这篇文章https://stackoverflow.com/a/4627144/980275 我在问是否有不改变的解决方案特质？？？谢谢

4

1 回答 1

5

您正在更改方法的签名，因此它不是合法的覆盖，它会破坏多态性。您必须参数化Converter特征或使用其他方法名称。

但是，您可以接收一个Base对象并将其强制转换，但不建议这样做，因为它可能会在运行时导致异常：

object ConverterBaseOne extends Converter { 
  override def toAClass[T <: Base](e: T): AClass = {
    printf(e.asInstanceOf[BaseOne].b)
    // ...
  }
}
于 2013-07-18T16:50:13.173 回答