[英]Scala type erasure for pattern matching
我一直在论坛和谷歌搜索为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
从理论上讲,你可以像这样检查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)
如果您尝试使用-unchecked进行编译,则会立即收到警告。
test.scala:3:警告:类型模式A中的抽象类型A未被选中,因为它被擦除情况a消除了:A => println(“找到A:”+ a)
如果您现在想要更深入,可以使用scalac -print
[[syntax trees at end of cleanup]]// Scala source: test.scala
package <empty> {
class ParamClass extends java.lang.Object with ScalaObject {
def bar(x: java.lang.Object): Unit = {
<synthetic> val temp1: java.lang.Object = x;
if (temp1.$isInstanceOf[java.lang.Object]())
{
scala.this.Predef.println("Found A: ".+(temp1))
}
else
{
scala.this.Predef.println("No match: ".+(x))
}
};
def this(implicit evidence$1: scala.reflect.Manifest): ParamClass = {
ParamClass.super.this();
()
}
};
final object ErasureIssue extends java.lang.Object with ScalaObject {
def main(args: Array[java.lang.String]): Unit = {
val clz: ParamClass = new ParamClass(reflect.this.Manifest.Int());
clz.bar("faf");
clz.bar(scala.Double.box(2.3));
clz.bar(scala.Int.box(12))
};
def this(): object ErasureIssue = {
ErasureIssue.super.this();
()
}
}
}
现在看到这段代码,您可以看到您的A已经变成了一个java.lang.Object,这会导致所有参数都与该子句匹配
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.