编程自学指南：java程序设计开发，设计思想开源框架-六大原则之里氏替换原则，子类对象能够替换父类对象

java程序设计开发，设计思想开源框架-六大原则之里氏替换原则

里氏替换原则概述

定义

里氏替换原则（Liskov Substitution Principle，LSP）由芭芭拉・利斯科夫（Barbara Liskov）提出，其核心思想为：如果对每一个类型为 S 的对象 s1，都有类型为 T 的对象 t1，使得在所有使用 T 类型的对象的程序 P 中，将 t1 替换为 s1 后，程序 P 的行为没有发生变化，那么类型 S 是类型 T 的子类型。简单来说，子类对象能够替换父类对象，并且不会影响程序的正确性。

重要性

• 保证继承的正确性：确保子类在继承父类时，不会破坏父类原有的功能和行为约定，维护了类的继承体系的稳定性。
• 提高代码的可复用性和可维护性：基于里氏替换原则设计的代码，能够让父类的代码在子类中得到复用，并且在修改子类时不会对使用父类的代码造成影响。

实际应用案例

案例：交通工具与汽车

// 交通工具抽象类
abstract class Vehicle {
    public abstract void run();
}

// 汽车类，继承自交通工具
class Car extends Vehicle {
    @Override
    public void run() {
        System.out.print