java - Java 泛型是一个全有或全无的决定吗？

Question

<分区>

Answer 1

当您使用删除类型时，它会删除泛型的所有痕迹 - 而不仅仅是类型参数 T 的使用。所以你的 generic 变量就好像它指的是这种类型:

// After type erasure
public class Generic {
    private Object member;

    public Generic(Object member) {
        this.member = member;
    }

    public Object getMember() {
        return member;
    }

    public List getStringList() {
        return new ArrayList();
    }
}

这记录在 JLS 中 - 从 section 4.6 开始并点击链接。它可能没有那么清晰，但已记录在案。

原因是，如果您使用的是原始类型，编译器希望您根本不知道泛型——因为它很可能正在编译遗留的 Java-5 之前的代码。随着时间的推移，这被证明有点不切实际，但我相信这是规范保持现状的动机。