覆盖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似乎没有被识别为环境[整数]：

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

注意：MyEvent类的超类包含以下非最终成员，命名为exec： def exec（t：main.vub.lidibm.test.环境[整数]）：单位

有没有可能做到这一点，或者有没有模式可以绕过这个问题。

Answer 1

因为重写在方法的参数类型中不是多态的。它与Java中的工作方式相同。在这个例子中，您所做的是在现实中重载该方法。也就是说，它们被视为不同的方法<重写方法名称，即名称、签名、类型必须相同。

Answer 2

您不能缩小方法的签名范围；它不再是同一个方法了。在您的情况下，您不能覆盖

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

具有

override def exec(e: MyEnvironment): Unit 

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

如果希望它工作，则需要在两个签名中使用相同的类型（请注意，如果使用上界，例如T