Scala 泛型与任何

Question

在我正在处理的代码中，我有一个名为 SuccessMessage 的类，其中包含字段 actorType（一个枚举）和有效负载。我不确定要制作什么类型的有效载荷。

如果我制作 Any 类型的有效负载，我必须做很多看起来很粗糙的 instanceOf 类型转换，以便稍后在我的代码中在更具体的实现中处理它。

如果我使用泛型并制作 T 类型的有效负载，我的其他类也必须包含 T 类型。例如，在我的一个名为 Commander 的高级特征中，我有一个名为 handleSuccess 的方法，它接收 SuccessMessage ，并且它必须能够接收泛型 T 的成功消息，迫使我的指挥官也属于泛型 T。

我不确定我是否必须在这两个较小的邪恶之间进行选择，或者是否有更好的方法来做到这一点。我必须包含一些生成有效负载的方法，因为成功消息需要不同类型的有效负载。

编辑： 泛型还有一个额外的问题。 Commander 必须能够处理多种不同类型的 SuccessMessage，因此如果在 handleSuccess 中使用 SuccessMessage[T]，强制 Commander 成为 Commander[T]，那么 Commander 将无法处理不同类型的成功消息（我想想，不是 100% 肯定）。

编辑 2： 这里有一点指挥官：

trait Commander {
  def handleSuccess(message: SuccessMessage){
     //based on SuccessMessage.ActorType, do different stuff
  }

class SuccessMessage(val actorType: ActorType, val payload: Option[Any])
class SuccessMessage(val actorType: ActorType, val payload: Option[T])

编辑 3：这是对工作流程的描述，以更好地解释问题。

• Commander 向 Poller 发送消息
  • 轮询器向指挥官发送 SuccessMessage(self, List[String])
• Commander 将 List[String] 发送到 Processor
  • 处理器向指挥官发送 SuccessMessage(self, File)
• 指挥官向上传者发送文件
  • 上传者向指挥官发送 SuccessMessage(self, Boolean)
• 等等。

因此，我们需要 SuccessMessage 采取不同的类型。

Answer 1

除非T 有一些类型界限允许编译器对其行为进行假设，否则您必须将 T 的实例强制转换为某个具体类型才能将它们用于任何明确的目的。 （与Any基本相同的问题）

您可能想查看类型类。然后，您可以为每种类型定义某种处理程序，并使用隐式类型类实例将传入的有效负载与处理程序匹配。 （见https://github.com/mpilquist/simulacrum库）

编辑：此处的示例 -> https://gist.github.com/phaistos/51f0405a2f25812a5780 基本上你最终会得到一个类型类：

@typeclass trait CommanderHandler[A] {
   def handle(payload: A): Unit
}

然后为每种类型创建一个实例，用作有效负载：

implicit val handlerInt: CommanderHandler[Int] = new CommanderHandler[Int] {
  def handle(payload: Int) { /* use the payload here */ }
}

然后你可以创建一个这样的函数来处理它们：

def consumePayload[T](t: T)(implicit h: CommanderHandler[T]) {
  h.handle(t)
}

您为给定类型创建的隐式必须在consumePayload 的调用站点上可用。基本上，您只是将每种类型的处理程序包装在一个漂亮的小包中。

这是迄今为止我为此类事情找到的最简洁的模式。希望能帮助到你。如果您使用 simulacrum，请确保您阅读了文档，您需要在创建类型类后进行一些导入以使其工作。

编辑：作为替代方案，您还可以通过 shapeless 查看多态方法：https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#polymorphic-function-values