覆盖Scala中通用特征的方法

Question

我定义了一个通用的环境特征：

trait Environment[T]

为此我提供了这个实现：

class MyEnvironment extends Environment[Integer] {
 val specific: Integer = 0
}

此外，我定义了一个通用事件特征，它有一个接受通用环境作为参数的方法：

trait Event[T] {
  def exec(e: Environment[T])
}

对于此事件特征，我提供了以下实现，其中exec（）方法接受MyEnvironment类型的参数，以使我能够访问MyEnvironment的特定值。

class MyEvent extends Event[Integer] {
  override def exec(e: MyEnvironment): Unit = {
    println(e.specific)
  }
}

但是，Scala编译器输出一个错误，似乎MyEnvironment似乎不被识别为Environment [Integer]：

错误：方法exec不会覆盖任何内容。

注意：类MyEvent的超类包含以下非最终成员，名为exec：def exec（t：main.vub.lidibm.test.Environment [Integer]）：Unit

是否有可能使这项工作，或有模式来规避这个问题。

Answer 1

你不能缩小方法的签名; 它不再是同一种方法了。 在您的情况下，您无法覆盖

def exec(e: Environment[T]): Unit

同

override def exec(e: MyEnvironment): Unit 

第二种方法比第一种方法更具体。 它在概念上与使用def foo(s: String)重写def foo(a: Any)相同。

如果你想要它工作，你需要在两个签名中使用相同的类型（请注意，如果你使用上限，如T <: Environment[_] ，这意味着接受T的方法实际上接受Environment任何子类，所以在这种情况下使用MyEnvironment覆盖将正常工作）。

Answer 2

因为覆盖在方法的参数类型中不是多态的。 它的工作方式与Java相同。 在示例中，您所做的是在实际中重载该方法。这就是它们被视为不同的方法。
用于覆盖方法名称，即。 名称，签名，类型必须相同。