Java泛型方法copy_v1两种调用方式为何一个编译报错一个正常

这个差异本质是Java泛型的类型推断规则和泛型不变性共同作用的结果。

1. 先明确方法签名的约束 #

copy_v1方法的定义是：

public static <T> void copy_v1(Wrapper<T> source, Wrapper<T> dest)

它要求两个入参的Wrapper的泛型参数必须是完全相同的类型T，因为Java泛型是不变的：Wrapper<String>和Wrapper<Object>没有继承关系，无法适配同一个T。

2. 行(1)报错的原因 #

行(1)的两个入参都是已经显式声明了固定泛型类型的变量：

• stringWrapper是明确的Wrapper<String>类型
• objectWrapper是明确的Wrapper<Object>类型

编译器无法找到任何一个T能同时匹配两种不同的Wrapper泛型参数，所以直接触发编译错误。

3. 原行(2)编译通过的原因 #

原行(2)的两个Wrapper实例都用了菱形运算符<>, 没有显式指定泛型参数，此时编译器会触发类型推断：
自动寻找两个入参实参的公共父类型作为T的实际类型，这里String和Object的公共父类就是Object，所以编译器会把两个Wrapper都推断为Wrapper<Object>类型：

• 第一个new Wrapper<>("Hello")：String是Object的子类，符合Wrapper<Object>的构造要求
• 第二个new Wrapper<>(new Object())：本身就是Object类型，完全匹配

此时T被推断为Object，两个入参都符合Wrapper<T>的约束，所以编译通过。运行时把String赋值给Object类型的ref属性也是完全合法的，不会触发运行时异常。

4. 显式指定泛型后行(2)报错的原因 #

当你把行(2)改成显式指定泛型：

copy_v1(new Wrapper<String>("Hello"), new Wrapper<Object>(new Object()));

此时你已经手动固定了两个Wrapper的泛型参数分别为String和Object，编译器不会再覆盖你指定的类型做推断，此时情况和行(1)完全一致，自然也会报编译错误。

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