scala - 为什么 Scala 在与 @ 进行模式匹配时不推断类型参数

Question

我正在使用 Scala 2.10.4 和 akka 2.3.4。我遇到了一个问题，类型推断没有按我预期的方式运行。

下面的代码说明了我正在经历的一个例子。我有一个用名为 MyMessage 的 id 包装消息的案例类。它使用消息的类型进行参数化。然后我有一个名为 MyPayload 的负载，其中包含一个 String。

在一个 actor 中(这里我只是使用一个名为 MyObject 的常规对象，因为这个问题不是 akka 特有的)我正在进行模式匹配并调用一个对我的有效负载类型进行操作的函数 我的负载。

package so

case class MyMessage[T](id:Long, payload:T)
case class MyPayload(s:String)

object MyObject {
  def receive:PartialFunction[Any, Unit] = {
    case m @ MyMessage(id, MyPayload(s)) =>

      // Doesn't compile
      processPayload(m)

      // Compiles
      processPayload(MyMessage(id, MyPayload(s)))
  }

  def processPayload(m:MyMessage[MyPayload]) = {
    println(m)
  }
}

由于我不明白的原因，使用 @ 和未应用的案例类进行模式修补不会推断 MyMessage[T] 的类型参数。在上面的代码中，我预计 m 的类型为 MyMessage[MyPayload]。但是，当我编译时，它认为类型是 MyMessage[Any]。

[error] PatternMatch.scala:9: type mismatch;
[error]  found   : so.MyMessage[Any]
[error]  required: so.MyMessage[so.MyPayload]
[error] Note: Any >: so.MyPayload, but class MyMessage is invariant in type T.
[error] You may wish to define T as -T instead. (SLS 4.5)
[error]       processPayload(m)
[error]                      ^
[error] one error found
[error] (compile:compile) Compilation failed
[error] Total time: 1 s, completed Aug 19, 2014 12:08:04 PM

这是预期的行为吗？如果是这样，我对 Scala 中的类型推断有什么误解？

Answer 1

您不能在模式匹配中提取类型参数 - 这是当前实现和/或运行时的限制。因为类型参数在运行时被删除，恢复它们需要大量开销 - 因此您不能使用在模式匹配中采用类型参数的 unapply 方法。

在您的情况下，它看起来更简单，因为编译器可以从提取器参数中推断出类型。但通常这并不是那么容易，这可能是它在您的情况下甚至不起作用的原因。

参见 this long living ticket关于这个问题。