scala - 澄清为什么我不能通过它的子类型覆盖使用泛型类参数的方法

Question

给定以下情况 ( scastie )

trait Element
class Earth extends Element

trait Container[T]
class ContainerEarth extends Container[Earth]

trait Dummy[E <: Element] {

  def dummy(container: Container[E]): Any
}

class EarthDummy extends Dummy[Earth] {

  def dummy(container: ContainerEarth): Any = ??? // could not override
  override def dummy(container: Container[Earth]): Any = ???
}

我仍然不清楚为什么 ContaineEarth 无法覆盖。

我有解决业务问题的解决方案，但我需要了解为什么编译器拒绝替换。

trait Dummy[E <: Element, C <: Container[E]] {

  def dummy(container: C): Any
}

我知道游戏中存在差异，并阻止它。

但对我来说，差异是关于Container[Dirt] 是Container[Earth] 的子类型，如果Dirt 延伸Earth 当 Container 通用参数是协变的。

所以我愿意接受您的所有澄清。

Answer 1

性状 Dummy[E <: Element]描述了一个契约(Contract)。实现此特征的类必须具有方法 dummy接受任意container: Container[E] .

DirtDummy 是一个 Dummy[Earth] .所以它的方法dummy必须接受任意 container: Container[Earth] .如果它只接受 ContainerEarth它无法处理 container类型为 Container[Earth]但没有类型 ContainerEarth :

class AnotherContainerEarth extends Container[Earth]

new DirtDummy().dummy(new AnotherContainerEarth)

所以这将违反契约(Contract)。

当您定义 def dummy(container: ContainerEarth): Any 时这不是压倒一切，而是重载。