方法重写必须遵守里氏替换原则：前置条件不得变严格、后置条件不得变薄弱、异常不得多抛、状态不得破坏、语义必须一致；否则子类无法安全替换父类。
方法重写要遵守里氏替换原则，关键不是“能不能重写”，而是“重写后是否还守约”——子类方法必须在父类定义的行为契约内做事，不能悄悄改规则、缩范围、降保障或加意外。
前置条件不能变严格
父类方法允许的输入范围，子类不能收窄。比如父类声明 void setAge(int age)，隐含接受任意整数；子类若重写为只接受 0–150 的值，并在超限时抛异常，就违反了 LSP。调用方原本传 -5 不会出错，换成子类就崩了。
- 正确做法：保持参数校验宽松，或把校验逻辑上提到父类统一处理
- 错误信号：子类重写方法里频繁出现
if (x < 0) throw new IllegalArgumentException()，而父类没这限制
后置条件不能变薄弱
父类承诺的结果，子类不能打折扣。例如父类 List<String> getNames() 文档写明“返回非空不可变列表”，子类就不能返回 null 或可修改的实例。
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
- 正确做法：返回更具体的类型（如
ArrayList）可以，但语义不能退化 - 错误信号：测试中父类方法返回值不为 null，子类却常返回 null，导致 NPE
异常不能多抛、状态不能乱破
子类方法不能抛出父类未声明的受检异常（如父类没写 throws IOException，子类不能擅自加）；也不能破坏父类维护的关键状态约束，比如父类保证“余额 ≥ 0”，子类转账后让余额变成 -100 就越界了。
立即学习“Java免费学习笔记（深入）”；
- 正确做法：只抛父类已声明的异常，或更具体的子类异常（如
SQLException→SQLTimeoutException） - 错误信号：客户端代码没写
catch某异常，换用子类后突然报错，且该异常父类根本没提过
语义必须一致，不能偷换概念
方法名和用途是契约的一部分。父类 save() 表示“校验后持久化”，子类重写成“仅写入文件不校验”，表面能跑通，实则破坏调用方预期。
- 正确做法：重写时延续原语义，增强不削弱；若行为本质不同，就不该继承，该用接口或组合
- 错误信号：子类重写后，原来对父类成立的业务断言（如“调用 save 后数据必入库”）在子类下不成立
