原始类型成员丢失了通用类型

Question

使用泛型时，我发现了一个奇怪的行为。

在此类中Foo<T>，该strings成员与T以下内容无关：

package test;
import java.util.ArrayList;

public class Foo<T> {
    ArrayList<String> strings;

    T getSome() {
        return null;
    }
}

该类在main中使用：

package test;

public class Main {

    public static void main() {
        Foo<Integer> intFoo = new Foo<>();
        Integer i = intFoo.getSome();
        String s1 = intFoo.strings.get(0);

        Foo rawFoo = new Foo();
        Object o = rawFoo.getSome();
        String s2 = rawFoo.strings.get(0); // Compilation error on this line
    }
}

编译错误为“类型不兼容。必需：找到的字符串：对象”。

似乎Java忘记了使用原始类型时的Stringtype参数。ArrayList``Foo

我的Java版本是1.7.0_21

Answer 1

简而言之，由于rawFoo是原始的，它的非静态成员也变为原始的。

JLS§4.8中对此进行了概述：

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

• 通过采用通用类型声明的名称而没有随附的类型参数列表而形成的引用类型。

• 数组类型，其元素类型为原始类型。

• 原始类型R的非静态成员类型，它不继承自R的超类或超接口。

注意最后一个项目符号。