Java泛型原始类型为何影响方法返回值类型？

这是Java泛型机制的预期行为，并非Bug，完全符合Java语言规范（JLS）的定义。下面分场景拆解原因：

核心逻辑：原始类型的"污染"效应 #

Java中，当使用不带泛型参数的原始类型（比如HashMap）作为方法参数时，会触发编译器的泛型擦除规则，甚至会"污染"整个方法调用的泛型上下文——编译器会将该方法的返回值也当作原始类型处理，而非原本定义的参数化类型。

场景1：List<B> bs = doSomething(null); #

null不属于任何具体参数化类型，编译器可正常推断方法返回值为List<B>，与变量类型完全匹配，因此编译无警告无错误。

场景2：List<A> list = doSomething(new HashMap()); #

这里传入的是原始类型HashMap，根据JLS规则：

• 编译器会将doSomething方法的返回值视为原始类型List（泛型信息被完全擦除）。
• 原始类型List与参数化类型List<A>的赋值属于未经检查的转换，编译器仅会发出"未经检查的转换"警告，但不会报错——因为擦除后两者的字节码类型均为List，运行时不存在类型差异。

场景3：List<A> list2 = doSomething(new HashMap<>()); #

这里传入的是参数化类型HashMap<>()（编译器会推断为HashMap<Object, Object>，符合方法参数Map<String, Object>的要求），此时编译器会严格保留方法返回值的泛型信息List<B>。
由于Java泛型是不变的，List<B>和List<A>属于不同的参数化类型，无法直接转换，因此编译报错：

incompatible types: java.util.List<Someclass.B> cannot be converted to java.util.List<Someclass.A>

Java语言规范相关说明 #

根据JLS §4.8（原始类型）的规定：

使用原始类型时，会引发泛型类型的擦除，任何依赖于泛型类型的类型检查都会被抑制，编译器仅会发出未经检查的警告。此外，当原始类型用于方法调用时，该方法的参数化返回类型也会被擦除为原始类型，从而允许与其他参数化类型进行未经检查的赋值。

内容的提问来源于stack exchange，提问作者David Blbulyan