Почему компилятор Java жалуется на использование foreach с сырым типом?

Question

У меня возникла странная ошибка компилятора при использовании генериков в цикле for-each в Java. Является ли это ошибкой компилятора Java, или я действительно что-то пропустил?

Вот весь мой класс:

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); 
    } 
    } 
} 

Компилятор жалуется на линии с для-каждого: «Несоответствие типа не может преобразовать из типа элемента объекта в строку.»
Если бы я сделать это тонкое изменение, оно составляет:

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

Я знаю, что getList() делает использование дженериков, но он использует их в том, что я думал, что был совершенно не связан способом. Я мог это понять, если бы пытался перебрать что-то типа T и getList() вернул List<T> или что-то в этом роде, но здесь это не так. Тип возврата getList() не должен иметь абсолютно никакого отношения к T, и не должно волновать, использую ли я тип raw для моего объекта Generics или нет ... правильно? Разве это не должно быть совершенно несвязанным, или я действительно чего-то здесь не вижу?

Обратите внимание, что код также компилируется, если я это делаю, что я думал, что должно было быть эквивалентно первому, а также:

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

Разница в том, что при использовании необработанного типа все общие ссылки внутри подписей членов также преобразуются в их необработанные формы. Так эффективно вы вызываете метод, который теперь имеет подпись, как это:

List getList() 

Теперь, как почему ваша окончательная версия компилирует - хотя это делает, есть предупреждение, если вы используете -Xlint:

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

Это похоже на:

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

... который также компилирует, но с предупреждением под -Xlint.

Мораль истории: не используйте сырые типы!

Answer 2

Изменение линии

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

в

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

Корень вашей проблемы состоит в том, что вы используете raw type, поэтому тип getList способ List, нет List<String>.

Answer 3

Я сделал пару корректировок кода. В своем комментарии вы не нуждаетесь в объекте Object, поэтому удалите его, чтобы избежать путаницы.Во-вторых, если Дженерики будет родовым, инициализировать его правильно

Вот что новый главный будет выглядеть

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