Scala 2.10 TypeTag 用法

我正在挖掘新的 scala 反射 api，但无法弄清楚为什么以下代码片段不能按预期工作。给定层次结构（尽力简化）：

import scala.reflect.runtime.universe._

trait TF[A] {
  implicit def t: TypeTag[A]

  def f[T <: A: TypeTag]: PartialFunction[Any, A] = {
    case msg: T if typeOf[T] =:= typeOf[A] => msg
  }
}

class TFilter[T: TypeTag] extends TF[T] {
  def t = typeTag[T]
}

case class Foo(x: Int)

我期待方法f过滤给定类型的对象。所以下面的代码片段应该返回Seq[Foo]

val messages = Seq(1, "hello", Foo(1))

val tFilter = new TFilter[Foo]
messages collect tFilter.f[Foo]

它实际上返回Seq[Foo]但其他消息未经过滤，这听起来像是一个错误。

res1: Seq[Foo] = List(1, hello, Foo(1))

Question。我正在使用吗TypeTag错误还是新反射API的缺陷？

PS0。尝试过Scala 2.10.0-RC1 and 2.10.0-RC2

PS1。解决方法是更换TypeTag with Manifest，所以用下面的代码collect按顺序将返回List(Foo(1))正如预期的那样。

trait MF[A] {
  implicit def m: Manifest[A]

  def f[T <: A: Manifest]: PartialFunction[Any, A] = {
    case msg: T if typeOf[T] =:= typeOf[A] => msg
  }
}

class MFilter[T: Manifest] extends MF[T] {
  def m = manifest[T]
}

Update: 和新的一样Scala 2.10.0-RC2发布。

所以我认为这里的关键问题是你需要匹配类型msg，但它的编译时类型是Any（来自PartialFunction宣言）。本质上，你想要一个不同的TypeTag对于你的每个元素List[Any]。但由于它们都有编译时类型Any由于所有的都被放入同一个列表中，你不会得到一个TypeTag这比那更具体。

我想你可能想做的是使用ClassTag代替TypeTag:

trait TF[A] {
  implicit def t: ClassTag[A]

  def f: PartialFunction[Any, A] = {
    case msg: A => msg
  }
}

class TFilter[T: ClassTag] extends TF[T] {
  def t = classTag[T]
}

case class Foo(x: Int)

val messages = Seq(1, "hello", Foo(1), List(1), List("a"))
messages collect new TFilter[Foo].f // produces List(Foo(1))

As 阿吉兰指出 https://stackoverflow.com/a/13234888/384641，就像Manifest版本，您必须了解运行时类型的所有限制，包括擦除和装箱问题：

messages collect new TFilter[List[Int]].f // produces List(List(1), List("a"))
messages collect new TFilter[Int].f // produces List()
messages collect new TFilter[java.lang.Integer].f // produces List(1)

关于如何制作有一些建议TypeTag对于模式匹配更有用（例如SI-6517 https://issues.scala-lang.org/browse/SI-6517），但我认为只有当您与具有有用的对象进行匹配时，这些才会有帮助TypeTag，不是编译时类型为Any.