非泛型方法重写泛型方法的兼容问题及疑问

要搞懂这个差异，得从Java泛型的类型擦除规则和方法重写的校验逻辑两方面来看：

一、泛型方法场景下的兼容逻辑 #

当父类是带泛型方法的普通类时：

class Super {
  public <T> T transform(T t) { ... }
  public <T> T get() { ... }
}

这些泛型方法经过类型擦除后，签名会变成：

• public Object transform(Object t)
• public Object get()

子类的非泛型方法Object transform(Object t)和Object get()，和擦除后的父类方法签名完全一致。Java为了保证泛型引入后的向后兼容性，允许这种非泛型方法重写泛型方法——编译器会自动生成桥接方法，在运行时处理泛型类型的转换，确保类型安全。比如针对get()，编译器会生成一个<T> T get()的桥接方法，内部调用子类的Object get()并做类型转换。

二、泛型类场景下的重写限制 #

当父类是泛型类时：

class Super<T> {
  public T transform(T t) { ... }
  public T get() { ... }
}

这里的T是类级别的泛型参数，子类Sub<T> extends Super<T>继承时，T是和父类绑定的具体类型参数。此时编译器检查重写的逻辑和泛型方法场景完全不同：

1. 返回类型的协变要求：方法重写要求子类方法的返回类型必须是父类方法返回类型的子类型（协变）。父类get()的返回类型是T，子类返回Object相当于返回了一个比T更宽泛的类型，这违反了协变规则——毕竟T是Object的子类，反过来不成立。
2. 泛型签名的优先校验：对于泛型类的方法，编译器会先基于未擦除的泛型签名做校验，而不是直接看擦除后的结果。父类的T get()在子类中被具体化后，返回类型是T，子类的Object get()和这个具体化后的签名不匹配，因此直接报错。

那为什么transform方法可以正常重写？因为transform有参数：子类的Object transform(Object t)和父类擦除后的Object transform(Object)签名匹配，编译器可以生成桥接方法T transform(T t)，内部调用子类方法时会自动将T类型的参数转成Object，返回时再把Object转成T。但get()方法没有参数，返回类型的不兼容无法通过桥接方法来掩盖——桥接方法如果返回T，调用子类的Object get()后转T是可行的，但编译器在静态校验阶段就不允许这种返回类型逆变的情况，因为这会破坏类型安全的约定。

总结 #

核心差异在于：

• 泛型方法的类型参数是方法级别的，擦除后和子类非泛型方法完全匹配，且兼容向后兼容的重写规则；
• 泛型类的类型参数是类级别的，子类继承时方法的返回类型被绑定为具体的T，子类返回Object属于返回类型逆变，不符合重写的协变要求，编译器直接拦截。

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