理解liskov替换原理需要清晰

Question

LSP定义指出，如果S是T的子类型，则程序中T类型的对象可以替换为S类型的对象，而不改变该程序的任何期望属性。

1. 子类型中的前提条件不能加强

例如，我有下面的类，这是违反（在子类型中不能加强前提条件）。我正试图把我的头绕在这上面，请有人提供一个好的例子来理解它。

Class Switch:
   def __init__(self,ip,dc):
       self.ip=ip
       self.dc=dc

class CiscoSwitch(Switch):
   def __init__(self,ip,dc,zone):
       super().__init__(ip,dc)
       self.zone=zone

class JuniperSwitch(Switch):
   def __init__(self,ip,dc,zone):
       super().__init__(ip,dc)
       self.zone=zone

Answer 1

LSP原则通过接口工作，即对象/值中的公共内容。在Python中，您拥有公共的属性和方法，因此，如果您要实现一个接口，您必须遵守它。在您的示例中，Switch类仅定义与其属性相关的接口，即它具有ip和dc字段。由于您正在CiscoSwitch和JuniperSwitch中调用super，因此它们都有这些字段，因此实现了开关的“接口”，并且可以替换它。

现在，让我们来解决您提到的条件：

1. 先决条件不能在子类型中得到加强

假设您有一个带有为形状着色的方法的接口，该方法只接受十六进制颜色（“123456”）或rgb颜色（（123124125））。假设您创建了一个实现此接口的类矩形，但它只接受rgb颜色。你在强化先决条件。如果代码中有这一行：generic\u shape。颜色（“123456”）

无法替换其中的矩形，因此正在破坏LSP。

一个典型的例子是，对于不应返回None的方法，返回None。假设在Shape界面中，您有一个getSide方法，并且您创建了一个Circle类，在实现此方法时，您返回None。这打破了调用者的预期，并可能导致意外错误：

side = generic_shape.get_side() # suppose it is a circle
scaled_side = side * 2 # you get an error

在我看来，这一点更复杂，因为很难让它明确。我能想到的唯一一个例子是将属性保持为非Null，假设在您的示例中，您有一个不使用IP的交换机（可能使用MAC addr），如果交换机接口期望IP字段不应为None，您的MAC交换机将代理此接口。

我希望它能有所帮助！