Java泛型方法返回类型疑问：参数类型为何影响编译结果？

咱们先把你的代码清晰列出来，方便对照分析：

正常编译通过的代码 #

class Foo<R, C> {
    public C fooMethod() {
        Bar bar = new Bar();
        Map<String, String> m = new HashMap<>();
        return bar.barMethod(m); // 编译正常
    }
}

class Bar {
    public <T> T barMethod(Map<String, String> m) {
        Object barObj = null;
        // ... 其他业务逻辑
        return (T) barObj;
    }
}

使用原始类型Map时的编译错误场景 #

当你把m声明为原始类型后：

Map m = new HashMap(); // 无泛型参数的原始类型
return bar.barMethod(m); // 触发编译报错

报错信息：

incompatible types: Object cannot be converted to C, where C is a type-variable.

核心原因：原始类型会破坏泛型类型推断的上下文 #

1. 带泛型参数的Map时，编译器如何推断T？ #

当传入Map<String, String>类型的m时，编译器会结合方法调用的上下文做智能推断：

• fooMethod需要返回C类型的值，编译器会自动把barMethod的泛型参数T推断为C。
• 此时barMethod返回的(T) barObj会被编译器识别为C类型，刚好匹配fooMethod的返回值要求，所以编译通过（虽然运行时会有未检查转换的警告，但编译阶段没问题）。

2. 使用原始类型Map时，为什么T会被推断为Object？ #

原始类型是Java为兼容JDK1.5之前旧代码保留的特性，但它会触发一个关键行为：泛型信息的"传染式擦除"——当你用原始类型作为方法参数时，编译器会忽略该调用相关的所有泛型上下文：

• 对于barMethod来说，传入原始类型Map后，编译器既无法从参数中获取泛型信息，也会忽略方法调用的返回值上下文（也就是fooMethod需要返回C的要求）。
• 这时编译器只能默认把barMethod的泛型参数T推断为Object，方法返回的Object类型无法直接赋值给任意类型变量C，于是就出现了编译错误。

你理解的误区 #

你觉得编译器不该把T视为Object，但问题出在原始类型剥夺了编译器进行类型推断的上下文信息。正常情况下，编译器可以通过"目标类型"（即fooMethod需要返回C）推断T的类型，但原始类型的存在让编译器放弃了这种上下文推断，只能退回到最基础的Object类型。

总结一下：尽量避免使用原始类型，它不仅会失去泛型的类型安全保障，还会干扰编译器的类型推断逻辑，导致这类看似奇怪的编译错误。

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