Java Generics đặt trên Bản đồ <String,? mở rộng Danh sách <String>>

Question

Có cách nào để thực hiện việc triển khai sau theo cách an toàn không?

public void myMethod(Map<String, ? extends List<String>> map) 
{ 
    map.put("foo", Collections.singletonList("bar"); 
} 

Triển khai trên không hoạt động. Nó yêu cầu Map<String, ? super List<String>> để biên dịch phương thức map.put() chính xác. Nhưng myMethod sẽ không chấp nhận bất kỳ subtype nào của List theo cách này. Vì vậy, tôi phải sử dụng Map<String, ? extends List<String>> để thay thế. Làm thế nào tôi có thể giải quyết vấn đề này một cách an toàn?

Answer 1

public void myMethod(Map<String, List<String>> map) { 
    map.put("foo", Collections.singletonList("bar")); 
} 

Bạn không thể đặt một List (kiểu trả về của Collections.singletonList() thành một Map của ? extends List từ các loại thực tế có thể là bất kỳ thực hiện List. Ví dụ, nó là không an toàn để đặt một generic List thành một Map<String,LinkedList> kể từ khi List có thể không phải một LinkedList. Tuy nhiên, chúng ta có thể dễ dàng đặt một LinkedList thành một Map của <String,List>.

tôi nghĩ rằng bạn w ere hơn suy nghĩ generics của bạn. Bạn không phải sử dụng ? extends cho một lớp học không chung chung. Ví dụ: List<Object> sẽ giữ bất kỳ Object, không cần thiết ? extends để thêm đối tượng. A List<List<Foo>> sẽ chỉ chụp List<Foo> đối tượng chứ không phải List<FooSubclass> đối tượng [Lớp chung không kế thừa dựa trên thông số của chúng]. Đây là nơi ? extends được phát. Để thêm cả hai List<Foo> và List<FooSubclass> vào một số List, loại phải là List<List<? extends Foo>>.

Answer 2

Sẽ không Map<String, List<String> hoạt động? Có một số lý do cụ thể bạn phải có một ký tự đại diện ở đó?

Answer 3

Hãy tưởng tượng nếu ai đó đã vượt qua bạn Map<String, ArrayList<String>>. Giá trị bạn đặt vào là kết quả của Collections.singletonList là không phải là an ArrayList.

Bạn không thể chấp nhận bất kỳ loại phụ nào trong Danh sách trong Bản đồ và sau đó hy vọng có thể thêm loại phụ của riêng bạn, có thể không tương thích.

Answer 4

Có một nguyên tắc rất đơn giản khi sử dụng Bộ sưu tập và Generics cùng nhau. Nó được gọi là "Nguyên tắc Nhận và Đặt":

Sử dụng ký tự đại diện "mở rộng" khi bạn chỉ GET giá trị trong bộ sưu tập, sử dụng ký tự đại diện "siêu" khi bạn chỉ PUT giá trị vào bộ sưu tập và không sử dụng bất kỳ ký tự đại diện nào khi bạn muốn cả hai nhận và đặt.

Vì vậy, như bạn thấy, ví dụ ban đầu là không hợp lệ, theo nguyên tắc này.