Trộn các tham số kiểu lồng nhau và ký tự đại diện trong Java

Question

Tại sao cố gắng để biên dịch

public class GenericsFail { 
    public static void main(String[] args) { 
     accept(new HashMap<String, List<String>>()); 
    } 

    public static void accept(Map<String, List<?>> multiMap) {} 
} 

cung cấp cho các lỗi

GenericsFail.java:7: error: method accept in class GenericsFail cannot be applied to given types; 
       accept(new HashMap<String, List<String>>()); 
       ^
    required: Map<String,List<?>> 
    found: HashMap<String,List<String>> 
    reason: actual argument HashMap<String,List<String>> cannot be converted to Map<String,List<?>> by method invocation conversion 

Các ký tự đại diện chỉ được phép nếu nó không được lồng vào bên trong List.

Answer 1

Để trở thành tổng quát hơn

void accept(Map<String, ? extends List<?>> multiMap) 

Answer 2

Nguyên nhân là do các ? trong List<?> có thể là "bất cứ điều gì", nhưng một khác nhau "bất cứ điều gì" trong mỗi Map nhập cảnh. Tức là, nó sẽ chấp nhận một số List<String> trong một mục nhập và một số khác là List<Integer>.

Nhưng bạn đang đi qua trong một Map có loại cùng của List trong mỗi entry, vì vậy loại không bị ràng buộc trong cùng một cách hay để cùng mức độ tự do.

Các "sửa chữa" là để khóa các loại đến một loại hình cụ thể, nhưng vẫn là "bất cứ điều gì" - chỉ là cùng "bất cứ điều gì * trong mỗi entry, bằng cách gõ phương pháp:

public static <T> void accept(Map<String, List<T>> multiMap) // complies 

hoặc nếu phương pháp của bạn thực sự không cần phải biết mà loại, sử dụng một ký tự đại diện để bọc các loại:

public static void accept(Map<String, ? extends List<?>> multiMap) // compiles 

phiên bản mới nhất này hoạt động vì các loại danh sách, mặc dù là một ký tự đại diện, được cố định một un đã biết, nhưng nhất quán, hãy nhập khi được gọi.

Tôi tìm phiên bản đã nhập dễ đọc hơn (và mã) và loại có sẵn để sử dụng nếu bạn quyết định sau đó phương pháp của bạn cần biết loại.

Answer 3

Dưới đây là một ví dụ ngắn về việc tại sao các compilator không thể chấp nhận tham số này:

public static void main(String[] args) { 
     //if this would be accepted here ... 
     accept(new HashMap<String, List<String>>()); 
    } 

    public static void accept(Map<String, List<?>> multiMap) { 
     //this is valid considering the type of multiMap parameter, 
     //but would not work with the actual passed parameter. 
     multiMap.put("test", new ArrayList<Integer>()); 
    }