為什么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