爲什麼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]]不會。在後面的例子中，因爲type參數作爲編譯的一部分被擦除，所以不可能檢查列表的內容是否是所請求的類型。

如果您嘗試訪問該變量或它映射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