java - 为什么在忽略参数类型时泛型会完全禁用？

Question

作为 this question 的后续行动, 先说背景

给定一个带有此声明的类:

public class SomeClass<T>

还有一个不使用泛型参数的子类:

public class SomeSubClass extends SomeClass

SomeClass 上的一个方法声明如下:

protected Map<String, Object> getMap(Object param) {
}

如果子类这样调用方法:

Map<String, Object> val = getMap(param);

编译器在本质上提示 getMap 返回一个普通的 Map 并且存在对通用 Map 的未经检查的分配。为什么会这样？这是对泛型的书面期望吗？有什么理由吗？

Answer 1

我不太清楚这样做的理由，但此行为在 Java Language Specification JLS S4.8 中指定。 :

The superclasses (respectively, superinterfaces) of a raw type are the erasures of the superclasses (superinterfaces) of any of its parameterized invocations.

鉴于在新代码中使用原始类型是非常不鼓励的，我猜他们想简化原始类型和参数化类型之间的交互规则。