Tại sao `.asInstanceOf` đôi khi ném, và đôi khi không?

Question

Tôi đã cố gắng trả lời câu hỏi this, như tôi nghĩ tôi biết câu trả lời. Hóa ra, tôi không biết khá đủ:/

Dưới đây là một thử nghiệm tôi đã thực hiện:

class Inst[T] { 
    def is(x: Any) = scala.util.Try { as(x) }.isSuccess 
    def as(x: Any): T = x.asInstanceOf[T] 
} 

scala> new Inst[String].is(3) 
res17: Boolean = true 

scala> new Inst[String].as(3) 
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String 
... 33 elided 

gì đang xảy ra ở đây? Tại sao chỉ cuộc gọi thứ hai đến số as ném, nhưng không phải cuộc gọi đầu tiên?

Answer 1

Điều này là do lớp học-cast-exception chỉ được ném khi bạn làm điều gì đó với giá trị, gọi một phương thức trên nó sau khi diễn viên. Trong ví dụ REPL, bạn sẽ có một cuộc gọi toString trong trường hợp thứ hai. Lưu ý:

new Inst[String].as(3);()   // nothing happens 
new Inst[String].as(3).toString;() // exception 

Lý do tại sao điều này có bước thêm là Inst[T] là generic với kiểu tham số T được xoá hoàn toàn trong thời gian chạy; chỉ khi trang web gọi (có kiến ​​thức tĩnh về loại T) cố gọi phương thức trên kết quả, kiểm tra loại thực tế xảy ra.

---

Đối với câu hỏi tiếp theo của bạn, toString được định nghĩa trên bất kỳ đối tượng và kể từ T là chung chung bạn có một số nguyên đóng hộp (<: AnyRef) và toString và println thành công trong phương pháp is. Vì vậy, một ví dụ khác nơi Try sẽ thất bại là thế này:

class Inst[T] { 
    def foo(x: Any)(implicit ev: T <:< String) = scala.util.Try { 
    ev(as(x)).reverse 
    }.isSuccess 
} 

new Inst[String].foo(3) // false! 

Answer 2

Trong khi @ 0 __ 's câu trả lời giải thích lý do tại sao nó không hoạt động, đây là cách để làm cho nó làm việc:

class Inst[T](implicit tag: scala.reflect.ClassTag[T]) { 
    def is(x: Any) = tag.runtimeClass.isInstance(x) 
    // scala.util.Try { as(x) }.isSuccess will work as well 
    def as(x: Any): T = tag.runtimeClass.cast(x).asInstanceOf[T] 
} 

object Main extends App { 
    println(new Inst[String].is(3)) 
    println(new Inst[String].as(3)) 
} 


false 
java.lang.ClassCastException: Cannot cast java.lang.Integer to java.lang.String 
    at java.lang.Class.cast(Class.java:3369) 
...