为什么asInstanceOf不会抛出ClassCastException？

Question

为什么asInstanceOf不会抛出ClassCastException？

scala> List("a").asInstanceOf[List[Int]]
res34: List[Int] = List(a)

Answer 1

来自scaladoc:

请注意,演员在运行时的成功是以Scala的擦除语义为模.因此,表达式1.asInstanceOf [String]将在运行时抛出ClassCastException,而表达式List(1).asInstanceOf [List [String]]则不会.在后一个示例中,因为类型参数作为编译的一部分被擦除,所以不可能检查列表的内容是否是所请求的类型.

如果您尝试访问变量或映射转换,则correclty会抛出异常:

scala> List("a").asInstanceOf[List[Int]]
res0: List[Int] = List(a)

scala> res0
res1: List[Int] = List(a)

scala> res0(0)
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer

List("a").map(_.asInstanceOf[Int])
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer