Chuỗi được gán cho một Danh sách không có lỗi biên dịch

Question

Như tôi biết, một trong những mục đích chính của Generics trong Java là cung cấp tính an toàn kiểu thời gian biên dịch. Nếu nó được biên dịch, mã sẽ chạy mà không có sự cố.

Sau đó, tại sao mã sau được biên dịch?

public static void main(String[] args) { 
    String s = getList(); 
} 

private static <T extends List> T getList() { 
    return (T)new ArrayList(); 
} 

Nó biên dịch tốt. Trình biên dịch an toàn loại của tôi ở đâu? Phương thức getList() không có điểm chung với lớp String.

Answer 1

Đây không phải là vấn đề loại tẩy xóa, nhưng gần như ngược lại: Bạn gặp vấn đề khi chạy, khi hệ thống biết loại thực tế, nhưng không phải lúc biên dịch. Lý do tại sao biên dịch này là List là một giao diện. Theo như trình biên dịch có liên quan, một lớp con của String có thể thực sự triển khai giao diện đó, vì vậy lý do trình biên dịch có thể là các tình huống thời gian chạy hợp lệ mà đối tượng thực sự trả về là String cũng là List. Trình biên dịch không xem xét rằng String là cuối cùng, và do đó không thể thực sự tạo ra một lớp List -implementing String.

Vì lý do cuối cùng không được xem xét trong quá trình biên soạn, nhận xét của Bohemian cho câu hỏi đưa ra một giải thích tốt.