为什么Java编译器会抱怨将foreach与原始类型一起使用？

Question

在Java的for-each循环中使用泛型时，出现一个奇怪的编译器错误。这是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);
    }
  }
}

编译器抱怨for-each所在的行：“类型不匹配无法从元素类型Object转换为String。”
如果我进行了微妙的更改，它将编译为：

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

我知道getList()确实使用泛型，但是我以完全不相关的方式使用它们。如果我尝试遍历T类型的某些内容并getList()返回a
List<T>或某种内容，我可以理解这一点，但是这里不是这种情况。的返回类型getList()应该与T完全无关，也不必在乎我是否对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。

这个故事的寓意是：不要使用原始类型！