一、什么是里氏替换原则
里氏替换原则(Liskov Substitution Principle,简称LSP):它是针对于继承,当使用了继承,那么子类可以替代父类,且程序逻辑不变。
它的大致含义如下:
- 子类必须实现父类的抽象方法,但不得重写(覆盖)父类的非抽象(已实现)方法。
- 子类中可以增加自己特有的方法。
- 当子类覆盖或实现父类的方法时,方法的前置条件(即方法的形参)要比父类方法的输入参数更宽松。
- 当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格。
- .子类必须实现父类的抽象方法,但不得重写(覆盖)父类的非抽象(已实现)方法。
二、什么时候用它?
继承是为了实现代码重用,也就是为了共享方法,那么共享的父类方法就应该保持不变,不能被子类重新定义。
因为继承带来的侵入性,增加了耦合性,也降低了代码灵活性,父类修改代码,子类也会受到影响,此时就需要里氏替换原则。
三、画图理解
通常我们的继承关系:
这是我们常见的继承关系,B类继承了我们A类,B类拥有我们A类所有方法,但是当我们的A类是一个具体类那么它一变那么我们的B类也会受到影响,但是我们又需要用到A类的某些方法。
这个时候我们可以通过里氏替换原则这样设计:
现在这样设计,B类不仅仅可以调用A类所有方法,当A类发生改变,丝毫不会影响到我们的B类,这样耦合性降低,也容易扩展新的功能
四、总结
如何符合LSP?总结一句话 —— 就是尽量不要从可实例化的父类中继承,而是要使用基于抽象类和接口的继承。