Java泛型方法解析差异：Java7与Java8调用行为为何不同？

先看示例代码：

public class Foo {

    public static void main(String[] args) {
        x(generics());
    }

    public static <T> T generics() {
        return null;
    }

    public static void x(Object o) {
        System.out.println("Method with Object");
    }

    public static void x(char[] c) {
        System.out.println("Method with char[]");
    }

}

核心原因：泛型类型推断规则的升级 #

• Java 7的行为：Java 7中泛型方法的类型推断逻辑较为保守，当没有显式指定泛型参数时，会直接推断出最通用的Object类型作为T的实际类型。因此generics()的返回值被判定为Object，自然匹配参数为Object的重载方法x(Object)。

• Java 8的行为：Java 8优化了泛型方法的类型推断机制，新增了目标类型推断逻辑。编译器会结合方法调用的上下文（即被调用的x方法的重载参数类型）反向推导泛型参数T的具体类型。这里编译器发现，若将T指定为char[]，generics()的返回值就能匹配x(char[])的参数，而x(char[])是比x(Object)更具体的重载方法（char[]是Object的子类），因此会优先选择x(char[])。

简言之，Java 8的类型推断会结合目标方法的参数类型来确定泛型方法的返回类型，从而选择更合适的重载方法；而Java 7只会独立推断泛型方法的最通用类型。

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