Penggunaan TypeTag Scala 2.10

Jadi menurut saya masalah utama di sini adalah Anda harus mencocokkan dengan tipe msg, tetapi tipe waktu kompilasinya adalah Any (dari deklarasi PartialFunction). Pada dasarnya, Anda menginginkan TypeTag yang berbeda untuk setiap elemen di List[Any] Anda. Namun karena semuanya memiliki tipe waktu kompilasi Any karena semuanya dimasukkan ke dalam daftar yang sama, Anda tidak akan mendapatkan TypeTag yang lebih spesifik dari itu.

Saya rasa yang mungkin ingin Anda lakukan adalah menggunakan ClassTag alih-alih 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))

Seperti yang Ajran tunjukkan, sama seperti versi Manifest, Anda harus menyadari semua batasan jenis runtime termasuk masalah penghapusan dan tinju:

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)

Ada beberapa saran tentang cara membuat TypeTag lebih berguna untuk pencocokan pola (misalnya SI-6517), tapi menurut saya itu hanya akan membantu ketika Anda mencocokkan objek dengan TypeTag yang berguna, bukan objek dengan tipe waktu kompilasi Any.

sebenarnya Anda tidak memeriksa jenis pesan di sini, kompiler akan memperingatkan Anda bahwa pesan: T telah dihapus, jadi yang perlu Anda periksa hanyalah jenis yang ditentukan pada TFilter sama dengan jenis yang ditentukan pada fungsi f.

Sepertinya pencocokan pola "dibantu" oleh Manifest dan ClassTag, jadi msg: T memang tipe yang benar. Jika Anda mencobanya dengan primitif atau List[T] itu tidak akan berfungsi dengan benar.

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))

Lihat diskusi ini: http://grokbase.com/t/gg/scala-user/126p8eh1w0/how-to-make-typetag-work-in-a-pattern

bug "Gunakan TypeTags saat mencocokkan pola jika tidak, tipe terhapus": di sini

Hanya untuk bersenang-senang:

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])
}

Terima kasih semuanya atas masukannya. Pikirkan, saya telah menemukan alasan mengapa ClassTag harus digunakan dalam pencocokan pola.

Saya berhasil menemukan [SI-5143] Pencocokan pola pada tipe abstrak tidak berfungsi, dan komit terkait menjelaskan bahwa harus ada instance ClassTag yang harus dibuat pola dapat diperiksa.

Jadi, ya, saya salah menggunakan TypeTag; dalam hal pencocokan pola saya harus menggunakan ClassTag.