没有类型作为方法参数的泛型-无法解析它的字段类型[重复]

Question

让我们考虑一个类：

public class Foo<T> {
    public List<String> list = new ArrayList<>();
}

public void test(Foo t) {
    t.list.get(0).contains("test");
}

public void test(Foo<?> t) {
    t.list.get(0).contains("test");
}

Answer 1

当使用foo t时，t是一个原始类型，因此它的非静态、非继承成员，如上面代码中的列表也是原始类型。这里是Java语言规范的相关部分（参见上面的链接）：

为了方便与非泛型遗留代码的接口，可以将参数化类型(§4.5)的擦除(§4.6)或元素类型为参数化类型的数组类型(§10.1)的擦除用作类型。这样的类型称为原始类型。

更准确地说，原始类型定义为以下类型之一：

和/或

未从其超类或超接口继承的原始类型C的构造函数(§8.8)、实例方法(§8.4，§9.4)或非静态字段(§8.3)的类型是对应于其类型在对应于C的泛型声明中的擦除的原始类型。

只需将列表声明为静态，它就会被解释为字符串的列表（用于测试）。

只允许使用原始类型作为对遗留代码兼容性的让步。在Java编程语言中引入泛型后编写的代码中使用原始类型是非常不鼓励的。Java编程语言的未来版本可能不允许使用原始类型。

^{注意：类型擦除和生成的字节码在这两种情况下是相同的...}