Tại sao trình biên dịch Java phàn nàn về việc sử dụng foreach với một kiểu thô?

Question

Tôi gặp lỗi trình biên dịch lạ khi sử dụng generics trong vòng lặp for-each trong Java. Đây có phải là lỗi trình biên dịch Java hay tôi thực sự thiếu một thứ gì đó ở đây?

Dưới đây là toàn bộ lớp học của tôi:

public class Generics<T extends Object> { 
    public Generics(T myObject){ 
    // I didn't really need myObject 
    } 

    public List<String> getList(){ 
    List<String> list = new ArrayList<String>(); 
    list.add("w00t StackOverflow"); 
    return list; 
    } 

    public static void main(String...a){ 
    Generics generics = new Generics(new Object()); 
    for(String s : generics.getList()){ 
     System.out.println(s); 
    } 
    } 
} 

Trình biên dịch được phàn nàn về phù hợp với for-each: "Loại không phù hợp có thể không chuyển đổi từ loại nguyên tố đối tượng để String"
Nếu tôi thực hiện thay đổi tinh tế này, nó biên dịch:

public static void main(String...a){ 
    Generics<?> generics = new Generics(new Object()); 
    for(String s : generics.getList()){ 
    System.out.println(s); 
    } 
} 

Tôi biết getList() không Generics sử dụng, nhưng nó sử dụng chúng trong những gì tôi nghĩ là một cách hoàn toàn không liên quan. Tôi có thể hiểu điều này nếu tôi cố gắng lặp lại một thứ gì đó thuộc loại T và getList() trả về một số List<T> hoặc một cái gì đó, nhưng đó không phải là trường hợp ở đây. Kiểu trả về của getList() hoàn toàn không liên quan gì đến T và không nên quan tâm liệu tôi có sử dụng kiểu thô cho đối tượng Generics của mình hay không ... đúng không? Những thứ này không hoàn toàn không liên quan, hay tôi thực sự thiếu một thứ gì đó ở đây?

Lưu ý rằng mã cũng biên dịch nếu tôi làm điều này, mà tôi nghĩ cần phải có được tương đương với người đầu tiên cũng như:

public static void main(String...a){ 
    Generics generics = new Generics(new Object()); 
    List<String> list = generics.getList(); 
    for(String s : list){ 
    System.out.println(s); 
    } 
} 

Answer 1

Sự khác biệt là khi bạn sử dụng loại thô, tất cả tham chiếu chung trong chữ ký thành viên cũng được chuyển đổi thành dạng thô của chúng. Vì vậy, hiệu quả bạn đang gọi điện thoại một phương pháp mà bây giờ có một chữ ký như thế này:

List getList() 

Bây giờ là tại sao phiên bản cuối cùng của bạn biên dịch - mặc dù nó không, có một cảnh báo nếu bạn sử dụng -Xlint:

Generics.java:16: warning: [unchecked] unchecked conversion 
    List<String> list = generics.getList(); 
             ^

này tương tự như:

List list = new ArrayList(); 
List<String> strings = list; 

... mà cũng biên dịch, nhưng với một cảnh báo dưới -Xlint.

Đạo đức của câu chuyện: không sử dụng các loại thô!

Answer 2

Thay đổi dòng

Generics generics = new Generics(new Object()); 

để

Generics<?> generics = new Generics<Object>(new Object()); 

Gốc của sự cố của bạn là bạn đang sử dụng raw type để loạiPhương thứclà List, không phải List<String>.

Answer 3

Tôi đã thực hiện một vài điều chỉnh cho mã của bạn. Bạn thấy trong bình luận của bạn, bạn không cần Object trong constructor của bạn, do đó, cho phép loại bỏ điều đó để tránh bất kỳ sự nhầm lẫn.Thứ hai, nếu Generics sẽ là chung chung, khởi tạo nó đúng

Dưới đây là những gì các chính mới sẽ trông như

public static void main(String...a){ 
    Generics<String> generics = new Generics<String>(); 
    for(String s : generics.getList()){ 
     System.out.println(s); 
    } 
    }