用于模式匹配的Scala类型擦除

Question

我一直在论坛和谷歌搜索为Scala键入擦除问题的答案.但是,我找不到任何可以回答我问题的内容.

我在与ParamClass的类型参数匹配的对象上进行模式匹配.我需要将传入对象的类型匹配到bar方法.我见过像这样的解决方案

bar[X](a : X)(implicit m : Manifest[X])

这将解决我的问题,但我不能使用它,因为bar方法是一个重写的方法.(实际上是Akka actor框架中的接收部分功能).代码如下所示,应该是自我解释的:

class ParamClass[A : Manifest] {
  def bar(x : Any) = x match {
    case a: A => println("Found A: " + a)
    case _ =>    println("No match: " + x)
  }
}

object ErasureIssue {
  def main(args: Array[String]) {
    val clz = new ParamClass[Int]
    clz.bar("faf")
    clz.bar(2.3)
    clz.bar(12)   // this should match, but does not
  }
}

ErasureIssue.main(null)

非常感谢任何有关解决此问题的帮助.我正在使用Scala 2.9.1,BTW.

-J

Answer 1

从理论上讲,你可以bar像这样检查:x.getClass == implicitly[Manifest[A]].erasure,但是对于原始类型,例如Int清单正确删除的类型Int,但是bar用盒装类型调用java.lang.Integer... :-(

您可能需要A成为一个AnyRef盒子清单:

class ParamClass[A <: AnyRef : Manifest] {
  def bar(x : Any) = x match {
    case _ if x.getClass == implicitly[Manifest[A]].erasure =>
      println("Found A: " + x.asInstanceOf[A])
    case _ => println("No match: " + x)
  }
}

object ErasureIssue {
  def main(args: Array[String]) {
    val clz = new ParamClass[Integer] // not pretty...
    clz.bar("faf")
    clz.bar(2.3)
    clz.bar(12)   // ok
  }
}

ErasureIssue.main(null)

鉴于您需要构造原始数组,您可以直接存储盒装类,而不受未装箱清单的影响:

object ParamClass {
  def apply[A](implicit mf: Manifest[A]) = {
    val clazz = mf match {
      case Manifest.Int => classOf[java.lang.Integer] // boxed!
      case Manifest.Boolean => classOf[java.lang.Boolean]
      case _ => mf.erasure
    }
    new ParamClass[A](clazz)
  }
}
class ParamClass[A] private[ParamClass](clazz: Class[_])(implicit mf: Manifest[A]) {
  def bar(x : Any) = x match {
    case _ if x.getClass == clazz =>
      println("Found A: " + x.asInstanceOf[A])
    case _ => println("No match: " + x)
  }

  def newArray(size: Int) = new Array[A](size)

  override def toString = "ParamClass[" + mf + "]"
}

val pi = ParamClass[Int]
pi.bar("faf")
pi.bar(12)
pi.newArray(4)

val ps = ParamClass[String]
ps.bar("faf")
ps.bar(12)
ps.newArray(4)