Tại sao phương thức gọi với trả về chung trên một lớp chung được coi là không an toàn bởi javac?

Question

Xét đoạn mã sau:

public class Main { 
    public static class NormalClass { 
     public Class<Integer> method() { 
      return Integer.class; 
     } 
    } 

    public static class GenericClass<T> { 
     public Class<Integer> method() { 
      return Integer.class; 
     } 
    } 

    public static void main(String... args) { 
     NormalClass safeInstance = new NormalClass(); 
     Class<Integer> safeValue = safeInstance.method(); 

     GenericClass unsafeInstance = new GenericClass(); 
     Class<Integer> unsafeValue = unsafeInstance.method(); 
    } 
} 

Nếu tôi biên dịch nó với:

$ javac -Xlint:unchecked Main.java 

Nó trả về:

Main.java:16: warning: [unchecked] unchecked conversion 
     Class<Integer> unsafeValue = unsafeInstance.method(); 
                 ^
    required: Class<Integer> 
    found: Class 
1 warning 

Xin lưu ý rằng chỉ có phương pháp chung được coi là không an toàn, ngay cả khi không có loại chung nào được tham chiếu trên kiểu trả về.

Đây có phải là lỗi javac không? Hoặc có một lý do sâu sắc hơn cho điều này tôi không tính đến?

Answer 1

Các loại thô được phép đảm bảo tính tương thích với mã được viết trước khi Generics được giới thiệu. Các kiểu thô hoạt động bằng cách đơn giản bỏ qua tất cả thông tin loại từ tất cả đối số phương thức và kiểu trả về, thậm chí nhập thông tin không liên quan đến tham số kiểu của lớp. Điều này có thể dẫn đến kết quả lạ, như bạn đã tìm thấy. Nhưng nó thậm chí còn xa lạ hơn thế này. Ví dụ, biên dịch này.

public class Main { 

    public static class GenericClass<T> { 
     public void foo(Class<Integer> clazz) { 
     } 
    } 

    public static void main(String... args) { 
     GenericClass unsafeInstance = new GenericClass(); 
     unsafeInstance.foo(String.class); 
    } 
} 

Answer 2

Để tương thích với trình biên dịch Java 1.4 giả định rằng nếu bạn loại bỏ các đối số chung trên khai báo kiểu cá thể, thì bạn làm việc với phiên bản đặc biệt của lớp không có generics. Và nó đưa ra cảnh báo nếu bạn kết hợp mã Java không chung chung với mã Java 1.5+ chung chung. Đó là dễ dàng hơn so với cố gắng tìm ra liệu kiểu trả về chung của phương thức của bạn có thực sự độc lập với các tham số hay không. Bạn luôn có thể @SuppressWarning nếu bạn không thích nó.

Answer 3

Loại phương thức khởi tạo (§8.8), phương pháp thể hiện (§8.4, §9.4) hoặc trường không tĩnh (§8.3) M của loại thô C không được thừa kế từ các siêu lớp hoặc siêu kết nối là kiểu thô tương ứng với xóa các loại của nó trong việc kê khai chung tương ứng với C.

Java Language Specification

Answer 4

này có thể phải làm với các instantiation của GenericClass mà là một kiểu tham số và do đó gõ luận là cần thiết trong đó. Cảnh báo biến mất nếu chúng ta làm điều gì đó như sau

GenericClass<String> unsafeInstance = new GenericClass<String>(); 
          OR 
GenericClass<?> unsafeInstance = new GenericClass(); 

Theo quan điểm của tôi, tài liệu tham khảo "unsafeInstance" đề cập đến một lớp học mà là chung chung trong tự nhiên như trái ngược với "safeInstance". Do đó trình biên dịch có thể muốn thông tin kiểu được liên kết với tham chiếu trước khi bất kỳ phương thức nào được gọi là sử dụng nó trong mã.