斯卡拉:谁能解释一下?

时间:2013-09-12 19:47:46

标签: scala generics

考虑以下Scala代码:

case class Data[T](value: Option[T]) {
  def get: T = try {
    doGet
  } catch {
    case e: Exception => throw new IllegalArgumentException
  }

  def doGet: T = value match {
    case Some(v) => v
    case None => ().asInstanceOf[T]
  }
}

Data[Unit](None).get
Data[Integer](None).get // which exception is thrown here?

[剧透]这是ClassCastException;谁可以解释为什么它没有被IllegalArgumentException抓住并取代?

PS:要抢占任何关于我为什么要这样做的问题:这是一些代码的简化版本,它使用json4s将一些字符串解析为Option[T];如果解析失败,则返回None,如果TUnit则表示正常,如果T为其他类型则不正常。

1 个答案:

答案 0 :(得分:22)

说明

此处不会抛出异常:

().asInstanceOf[T]

因为这是一个未经检查的强制转换 - JVM无法验证是否可以将()强制转换为T,因为由于类型擦除而没有关于T的信息。

相反,抛出异常

Data[Integer](None).get

因为get的结果被强制转换为Integer,这是JVM可以验证的内容。因此,ClassCastException实际上是在get之外抛出的。

BTW,javac总是警告未经检查的演员,我不知道为什么scalac没有。

解决方法

在某种程度上,可以使用ClassTag和基于反射的转换来解决类型擦除问题:

import scala.reflect.{ClassTag, classTag}

case class Data[T: ClassTag](value: Option[T]) {
  def get: T = try {
    doGet
  } catch {
    case e: Exception => throw new IllegalArgumentException
  }

  def doGet: T = value match {
    case Some(v) => v
    case None => classTag[T].runtimeClass.asInstanceOf[Class[T]].cast(())
  }
}

Hackaround

对于此用例,您可以直接检查ClassTag

scala> case class Data[T](value: Option[T])(implicit t: ClassTag[T]) {
     | def get: T = value getOrElse (t match {
     |   case ClassTag.Unit => ().asInstanceOf[T]
     |   case _ => throw new IllegalArgumentException
     | })
     | }
defined class Data

scala> Data[Unit](None)
res6: Data[Unit] = Data(None)

scala> .get

scala> Data[Int](None).get
java.lang.IllegalArgumentException