Java Generics wildcard mở rộng lớp thức

Question

Tại sao Java không ném bất kỳ cảnh báo khi biên dịch của tôi TestGenericsclass, xem xét rằng Stringclass được final và không thể mở rộng?

import java.util.*; 
    public class TestGenerics { 
     public void addStrings(List<? extends String> list) { 
      // some code here 
     } 
    } 
} 

Answer 1

Hãy nói rằng tôi đã có một phương pháp như thế này:

public List<? extends T> filterOutNulls(List<T> input) { ... 

Cấp, không phải là chữ ký tốt nhất trên thế giới, nhưng vẫn hoàn toàn hợp pháp. Điều gì sẽ xảy ra nếu tôi đã chuyển một số List<String> cho phương thức đó? Theo chữ ký, nó trả về một List<? extends String>. Nếu Java không cho phép loại đó, nó sẽ không thể sử dụng phương thức này cho List<String> (hoặc ít nhất, nó sẽ không thể sử dụng giá trị trả về).

secondarily, cú pháp extends vẫn còn hữu ích trong trường hợp này, vì List<String> và List<? extends String> có những hạn chế khác nhau - đặc biệt, bạn không thể thêm bất cứ điều gì nhưng một null đen để List<? extends String>. Thỉnh thoảng tôi sẽ sử dụng ? extends để biểu thị rằng bộ sưu tập là chỉ đọc (vì chỉ T mà bạn có thể chuyển là null) và ? super để biểu thị chỉ ghi (vì bạn chỉ có thể nhận được T s là Object). Đây không phải là hoàn toàn đánh lừa bằng chứng (bạn vẫn có thể gọi loại bỏ phương pháp, vượt qua trong null s, downcast, vv) nhưng phục vụ như một lời nhắc nhở nhẹ nhàng về cách bộ sưu tập có thể có nghĩa là để được sử dụng.

Answer 2

Trình biên dịch không thực sự lưu ý thực tế đó, bởi vì nó không quan trọng. String s vẫn được phép trong danh sách và trong sản phẩm cuối cùng, không thể tìm thấy bất kỳ điều gì mở rộng String. Sau erasure, nó đi ra như thế này:

public void addStrings(List list) 

Như bạn có thể thấy, hiện nay không có lời đề nghị của một lớp mở rộng String. Nếu bạn tạo một lớp mở rộng String, đó sẽ là lỗi biên dịch. Không cần javac phải lo lắng về điều đó.

Answer 3

Các hệ thống kiểu không xem xét List<String> và List<? extends String> tương đương, mặc dù tại thời điểm biên dịch, String không có phân nhóm khác hơn là chính nó, do đó bất kỳ đối tượng đó là một List<? extends String> cũng phải là một List<String>.

Một cách giải thích là final không phải là cuối cùng - đó là ok để loại bỏ final từ một lớp học và không có gì nên phá vỡ: http://docs.oracle.com/javase/specs/jls/se7/html/jls-13.html#jls-13.4.2

Đó là không phải không có ưu tiên mà các hệ thống kiểu mất final xem xét; ví dụ: chúng tôi không thể truyền một số String đến Runnable, vì trình biên dịch cho rằng nếu đối tượng là String, nó không thể là một số lớp con không xác định thực hiện Runnable.

Nếu chúng ta muốn generics cũng làm cho lý luận như thế và suy ra rằng List<String> và List<? extends String> là tương đương, nó sẽ làm cho các quy tắc gõ phức tạp hơn.