¿Por qué el compilador de Java se queja de utilizar foreach con un tipo sin formato?

Question

Obtuve un extraño error de compilación al usar genéricos dentro de un bucle for-each en Java. ¿Es esto un error del compilador de Java, o realmente me falta algo aquí?

Aquí es toda mi clase:

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

El compilador se queja de la línea con el para-cada uno: "No coincide el tipo no puede convertir de tipo de elemento de objeto de cadena."
Si realizo este cambio sutil, que compila:

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

sé getList() hace uso de genéricos, sino que los utiliza en lo que creía que era una manera completamente ajenos. Podría entender esto si estuviera tratando de iterar sobre algo de tipo T y getList() devolvió un List<T> o algo así, pero ese no es el caso aquí. El tipo de devolución de getList() no debería tener absolutamente nada que ver con T y no debería importar si uso el tipo sin procesar para mi objeto Generics o no ... ¿no? ¿No deberían estos estar completamente sin relación, o realmente me estoy perdiendo algo aquí?

Tenga en cuenta que el código también compila si hago esto, por lo que pensé que debería haber sido equivalente a la primera, así:

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

La diferencia es que cuando utiliza el tipo sin formato, todos, las referencias genéricas dentro de las firmas miembro también se convierten a sus formularios sin formato. Tan eficazmente que está llamando a un método que ahora tiene una firma así:

List getList() 

Ahora en cuanto a por qué su versión final compila - aunque sí, hay una advertencia si se utiliza -Xlint:

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

Esto es similar a:

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

... que también compila, pero con una advertencia sobre -Xlint.

La moraleja de la historia: ¡no use tipos brutos!

Answer 2

Cambie la línea

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

a

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

La raíz de su problema es que está utilizando un raw type por lo que el tipo deEl métodoes List, no List<String>.

Answer 3

He hecho un par de ajustes a su código. Usted ve en su comentario que no necesita Object en su constructor, así que vamos a eliminar eso para evitar confusiones.En segundo lugar, si los genéricos va a ser genérico, inicializar correctamente

Esto es lo que el nuevo principal se vería

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