Использование TypeTag в Scala 2.10

Поэтому я думаю, что ключевая проблема здесь заключается в том, что вам нужно сопоставить тип 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))

Как указывает Аджран, как и в версии 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), но я думаю, что это поможет только тогда, когда вы сопоставляете объект с полезным TypeTag, а не объект с типом времени компиляции Any.

на самом деле вы не проверяете тип msg здесь, компилятор предупредит вас, что msg: T стерто, поэтому все, что вам остается проверить, это то, что тип, определенный в TFilter, совпадает с типом, определенным в функции f.

Похоже, сопоставление с образцом «помогает» Manifest и ClassTag, поэтому msg: T действительно правильный тип. Если вы попробуете это с примитивами или List[T], это не будет работать правильно.

val mFilter = new MFilter[Int]
messages collect mFilter.f[Int] // res31: Seq[Int] = List()

val messages = List(List(1), List("a"))
val mFilter = new MFilter[List[Int]]
messages collect mFilter.f[List[Int]] // res32: List[List[Int]] = List(List(1), List(a))

Посмотрите на это обсуждение: http://grokbase.com/t/gg/scala-user/126p8eh1w0/how-to-make-typetag-work-in-a-pattern

ошибка «Использовать TypeTags при сопоставлении с шаблоном, в противном случае стертые типы»: здесь

Просто для удовольствия:

import scala.reflect._
import scala.reflect.runtime.{currentMirror=>cm,universe=>ru}
import ru._

object Test extends App {
  type MyTag[A] = TypeTag[A]
  //type MyTag[A] = ClassTag[A]

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

    def f[T <: A: MyTag]: PartialFunction[Any, A] = {
      //case msg: T => msg            // ok for ClassTag
      case msg: T @unchecked if matching[T](msg) => msg
      //case msg: T if typeOf[T] =:= typeOf[A] => msg
    }
    def matching[T](a: Any)(implicit tt: TypeTag[T]) =
      (cm reflect a).symbol.toType weak_<:< tt.tpe
  }

  case class TFilter[A: MyTag]() extends TF[A] {
    def t = implicitly[MyTag[A]]
  }

  trait Foo { def x: Int }
  case class Bar(x: Int) extends Foo
  case class Baz(x: Int) extends Foo

  val messages = Seq(1, Bar(0), "hello", Baz(1))
  println(messages collect TFilter[Foo].f[Foo])
  println(messages collect TFilter[Foo].f[Bar])
}

Спасибо всем за отзывы. Думаю, я нашел причину, по которой ClassTag следует использовать при сопоставлении с образцом.

Мне удалось найти [SI-5143] Сопоставление шаблонов для абстрактных типов не работает, и это связанный коммит объясняет, что должен быть экземпляр ClassTag, чтобы сделать проверка шаблона.

Итак, да, я использовал TypeTag неправильно; в случае сопоставления с образцом я должен использовать ClassTag.