Scala-构造函数中的抽象类型

不幸的是,这是类主体作为构造函数产生严重限制的情况之一。你想达到的目标本身是不可能的。

据我所知,有两种主要的选择。一种是,正如@cchantep在注释中建议的那样,使用类型参数而不是抽象类型成员。警告是,它更改了 Specie ,这可能会使您的生活在程序的其余部分变得乏味。

另一种选择允许您保留类型成员版本,但代价是有点不安全。这可能是可以接受的,因为你有一个抽象类,所以只有子类需要小心:

sealed abstract class Specie(name: String, _specie: SpecieType) {
  type T <: SpecieType

  val specie: T = _specie.asInstanceOf[T]
}

class MammalSpecie extends Specie("Mammal", Mammal()) {
  type T = Mammal
}

如果你能忍受丑化子类的定义,你可以重新实施安全 Specie公司 ,使用中间抽象类:

sealed abstract class Specie(name: String, _specie: SpecieType) {
  type T <: SpecieType

  val specie: T = _specie.asInstanceOf[T]
}

abstract class SpecieBase[U <: SpecieType](name: String, _specie: U)
    extends Specie(name, _specie) {
  type T = U
}

class MammalSpecie extends SpecieBase("Mammal", Mammal())

自从 Specie公司 它本身是密封的,从 Specie公司 实际上是从 SpecieBase ,未密封。 规格基础 加强安全 Specie公司 无法强制执行。