Tính đa hình nâng cao trong Java

Question

Tôi có các lớp học lập trình nâng cao tại trường đại học của mình và tôi gặp một chút rắc rối khi hiểu mã này hoạt động như thế nào.

public final class GenericClass<T> { 
    private void overloadedMethod(Collection<?> o) { 
     System.out.println("Collection<?>"); 
    } 

    private void overloadedMethod(List<Number> o) { 
     System.out.println("List<Number>"); 
    } 

    private void overloadedMethod(ArrayList<Integer> o) { 
     System.out.println("ArrayList<Integer>"); 
    } 

    public void method(List<T> l) { 
     overloadedMethod(l); 
    } 

    public static void main(String[] args) { 
     GenericClass<Integer> test = new GenericClass<Integer>(); 
     test.method(new ArrayList<Integer>()); 
    } 
} 

Tại sao mã này in "Bộ sưu tập <? >"?

Answer 1

Tuyên bố method(List<T> l) không chỉ định bất kỳ giới hạn nào về loại T. Không có gì đảm bảo rằng T là Số hoặc một phân lớp của Số. Do đó, trình biên dịch chỉ có thể quyết định rằng phương thức này gọi là overloadedMethod(Collection<?> o).

Hãy nhớ rằng: sau khi biên dịch, thông tin về generics không còn có sẵn trong các tệp lớp.

Answer 2

Bất cứ khi nào bạn định nghĩa một kiểu generic, một loại nguyên liệu tương ứng sẽ tự động cung cấp Phương pháp này

public void method(List<T> l) { 

} 

được thay thế với

public void method(List<Object> l) { 

} 

Nếu bạn đọc về các loại ký tự đại diện, bạn sẽ thấy rằng List<Number> và List<Object> hoặc ArrayList<Integer> và List<Object> không có bất kỳ mối quan hệ loại nào. List<Object> là một loại phụ của Collecion<?> do đó phương pháp này được gọi.

Answer 3

khi bạn đối phó với phương pháp quá tải bạn phải đặt ba khái niệm trong tâm trí của bạn:

1. Mở rộng
2. Boxing
3. Var_args

vấn đề của bạn nằm ở điểm đầu tiên được mở rộng , trình biên dịch java ưu tiên cho từng khái niệm này theo thứ tự như chúng được liệt kê ở trên, vì vậy nó thích mở rộng và khi bạn gọi phương thức của mình là test.method(new ArrayList<Integer>()); trình biên dịch phát hiện rằng ArrayList<Integer>() có thể được mở rộng thành Collection<?> và vì nó có mức độ ưu tiên cao nhất, hãy gọi các phiên bản này và bỏ qua các phiên bản khác Lưu ý: nếu bạn thay đổi khai báo hai phương thức còn lại thành private void overloadedMethod(ArrayList<?> o) và private void overloadedMethod(List<?> o) trình biên dịch cũng sẽ gọi số Collection<?> phiên bản bởi vì đó là ưa thích một