为何Java不允许重写下界泛型参数？

这个问题问到了Java泛型设计中一个很关键的矛盾点——方法重写的类型规则和泛型逆变/协变的兼容性。咱们结合你提到的场景，一步步拆解背后的原因：

1. 方法重写的核心要求：参数类型需协变 #

Java里的方法重写，要求子类方法的参数类型是父类参数类型的子类型（也就是协变）。简单说：如果父类方法是void foo(Parent p)，子类重写时不能写成void foo(Child c)——因为当你把子类对象向上转型为父类类型后，调用foo(new Parent())就会出错，子类方法只接受Child，不接受Parent。

但泛型的下界通配符（? super T）带来的是逆变关系：对于消费者类型（比如Consumer），Consumer<? super Integer>是Consumer<? super Number>的超类型（因为? super Integer包含Integer、Number、Object，比? super Number的范围更广）。这就和重写要求的参数协变完全相反了——你想重写的子类方法参数类型，其实是父类参数类型的超类型，而非子类型。

哪怕你觉得逻辑上安全（比如IntegerConsumer能接收更多类型的Consumer），但Java编译器的重写检查是基于静态类型规则的，它不会去分析实际的类型安全场景，而是严格遵循“重写方法参数必须是父类参数的子类型”这个规则。

2. 擦除泛型后的方法签名冲突 #

Java的泛型是擦除式的，编译后泛型信息会被擦除。比如父类的void accept(Consumer<? super Number> c)擦除后是void accept(Consumer c)，子类的void accept(Consumer<? super Integer> c)擦除后也是void accept(Consumer c)。这时候编译器会认为这两个方法签名完全一致，但泛型参数不兼容，直接抛出冲突错误——因为Java不允许同一个类中有两个擦除后签名相同的方法。

你提到的NumberPrinter场景也是同理：父类的void print(List<? extends Number> list)和子类的void print(List<? extends Integer> list)擦除后都是void print(List list)，签名重复，编译器直接拒绝。

3. 返回值允许类似操作的原因 #

而返回值的情况之所以被允许，是因为Java允许返回值的协变——子类方法的返回值可以是父类返回值的子类型。比如父类方法返回List<? extends Number>，子类可以返回List<? extends Integer>：

• 从静态类型看，List<? extends Integer>是List<? extends Number>的子类型（因为List是协变的），符合重写的协变要求；
• 从逻辑安全看，调用者用父类类型接收返回值时，只会调用Number的方法，子类返回的Integer实例完全兼容，不会有类型安全问题。

这和参数的情况刚好相反：参数需要协变（子类参数是父类参数的子类型），而返回值允许协变，泛型的协变/逆变特性在这两种场景下的适配性完全不同。

内容的提问来源于stack exchange，提问作者Jose da Silva Gomes