SOLID原则学习，里氏替换原则（Liskov Substitution Principle, LSP）

---

1. 定义

里氏替换原则（Liskov Substitution Principle, LSP） 是面向对象设计中的五大原则（SOLID）之一，由 Barbara Liskov 提出。它是继承关系的核心原则，确保子类可以替换父类而不影响程序的正确性。

子类对象必须能够替换父类对象，且替换后程序的行为不会发生变化。

换句话说，如果一个程序使用了一个父类的对象，那么它应该能够使用该父类的任何子类对象，而不会产生错误或意外行为。

---

2. 里氏替换原则的核心思想

1. 子类必须完全实现父类的行为：

• 子类必须实现父类的所有方法，且不能改变父类的行为。

• 子类可以扩展父类的功能，但不能修改父类的原有功能。

2. 子类不能违背父类的约束：

• 子类的方法参数范围必须与父类一致或更宽松。

• 子类的方法返回值范围必须与父类一致或更严格。

3. 子类不能抛出父类未声明的异常：

• 子类的方法不能抛出父类方法未声明的异常。

---

3. 违反里氏替换原则的后果

如果子类不能完全替换父类，可能会导致以下问题：

程序行为不一致。

难以维护和扩展。

引入隐藏的 bug。

---

4. 实现里氏替换原则的方法

1. 使用抽象基类或接口：

• 定义清晰的接口或抽象类，确保子类实现所有必要的行为。

2. 避免子类修改父类的行为：

• 子类只能扩展父类的功能，不能改变父类的核心逻辑。

3. 遵循契约设计：

• 父类定义明确的契约（前置条件、后置条件、不变式），子类必须遵守这些契约。

---

4. 实例分析

场景描述
假设我们有一个表示矩形的类 Rectangle，它有一个计算面积的方法。现在我们需要支持正方形 Square，正方形是一种特殊的矩形。

违反里氏替换原则的实现

class Rectangle {
protected:
    int width, height;

public:
    void setWidth(int w) { width = w; }
    void setHeight(int h) { height = h; }
    int getWidth() const { return width; }
    int getHeight() const { return height; }
    int calculateArea() const { return width * height; }
};

class Square : public Rectangle {
public:
    void setWidth(int w) {
        width = w;
        height = w; // 正方形需要保持宽高相等
    }

    void setHeight(int h) {
        width = h;
        height = h; // 正方形需要保持宽高相等
    }
};

void processRectangle(Rectangle& rect) {
    rect.setWidth(5);
    rect.setHeight(4);
    std::cout << "Expected area: 20, Actual area: " << rect.calculateArea() << std::endl;
}

int main() {
    Rectangle rect;
    processRectangle(rect); // 输出: Expected area: 20, Actual area: 20

    Square square;
    processRectangle(square); // 输出: Expected area: 20, Actual area: 16
    return 0;
}

问题分析：

• Square 是 Rectangle 的子类，但它修改了 setWidth 和 setHeight 的行为，导致 processRectangle 函数的行为不一致。

• 这违反了里氏替换原则，因为 Square 不能完全替换 Rectangle。

---

符合里氏替换原则的实现
为了避免违反里氏替换原则，我们可以重新设计类结构，将 Square 和 Rectangle 分离，或者使用组合代替继承。

class Shape {
public:
    virtual int calculateArea() const = 0;
    virtual ~Shape() = default;
};

class Rectangle : public Shape {
private:
    int width, height;

public:
    Rectangle(int w, int h) : width(w), height(h) {}
    int calculateArea() const override {
        return width * height;
    }
};

class Square : public Shape {
private:
    int side;

public:
    Square(int s) : side(s) {}
    int calculateArea() const override {
        return side * side;
    }
};

void processShape(const Shape& shape) {
    std::cout << "Area: " << shape.calculateArea() << std::endl;
}

int main() {
    Rectangle rect(5, 4);
    processShape(rect); // 输出: Area: 20

    Square square(4);
    processShape(square); // 输出: Area: 16
    return 0;
}

改进点：

Rectangle 和 Square 都继承自 Shape，但它们没有直接的继承关系。

processShape 函数可以处理任何 Shape 类型的对象，符合里氏替换原则。

---

5. 总结

里氏替换原则的核心是确保子类可以完全替换父类而不影响程序的正确性。通过合理设计类的继承关系，避免子类修改父类的行为，可以提高代码的可维护性和可扩展性。在实际开发中，如果发现子类无法完全替换父类，可能需要重新审视类的设计，考虑使用组合或其他设计模式来解决问题。