概念
里氏代换原则(Liskov Substitution Principle LSP)
子类型必须能够替换掉他们的父类型。
一个软件实体如果使用的是一个父类的话,一定可以用它的子类替换。任何基类可以出现的地方,子类一定可以出现。 LSP是继承复用的基石,只有当衍生类可以替换掉基类,软件单位的功能不受到影响时,基类才能真正被复用,而衍生类也能够在基类的基础上增加新的行为。
里氏代换原则是对“开-闭”原则的补充。实现“开-闭”原则的关键步骤就是抽象化。而基类与子类的继承关系就是抽象化的具体实现,
所以里氏代换原则是对实现抽象化的具体步骤的规范。因为可以依赖父类型,实现的细节是子类型,再基于父类型也容易扩展其他子类型,这就满足了开放和依赖倒转原则。
编者按:
这个概念也比较好理解,主要还是 父子关系的问题,用来解决抽象的具体实现。