使用对通用对象的无类型引用时,对成员类型集合的迭代失败

Question

可能重复:
如果实例未分配泛型类型,则针对每个循环问题进行泛型

有人可以澄清为什么iterate1()编译器不接受(Java 1.6)？我不明白为什么iterate2()而且iterate3()好多了.

import java.util.Collection;
import java.util.HashSet;

public class Test<T> {

    public Collection<String> getCollection() {
        return new HashSet<String>();
    }

    public void iterate1(Test test) {
        for (String s : test.getCollection()) {
            // ...
        }
    }

    public void iterate2(Test test) {
        Collection<String> c = test.getCollection();
        for (String s : c) {
            // ...
        }
    }

    public void iterate3(Test<?> test) {
        for (String s : test.getCollection()) {
            // ...
        }
    }


}

编译器输出:

$ javac Test.java
Test.java:11: incompatible types
found   : java.lang.Object
required: java.lang.String
  for (String s : test.getCollection()) {
                                              ^
Note: Test.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
1 error

Answer 1

当您使用原始类型(例如,Test而不是Test<T>编译器将其视为(JLS 4.8)作为该类型的擦除(JLS 4.6) - 完全擦除泛型时,它们是否使用类型参数:

如果构造函数或方法的签名被擦除,则构造函数或方法的类型参数(第8.4.4节)以及方法的返回类型(第8.4.5节)也会被擦除.

基本上,编译器会将原始类型的使用视为您不希望该代码完全了解泛型的指示 - 因此方法签名将被删除为:

public Collection getCollection()

...因此编译时错误,因为推断的元素类型是Object,根据JLS 14.14.2.