里氏替换原则(LSP:liskov substitution principle)
定义:任何基类出现的地方,子类一定可以出现。
里氏替换原则是继承复用的基石,只有当衍生类可以替换基类,而且功能不受影响时,基类才能真正被复用,而衍生类也能在子类的基础上增加新的功能。(也就是说,任何一个子类的实例都可以替换父类的实例,而功能不受影响)
要遵循里氏替换原则, 需要保证子类在实现父类方法时,必须遵循父类的方法,而且不能重写父类已经定义的方法,可以这样理解继承中父类的关系:
父类中定义的方法,实际上是在设定一系列的规则和契约,虽然它不强制子类必须遵循这些契约,但是如果子类对父类的方法修改,就会对整个继承体系产生破坏。
继承是面向对象的三大特性之一(封装、继承、多态),完成了对代码的复用和对子类的约束。我们也需要明白它的缺点,当有需求变更需要改变父类时,因为子类与父类的强关联特性,不得不考虑这种改变对所有子类可能造成的影响。