Java方法重写：子类参数能否使用父类参数的超类型？

这个问题问到点子上了！咱们先从大家熟悉的重写规则暖个场，再聚焦参数的核心问题：

首先回顾下Java方法重写里已经明确允许的操作：

• 返回类型可以协变缩小：就像你举的例子，父类返回CharSequence，子类可以返回更具体的String——这是Java 5之后支持的特性，完全符合里氏替换原则，因为子类返回的类型是父类返回类型的子类，调用者用父类返回类型接收完全没问题。
• 抛出异常可以缩小甚至移除：父类方法声明抛出NameNotAvailableException，子类可以不抛任何异常，或者只抛它的子类异常。道理也很简单：调用父类方法的代码只需要处理父类声明的异常，如果子类抛出更宽泛的异常，调用者的代码就会崩溃，所以只能缩小或移除。

重点：子类用更宽泛的参数类型重写父类方法，合法吗？ #

看你给出的这段代码：

abstract class A { abstract void setName(final String name); }
class B extends A { void setName(final CharSequence name) { } }

答案是完全不合法，编译直接报错，核心原因要从两个层面说：

1. 不符合Java方法重写的签名规则 #

Java里的方法重写，要求子类方法的参数列表必须和父类方法的参数列表完全匹配（类型、数量、顺序一个都不能差）。你这里子类的setName参数是CharSequence（比父类的String更宽泛），这根本不是重写，而是方法重载——但父类的抽象方法setName(String)并没有被子类实现，所以编译器会报错，说子类没有完成父类的抽象方法实现。

2. 违背里氏替换原则（LSP） #

就算Java允许这么做，也会带来严重的类型安全问题。咱们站在调用者的角度推演一下：

A obj = new B();
obj.setName("Bob"); // 按照父类A的约定，传入String是合法的

如果子类B的setName接受CharSequence，看起来好像能处理String？但反过来想，如果子类的方法做了一些String不支持的操作呢？比如：

// 假设允许参数逆变重写
class A { void process(String s) { ... } }
class B extends A { 
    void process(Object o) { 
        Integer num = (Integer) o; // 强制类型转换，直接崩溃！
    } 
}

A a = new B();
a.process("test"); // 调用者按父类规则传String，子类却做了Object转Integer的操作

这就完全破坏了里氏替换原则：用父类引用调用方法时，子类的参数范围扩大导致了类型不安全的行为，调用者的预期被彻底打破。

总结核心规则 #

• 方法重写时，参数类型不能扩大（逆变），必须和父类方法的参数完全一致；
• 只有返回类型支持协变缩小，异常支持缩小/移除，参数类型没有任何灵活操作的空间；
• 如果子类定义了同名但参数更宽泛的方法，那是重载而非重写，此时必须确保父类的所有抽象方法都被正确实现。

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