Java 8向泛型方法传原始类型致返回类型擦除，编译失败问题咨询

这是个挺典型的Java版本间泛型处理逻辑变化的案例，咱们来详细拆解清楚：

首先看这段引发差异的代码：

public abstract class Example<T> {
    public T method() {
        return method(new HashMap());
    }
    abstract T method(Map<String, String> arg);
}

不同版本的编译结果对比 #

Java 7编译情况 #

BUILD SUCCESSFUL in 1s

Java 8及更高版本编译情况 #

Task :compileJava FAILED
C:\dev\projects\Java8\src\main\java\example\Example.java:10: error: incompatible types: Object cannot be converted to T
return method(new HashMap());
^
where T is a type-variable:
T extends Object declared in class Example

差异产生的根源 #

Java 7的泛型类型推断逻辑比较“宽松”：当你调用method(new HashMap())时，它会自动把无泛型声明的HashMap向上匹配到抽象方法要求的Map<String, String>参数，同时默认返回值和泛型T是兼容的，所以编译能顺利通过。

但Java 8对泛型的类型推断做了严格优化，尤其是重载方法的解析规则更严谨了：

1. 首先，new HashMap()因为没指定泛型参数，会被编译器推断为HashMap<Object, Object>；
2. 这个类型和抽象方法要求的Map<String, String>并不兼容，编译器找不到匹配的重载方法；
3. 最终编译器只能把method(new HashMap())的返回值推断为Object，而Object无法直接转换为泛型参数T，于是就抛出了编译错误。

修复方案 #

只需要明确指定HashMap的泛型参数，让它匹配抽象方法的参数类型即可：

// 显式指定泛型参数
return method(new HashMap<String, String>());

或者用Java 7就支持的菱形语法，让编译器自动推断类型：

return method(new HashMap<>());

这样编译器就能正确识别参数类型是Map<String, String>，返回值也会和T匹配，在所有Java版本里都能正常编译了。

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