里氏替换原则在Java中如何实现
子类应能替换父类而不改变程序行为。在Java中，需确保重写方法不加强前置条件、不弱化后置条件，返回类型兼容，异常范围不扩大；避免重写导致逻辑破坏，如Shape的draw()必须有效实现；通过抽象类或接口规范行为，示例中Ostrich实现Bird接口却抛异常，违反LSP，应拆分接口；当继承不合理时，优先使用组合替代继承，确保设计符合is-a关系，从而保持系统稳定与可维护。
里氏替换原则（Liskov Substitution Principle, LSP）是面向对象设计中的一个重要原则，它指出：子类对象应该能够替换其父类对象，而程序的行为不会发生变化。在Java中，这一原则通过继承、多态和合理的设计来实现。
确保子类不改变父类的契约
在Java中实现里氏替换原则，首先要保证子类不破坏父类已定义的行为规范。这意味着：
- 子类重写方法时，不能改变方法的前置条件（不能更严格）和后置条件（不能更宽松）
- 方法的返回类型应兼容，最好使用协变返回类型
- 异常的抛出不应超出父类的范围
避免重写导致行为异常
子类不应通过重写改变父类逻辑的本质。常见违反LSP的情况包括：
- 重写方法直接抛出异常或返回默认值
- 修改方法用途，使其不再完成父类承诺的功能
使用抽象类或接口明确行为规范
通过抽象类或接口定义通用行为，让所有子类遵循统一结构：
- 用 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中合理使用继承与多态，关注行为一致性，就能很好地遵循里氏替换原则。
