源码分析七大设计原则之里氏替换原则（Liskov Substitution Principle）

源码分析之七大设计原则

一、里氏替换原则（Liskov Substitution Principle）

定义：子类型必须能够替换掉它们的父类型
一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，且它察觉不出父类对象和子类对象的区别。也就是说，子类对象可以随时随地的替换父类对象，并且替换完以后，语法不会报错，业务逻辑不会出现问题

只有当子类可以替换掉父类，软件功能不受影响时，父类才能真正被复用，而子类也能够在父类的基础上增加新的行为，正是有里氏代换原则，使得继承复用成为了可能。也正是由于子类型的可替换性才使得使用父类类型的模块在无需修改的情况下就可以扩展，不然还谈什么扩展开放，修改关闭

里氏替换原则通俗的来讲就是：子类可以扩展父类的功能，但不能改变父类原有的功能。它包含以下四层含义：
1、子类可以实现父类的抽象方法，但不能覆盖父类的非抽象方法
2、子类中可以增加自己特有的方法
3、当子类的方法重写父类的方法时，方法的前置条件（即方法的形参）要比父类方法的输入参数更宽松
4、当子类的方法实现父类的抽象方法时，方法的后置条件（即方法的返回值）要比父类更严格

二、源码演练

class SuperClass {
    public void  doSomething() {}
}

class DeriveClass extends SuperClass {
	@Override
    public void  doSomething() throws Exception {}
}

三、温馨提示

方法重写的两个依据：
1、子类重写父类的方法时，子类方法的方法修饰符不能比父类的更严格
2、子类重写父类的方法时, 子类方法不能抛出比父类更多的异常

假设这些不成立：重写方法抛出异常，这样调用时就不符合里氏替换原则的定义

这两个依据就是为了保证子类在替换父类对象后，语法不会报错，也就是为了保证里氏替换原则

多态里面的向上造型 、匿名内部类都是基于里氏替换原则