接受任何在traala中扩展trait作为参数的case类

Question

我需要一个函数来接受任何扩展特征的case类.举个例子

假设有一个特征

trait Action {
    def execute(param: Parameters)
}

并且可以传递以下参数,具体取决于它的操作类型

trait Parameters
case class A(x: String, y: Double) extends Parameters
case class B(x: Int, y:String, z: Double) extends Parameters

用户应该能够指定它想要的参数

class Action1 extends Action {
    override def execute(param: A)
}

class Action2 extends Action {
    override def execute(param: B)
}

在打电话的时候

def run(t: Action) {
    t.execute(new A("a", 1.0))
}

怎么做到这一点？当我实现Action1时,它表示我将得到我们无法覆盖的错误,因为trait说execute方法接受Parameters,但是在重写时,我们需要一个扩展Parameters的类.

Answer 1

您需要考虑的是为什么您需要Action拥有该execute方法。也许，您的代码中的其他地方有类似的内容：

def executeAll(actions: Seq[Action], params: Parameters) = 
    actions.foreach { _.execute(params) }

请注意，此处您的actions列表可以包含不同类型的操作。如果其中一些除了 type 的参数A，而另一些则需要它是 type 的B，那么它将不起作用，因为你的params参数不能同时是两者。

因此，您不能重写方法以在子类中采用不同的参数类型（实际上，您可以，但该类型必须是原始类型的超类，而不是子类。他们说函数在它们的参数类型是出于这个原因，但我离题了）。

如果您的Action1andAction2实际上可以通过特征接口一般地处理它们的参数，而不要求它们是特定类型，那么解决方案很简单：只需将重写方法的声明更改为override def execute(params: Parameters).

如果情况并非如此，并且Action1只能处理类型的参数A，那么（1）您的设计可能（尽管不一定）有问题，并且（2）您必须采用参数化解决方案，因为其他答案表明。但随后你就必须改变所有涉及Action以下内容的地方：

def executeAll[T <: Parameters](actions: Seq[Action[T]], params: T) = ...

此声明限制参数的类型params以匹配列表中的操作所期望的类型，这样就不会被错误地Action1.execute调用。B

现在，正如您在另一个答案的评论中提到的，您不能混合不同类型的操作，因为它没有意义：它们本质上是不同的类。如果您不打算使用该execute方法，而只想在某段代码周围传递不同操作的列表，则可以使用通配符语法：

val actions: List[Action[_] = List(Action1(...), Action2(...))

再次强调，此列表可以用作任何类型操作的通用容器，但您不能使用它来通用应用该execute方法，因为这需要参数同时具有不同类型。