Generics <? super> wildcard

Question

tôi đã tự hỏi tại sao các bit mã sau đây không làm việc:

Collection <? super String> col = new ArrayList<String>(); 
col.add(new Object());// does not compile 
col.add("yo!");// compiles indeed; 

Nếu loại là <? super String> nó có thể chứa bất cứ điều gì đó là siêu String (String bao gồm) không?

Answer 1

Collection<? super String>, truy cập trực giác của bạn, không có nghĩa là "bộ sưu tập chứa đối tượng thuộc loại String hoặc siêu kiểu của nó". Nó có nghĩa là "col sẽ là một bộ sưu tập chứa một số loại nhất định, mà chính nó là String hoặc siêu kiểu của nó" (chẳng hạn như Object, Serializable hoặc CharSequence).

Cách tốt nhất để suy nghĩ về Collection<? super String> là nó không phải là một loại, như bạn đã quen với Java, nhưng là một mẫu đối với loại kết hợp cụ thể nào.

Bây giờ, điều duy nhất bạn có thể thêm vào bộ sưu tập phù hợp với mẫu trên là String hoặc lớp con của nó (nếu có). Hoàn toàn trái ngược với những gì bạn mong đợi, phải không? Đó là Generics cho bạn.

Answer 2

Với Collection <? super String>, chúng tôi không biết những gì loại của các đối tượng nó chứa chính xác, nhưng chúng ta biết rằng nó phải là một bộ sưu tập của một trong hai String hoặc một số lớp cha của String, tức là nó là an toàn để đặt một String vào nhưng không nhất thiết phải là Object. Ngược lại đối với các phương thức mà lấy thứ ra khỏi bộ sưu tập (ví dụ: khi lặp lại), chúng tôi không thể chắc chắn chúng tôi sẽ nhận lại chuỗi.

Mặt khác với Collection<? extends Foo> chúng tôi biết đó là một bộ sưu tập của một cái gì đó là một trong hai Foo hoặc một số lớp con của Foo, vì vậy chúng ta có thể an toàn mất một cái gì đó từ bộ sưu tập và biết nó sẽ được chuyển nhượng để Foo, nhưng chúng ta có thể 't đặt bất kỳ thứ gì vì chúng tôi không có cách nào biết được loại nào sẽ an toàn.