为何Java泛型方法pick可接收不同类型参数无编译错误？

先看你的代码：

class A {
    public <T> void pick(T a, T b){
        System.out.println(b.getClass().getName());
        System.out.println(a.getClass().getName());
    }
}

new A().pick("abc", 5);

你疑惑的点在于，明明方法定义里两个参数都是T，为什么传入String和Integer不报错？核心原因是Java泛型的类型推断和擦除机制：

1. 类型自动推断
   编译器会根据你传入的实际参数，自动推断出T的具体类型——它会找一个能同时兼容所有参数的最宽泛类型。这里String和Integer的共同父类是Object，所以T被推断为Object。既然两个参数都可以向上转型为Object，自然符合方法的参数要求。

2. 泛型擦除机制
   Java的泛型是编译期特性，编译完成后所有泛型信息都会被擦除。你的pick方法编译后实际会变成：

public void pick(Object a, Object b){
    System.out.println(b.getClass().getName());
    System.out.println(a.getClass().getName());
}

所以本质上这个方法就是接受两个Object参数，传入String和Integer当然没问题——它们都是Object的子类，向上转型是Java的基本特性。

3. 如何强制两个参数类型完全一致？
   如果想让编译器检查两个参数必须是同一类型，你可以显式指定泛型类型参数，比如：

// 显式指定T为String，此时传入Integer的5会直接编译报错
new A().<String>pick("abc", 5);

这样编译器就会严格按照你指定的T类型来校验参数，不符合就会报错。

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