源码分析之七大设计原则
一、里氏替换原则(Liskov Substitution Principle)
定义:子类型必须能够替换掉它们的父类型
一个软件实体如果使用的是一个父类的话,那么一定适用于其子类,且它察觉不出父类对象和子类对象的区别。也就是说,子类对象可以随时随地的替换父类对象,并且替换完以后,语法不会报错,业务逻辑不会出现问题
只有当子类可以替换掉父类,软件功能不受影响时,父类才能真正被复用,而子类也能够在父类的基础上增加新的行为,正是有里氏代换原则,使得继承复用成为了可能。也正是由于子类型的可替换性才使得使用父类类型的模块在无需修改的情况下就可以扩展,不然还谈什么扩展开放,修改关闭
里氏替换原则通俗的来讲就是:子类可以扩展父类的功能,但不能改变父类原有的功能。它包含以下四层含义:
1、子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法
2、子类中可以增加自己特有的方法
3、当子类的方法重写父类的方法时,方法的前置条件(即方法的形参)要比父类方法的输入参数更宽松
4、当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格