子类应能替换父类而不改变程序行为。在Java中,需确保重写方法不加强前置条件、不弱化后置条件,返回类型兼容,异常范围不扩大;避免重写导致逻辑破坏,如Shape的draw()必须有效实现;通过抽象类或接口规范行为,示例中Ostrich实现Bird接口却抛异常,违反LSP,应拆分接口;当继承不合理时,优先使用组合替代继承,确保设计符合is-a关系,从而保持系统稳定与可维护。

里氏替换原则(Liskov Substitution Principle, LSP)是面向对象设计中的一个重要原则,它指出:子类对象应该能够替换其父类对象,而程序的行为不会发生变化。在Java中,这一原则通过继承、多态和合理的设计来实现。
确保子类不改变父类的契约
在Java中实现里氏替换原则,首先要保证子类不破坏父类已定义的行为规范。这意味着:
- 子类重写方法时,不能改变方法的前置条件(不能更严格)和后置条件(不能更宽松)
- 方法的返回类型应兼容,最好使用协变返回类型
- 异常的抛出不应超出父类的范围
避免重写导致行为异常
子类不应通过重写改变父类逻辑的本质。常见违反LSP的情况包括:
- 重写方法直接抛出异常或返回默认值
- 修改方法用途,使其不再完成父类承诺的功能
使用抽象类或接口明确行为规范
通过抽象类或接口定义通用行为,让所有子类遵循统一结构:
立即学习“Java免费学习笔记(深入)”;
- 用 abstract class 或 interface 定义共性操作
- 子类实现时保持语义一致
- 利用多态调用,使父类引用调用子类方法时结果可预期
interface Bird {
void fly();
}
class Sparrow implements Bird {
public void fly() { System.out.println("Sparrow flying"); }
}
class Ostrich implements Bird {
public void fly() { throw new UnsupportedOperationException(); } // 违反LSP
}
这里鸵鸟不能飞却实现了 Bird 接口并抛异常,违背了替换原则。更好的做法是拆分接口,如可飞行的鸟单独一个接口。
优先使用组合而非强行继承
当某个类无法完全替代父类时,说明继承关系设计不合理。此时应考虑重构:
- 将共用行为提取到接口或工具类
- 用组合方式引入功能,而不是强制继承
- 避免为了复用代码而建立不合理的 is-a 关系
基本上就这些。只要在Java中合理使用继承与多态,关注行为一致性,就能很好地遵循里氏替换原则。










