3. 示例
假设我们有一个 BankAccount 类，定义了一个存款方法 deposit(double amount)。BankAccount 是一个父类，表示银行账户。现在，我们通过继承创建了一个 CheckingAccount 类，表示支票账户。支票账户可以在银行账户的基础上增加透支功能，但它必须确保正确实现父类的 deposit 方法，以便在任何需要 BankAccount 的地方，用 CheckingAccount 替换不会出错。
class BankAccount {
double balance;
public void deposit(double amount) {
balance += amount;
}
}
class CheckingAccount extends BankAccount {
double overdraftLimit;
@Override
public void deposit(double amount) {
// 支票账户的存款行为仍然和普通银行账户一样
super.deposit(amount);
}
}
速记句：子类重写方法，仍需保留原意。
4. 子类的行为约束
子类不仅要继承父类的属性和方法，还要保持父类的行为一致性。如果子类重写了父类的方法，必须确保新方法的行为与父类方法的预期行为一致，否则会违反里氏替换原则。例如，如果 CheckingAccount 类在重写 deposit 方法时，改变了存款方式，这可能导致程序在处理 BankAccount 时出现意外行为。
速记句：重写不改行为，继承不打折扣。
5. 前置条件与后置条件
在继承关系中，子类的前置条件不能比父类更严格，后置条件不能比父类更宽松。这意味着子类在方法执行前不能要求更多的条件（即前置条件），在方法执行后也不能提供比父类更少的保证（即后置条件）。
速记句：前置不严，后置不松。
6. 违反里氏替换原则的后果
如果子类不能替换父类，程序的可维护性和可扩展性将受到严重影响。违背里氏替换原则的代码往往会导致难以调试的错误，因为子类的行为可能与预期不符，破坏了系统的稳定性。
速记句：违背替换，后患无穷。
7. 多态性与里氏替换原则
里氏替换原则是实现多态性的基础。多态性允许我们以父类的形式使用子类对象，但这一前提是子类必须完全遵循父类的行为规范。只有这样，程序才能在父类和子类之间无缝切换，而不会产生问题。
速记句：多态基于替换，替换确保一致。
8. 设计中的应用
在设计软件系统时，遵循里氏替换原则能够帮助我们创建灵活且可扩展的系统。通过合理的继承结构，我们可以在不修改现有代码的基础上，添加新的功能和类，增强代码的复用性。
速记句：遵循替换，设计灵活。
9. 反例分析
一个常见的反例是“正方形-矩形”问题。如果我们有一个 Rectangle 类和一个 Square 类，Square 类继承 Rectangle 类。但实际上，正方形并不能完全替代矩形，因为正方形的宽高必须相等，而矩形则不要求这一点。因此，Square 继承 Rectangle 违反了里氏替换原则。
速记句：正方形不是矩形，继承要分清。
10. 代码的健壮性
通过遵循里氏替换原则，我们可以确保代码的健壮性和稳定性。代码的健壮性意味着即使在面对意外的输入或使用场景时，程序仍然能够表现良好且不会崩溃。里氏替换原则的应用直接关系到代码的健壮性。
速记句：替换原则，保障健壮。
总结
里氏替换原则是面向对象设计中的一个基本原则。它要求子类能够替换父类而不影响程序的正确性。通过理解和应用这一原则，我们可以设计出更为健壮、灵活和可扩展的系统。这个原则不仅仅是关于继承的技术规则，更是关于如何保持代码设计清晰和可维护的重要准则。
参考文献
- Liskov, B. , & Wing, J. M. (1994). A behavioral notion of subtyping. ✅ACM Transactions on Programming Languages and Systems (TOPLAS), 16(6), 1811-1841.
- Gamma, E. , Helm, R., Johnson, R., & Vlissides, J. (1994). ✅Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley.
- Martin, R. C. (2002). ✅Agile Software Development: Principles, Patterns, and Practices. Prentice Hall.
在讨论正方形和矩形的关系时，涉及到面向对象编程中的里氏替换原则（Liskov Substitution Principle, LSP）。这个原则的核心思想是：如果类B是类A的子类，那么在程序中用类A对象的地方都可以用类B的对象替换，而不会导致程序行为的变化。
正方形和矩形的类关系
假设我们有一个Rectangle类表示矩形，并且考虑用Square类（正方形）继承Rectangle类：
class Rectangle {
int width;
int height;
void setWidth(int width) { this.width = width; }
void setHeight(int height) { this.height = height; }
int getArea() { return width * height; }
}
class Square extends Rectangle {
@Override
void setWidth(int width) {
this.width = width;
this.height = width;
}
@Override
void setHeight(int height) {
this.width = height;
this.height = height;
}
}
为何正方形不能继承矩形？
在继承之后，正方形需要满足矩形的所有行为和特性。然而，正方形有一个特殊性质：它的宽和高必须相等。为了让Square类保持这个性质，我们必须重写setWidth和setHeight方法，使得在设置任意一边的长度时，另一边的长度也自动调整为相同的值。
这就导致了一个问题：如果程序中本来是使用Rectangle对象的地方，换成Square对象后，程序的行为可能会发生变化。
违反里氏替换原则的原因
假设我们有如下代码：
Rectangle rect = new Rectangle();
rect.setWidth(5);
rect.setHeight(10);
// 预期面积是 5 * 10 = 50
int area = rect.getArea();
在这个例子中，如果rect是一个Rectangle对象，计算出的面积将是50。但如果我们用Square对象替换它：
Rectangle rect = new Square();
rect.setWidth(5);
rect.setHeight(10);
// 实际面积是 10 * 10 = 100
int area = rect.getArea();
因为Square的setWidth和setHeight方法会互相影响，使得宽和高总是相等，最终面积计算结果变成了100，这与预期的50不符。
结论
由于Square的特殊性质（边长必须相等），它在继承Rectangle时会导致程序行为的改变，从而违反了里氏替换原则。因此，在面向对象设计中，正方形不应该作为矩形的子类，因为它们在行为上的差异使得这种继承关系不合理。
为了解决正方形和矩形之间不合理的继承关系，我们可以采用组合（composition）而不是继承（inheritance）的设计方式。这样，我们可以避免违反里氏替换原则，同时保持代码的灵活性和可扩展性。
设计思路
- 抽象类或接口：我们可以创建一个公共的接口或抽象类
Shape，定义所有形状共有的行为，比如计算面积的方法getArea()。
- 矩形类：
Rectangle类实现Shape接口，拥有宽和高两个属性。
- 正方形类：
Square类不继承Rectangle，而是实现Shape接口，同时内部使用一个Rectangle对象来存储数据。正方形的边长设置会同时影响内部矩形的宽和高。
示例代码
以下是用Java编写的一个示例：
// 定义一个通用的形状接口
interface Shape {
int getArea();
}
// 矩形类实现 Shape 接口
class Rectangle implements Shape {
protected int width;
protected int height;
public Rectangle(int width, int height) {
this.width = width;
this.height = height;
}
public void setWidth(int width) {
this.width = width;
}
public void setHeight(int height) {
this.height = height;
}
@Override
public int getArea() {
return width * height;
}
}
// 正方形类也实现 Shape 接口
class Square implements Shape {
private int side;
private Rectangle rectangle;
public Square(int side) {
this.side = side;
this.rectangle = new Rectangle(side, side);
}
public void setSide(int side) {
this.side = side;
this.rectangle.setWidth(side);
this.rectangle.setHeight(side);
}
@Override
public int getArea() {
return rectangle.getArea();
}
}
解释
- Shape 接口：这是一个通用的接口，定义了所有形状必须实现的方法。在这个例子中，我们定义了
getArea()方法。
- Rectangle 类：矩形类实现了
Shape接口，具有宽和高两个属性，并实现了计算面积的方法。
- Square 类：正方形类不再继承
Rectangle类，而是实现了Shape接口。它内部包含一个Rectangle对象，并通过组合的方式来管理这个矩形。正方形的边长设置会同步更新内部矩形的宽和高。
优点
- 避免了继承带来的问题：因为正方形不再继承矩形，所以不会出现违反里氏替换原则的情况。
- 灵活性和可扩展性：这种设计模式使得正方形和矩形之间的关系更加灵活。未来如果需要添加新的形状（如圆形或三角形），也可以轻松扩展。
- 职责单一：每个类只负责自己的行为，符合单一职责原则。矩形类只关心矩形的宽和高，正方形类只关心正方形的边长。
通过这种设计，我们可以更好地表示矩形和正方形的关系，同时遵循面向对象设计的最佳实践。
