Danh sách <?> so với Danh sách <? extends Object>

Question

thể trùng lặp:
What’s the difference between <?> and <? extends Object> in Java Generics?

tôi thấy rằng List<?> và List<? extends Object> hành động theo cách tương tự. Đối với tôi, không có sự khác biệt giữa chúng. Nếu tôi không đúng, bạn có thể giải thích cho tôi sự khác biệt không?

import java.util.ArrayList; 
import java.util.List; 

public class TestClass { 

static void func1(List<?> o, Object s) { 
    o.add(null); // only null 
    o.add(s); // wrong 
    o.get(0); // OK 
} 

static void func2(List<? extends Object> o, Object s) { 
    o.add(null); // only null 
    o.add(s); // wrong 
    o.get(0); // OK 
} 

public static void main(String[] args) { 
    func1(new ArrayList<String>(), new Integer(1)); 
    func2(new ArrayList<String>(), new Integer(1)); 

    List<? extends Object> list1 = new ArrayList<Object>(); 
    List<?> list2 = new ArrayList<Object>(); 

    List<? extends Object> list3 = new ArrayList<String>(); 
    List<?> list4 = new ArrayList<String>(); 
} 
} 

Answer 1

Cả hai đều giống nhau bởi vì tất cả các đối tượng trong Java mở rộng Object. Tôi thích List<?> vì nó ngắn gọn hơn.

Answer 2

Tương tự như cách MyClass extends Object cho mỗi lớp List<? extends Object> giống với List<?>.

Answer 3

Mặc dù tôi là đạo văn Marko, mà tôi xin lỗi, nhận xét của anh ấy là câu trả lời đúng.

Không có sự khác biệt, bởi vì hoàn toàn mọi loại extends Object.

Answer 4

Đó là phức tạp ...

Đối với bất kỳ loại biến T, spec nói http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.4

Mỗi loại biến ... có một ràng buộc. Nếu không có ràng buộc nào được khai báo cho một biến kiểu, thì Object được giả định.

Người ta cũng nghĩ rằng đó cũng đúng với ký tự đại diện và ? chỉ là viết tắt của ? extends Object.

Tuy nhiên, tìm kiếm thông qua thông số kỹ thuật, không có bằng chứng nào cho thấy ký tự đại diện phải có giới hạn trên (hoặc giới hạn dưới). "Không giới hạn" ? được xử lý nhất quán rõ ràng từ các ký tự đại diện bị chặn.

Chúng ta có thể suy ra từ quy tắc subtyping, mà List<?> và List<? extends Object> là tuýp phụ của nhau, ví dụ, họ cơ bản cùng loại. (Khoản khấu trừ tùy thuộc vào thực tế là E trong số interface List<E> có giới hạn trên bị ràng buộc Object; nhưng các quy tắc không yêu cầu giới hạn trên ký tự đại diện)

Tuy nhiên, đặc điểm xử lý hai cách khác nhau. Ví dụ http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.7List<?> là một loại reifiable, nhưng List<? extends Object> là không, có nghĩa là

// ok 
    List<?>[] xx = {}; 
    // fail 
    List<? extends Object>[] yy = {}; 

    // ok 
    boolean b1 = (y instanceof List<?>); 
    // fail 
    boolean b2 = (y instanceof List<? extends Object>); 

Tôi không hiểu tại sao mặc dù. Có vẻ như hoàn toàn tốt khi nói một ký tự đại diện phải có giới hạn trên và giới hạn dưới, mặc định là Object và null type.