Java Generics - Lớp một lớp con của chính nó?

Question

Tôi hiện đang đọc Java Generics và tôi hơi bị kẹt khi nói đến Ký tự đại diện.

Tôi đã được cấp phương pháp này từ lớp Collections:

public void <T> copy(List<? super T> dest, List<? extends T> src) { 
    for(int i = 0; i < src.size(); i++) { 
     dest.set(i, src.get(i)); 
    } 
} 

Tôi đã sau đó được cho biết rằng người ta có thể gọi phương thức như thế này:

List<Object> objs = new ArrayList<Object>(); 
List<Integer> ints = new ArrayList<Integer>(); 
Collections.copy(objs, ints); 

Khi tham số loại có được để lại cho trình biên dịch để xác định, cuốn sách nói rằng trình biên dịch chọn tham số kiểu là Integer.

Nhưng làm cách nào có thể?

Nếu được lấy là Số nguyên, điều này có nghĩa là trong khai báo phương thức -
List<? extends T> sẽ dịch sang List<Integer extends Integer>.

Đây có phải là nhầm lẫn hoặc có các quy tắc khác nhau liên quan đến Generics không? Tôi đã googled xung quanh và phần lớn các kết quả nói rằng một lớp không thể là một lớp con của chính nó.

Answer 1

Không, đó không phải là lỗi.

? extends Integer có nghĩa là: bất kỳ lớp nào hoặc mở rộng Số nguyên (hoặc triển khai Số nguyên, nếu Số nguyên là giao diện).

Điều tương tự cũng xảy ra với ? super Integer, có nghĩa là: bất kỳ lớp nào là Số nguyên hoặc là siêu lớp hoặc siêu giao diện của Số nguyên.