真正起作用的重写必须满足:方法签名完全一致、加@Override注解、返回值协变、访问权限不收紧、检查型异常声明更具体或不抛,且static、final、private和构造方法不可重写。
子类重写父类方法不是简单地“名字一样就行”,稍有偏差就会变成重载、隐藏,甚至编译失败。真正起作用的重写,必须守住几条关键细节。
方法签名必须一字不差
方法签名 = 方法名 + 参数类型 + 参数个数 + 参数顺序。三者缺一不可。
- 改了参数类型(比如 int 换成 Integer)→ 是重载,不是重写
- 多加一个参数、少一个参数、调换参数顺序 → 都不满足签名一致
- Java 不支持默认参数,所以“加个默认值”这种操作本身就不合法
-
@Override 注解一定要加:它能让编译器立刻发现拼写错误、大小写差异(如 getName vs getname)、参数类型不匹配等问题
返回值类型要满足协变规则
不是“随便改小一点”就可以,得看类型关系:
- 父类返回 void 或基本类型(int、boolean等)→ 子类必须严格一致,不能换成包装类
- 父类返回引用类型(如 Animal)→ 子类可返回其子类(如 Dog),这是合法协变
- 父类返回 Object → 子类返回 String ✅;但父类返回 String → 子类返回 Object ❌(扩大范围)
访问权限只能放宽,不能收紧
目的是保证里氏替换原则:用父类引用调用时,子类对象的行为必须可用、可见。
立即学习“Java免费学习笔记(深入)”;
- 父类是 public → 子类只能 public
- 父类是 protected → 子类可用 protected 或 public,不能是 private 或包私有
- 父类是包私有(无修饰符)→ 子类可用包私有、protected 或 public,但仅限同包内重写
- 父类是 private → 根本不可继承,子类写同名方法只是新方法,和重写无关
检查型异常声明只能更具体或不抛
这条只约束 checked exception(编译期异常),对 RuntimeException 及其子类无限制。
- 父类没声明任何 checked 异常 → 子类不能抛 IOException、SQLException 等
- 父类声明 IOException → 子类可抛 FileNotFoundException(它是子类),也可不抛,但不能抛 Exception(更宽泛)或 SQLException(无关类型)
- 运行时异常可以自由添加,不影响重写合法性
这些方法根本不能被重写
不是所有父类方法都允许覆盖,以下情况直接排除重写可能:
-
static 方法:子类同名方法属于“隐藏”,调用取决于引用类型,而非实际对象
-
final 方法:编译器会报错,明确禁止修改行为
-
private 方法:子类不可见,也谈不上继承与重写
-
构造方法:不属于实例行为,不存在重写概念