Các loại không tương thích với Generics

Question

Vượt qua các nguyên nhân lỗi không tương thích mà tôi không hiểu.

Tại sao đoạn mã này sai?

List<List<String>> a = new ArrayList<>(); 
List b = a; // is ok 
List<List> c = a; // incompatible types 

Answer 1

Nó được mô tả here. Khả năng tương thích Supertype chỉ hoạt động ở cấp độ 'bên ngoài', nhưng không phải là 'bên trong' trên các thông số loại. Nó không trực quan, nhưng đó là cách nó hoạt động ... Ngoài ra, List là một loại thô, và nó hoạt động hơi khác so với List<Object> - được mô tả here.

Answer 2

List<List> 

là ngầm

List<List<Object>>

mà không phải là một phụ huynh của

List<List<String>> 

lý do tại sao nó thành công trong trường hợp thứ nhất là vì suy luận kiểu. Trình biên dịch về cơ bản sẽ kiểm tra loại là cần thiết cho sự biểu hiện có ý nghĩa và nó sẽ tạo ra

List<List<String>> a = b; 

Trong trường hợp thứ hai nó sẽ mặc định

List<List<Object>> a = b // which does not compile 

Answer 3

Viết

List b = a; 

Không liên quan đến Generics. Nó định nghĩa một kiểu List thô có tên b mà có thể lấy bất kỳ đối tượng nào như là phần tử của nó.

Đừng so sánh nó với

List<List> c = a; 

vì nó liên quan đến Generics và đó là lý do trình biên dịch sẽ thực thi loại tương thích kiểm tra ở đây.

Answer 4

Câu trả lời ngắn gọn: vì danh sách c của bạn chứa danh sách có tất cả các loại đối tượng.
Ví dụ: bạn cũng có thể thêm Integer đối tượng.
Và a danh sách chỉ có thể chứa String đối tượng.