具有与通用类型无关的通用方法的原始类型

Question

这是hrert的问题Generic类与其他类型的Collectiongetter的后续文章。如果您可以为我的问题找到更好的标题，请随时对其进行编辑：

下面的代码包含一个GenericClass<T>具有返回类型方法的通用类和具有返回类型方法的T另一个方法，Collection<String>显然与T。

现在，如果我实例化一个原始数据GenericClass（我永远不会做，所以这个问题更多是一个理论问题，以帮助理解正在发生的事情），那么在增强的for循环中调用该方法将不起作用，因为似乎所有通用类型信息使用原始类型时迷路。但是，当在赋值中调用相同的方法时，它就起作用了（它警告类型不安全，但会编译）。

以我的观点，要么两者都不起作用，要么两者都应该起作用。我不明白为什么一个有效，而另一个无效。您是否有任何提示，或者知道JLS的任何部分可以解释此行为？

public class GenericClass<T>  {

    T doSomething() {
        return null;
    }

    Collection<String> getCollection() {
        return Collections.emptyList();
    }

    public static void main(String[] args) {
        GenericClass raw = new GenericClass();
        // This will not compile (Error message below)
        for (String str : raw.getCollection()) {
            // Type mismatch: cannot convert from element type Object to String
        }
        // This is only a warning:
        // Type safety: The expression of type Collection needs unchecked conversion to conform to Collection<String>
        Collection<String> coll = raw.getCollection();
        for (String string : coll) {
            // works just fine
        }
    }
}

有一个相关的问题，再加上此处的公认答案，可以很好地说明正在发生的事情：为什么这种通用的Java代码无法编译？

Answer 1

在第一种情况下，raw.getCollection()返回raw Collection。 JLS
14.14.2
指定了增强for循环的类型检查：

如果Type（在FormalParameter生产中）是引用类型，则TargetType为Type；否则，Type为Type。否则，TargetType是I的类型参数
或Object（如果我是raw 的）的捕获转换的上限 。

（添加了重点）

在第二种情况下，您正在将原始类型显式分配给泛型类型，这可以通过正常警告来允许。