里式替换原则

里式替换原则（Liskov Substitution Principle, LSP）是面向对象设计中的一个基本原则，它指出子类应该能够替换它们的基类而不影响程序的正确性。这意味着子类应该继承基类的所有行为，并且遵守基类的所有契约和约束。
下面是一个Python代码案例，展示了如何遵守里式替换原则。
首先，我们定义一个基类Shape，它有一个方法get_area：

class Shape:
    def get_area(self):
        raise NotImplementedError("Subclasses must implement this method")

然后，我们定义两个子类Circle和Rectangle，它们都继承自Shape：

import math
class Circle(Shape):
    def __init__(self, radius):
        self.radius = radius
    def get_area(self):
        return math.pi * self.radius ** 2
class Rectangle(Shape):
    def __init__(self, width, height):
        self.width = width
        self.height = height
    def get_area(self):
        return self.width * self.height

现在，我们定义一个函数print_area，它接受一个Shape对象并打印它的面积：

def print_area(shape):
    print(f"The area is {shape.get_area()}")

我们可以使用Circle和Rectangle对象来调用print_area函数，因为它们都遵守了Shape类的契约：

circle = Circle(5)
rectangle = Rectangle(4, 6)
print_area(circle)  # 输出: The area is 78.53981633974483
print_area(rectangle)  # 输出: The area is 24

在这个例子中，Circle和Rectangle类都正确地实现了get_area方法，因此它们可以替换Shape类而不影响程序的正确性。这符合里式替换原则。
如果我们尝试违反里式替换原则，比如在Circle类中引入一个与Shape类不兼容的行为，那么这将导致问题。例如，如果我们尝试在Circle类中添加一个方法，该方法改变了Shape类的契约，那么这将违反里式替换原则。