理论性知识

定义

里氏替换原则，Liskov Substitution principle（LSP）。

抽象定义是下面这样的

如果对每一个类型为T1的对象O1，都有类型为T2的对象O2，使得以T1定义的所有程序P在所有的对象O1都替换成O2时，程序P的行为没有发生变化，那么类型T2是类型T1的子类型。

通俗地解释一下

一个软件实体如果适用一个父类的话，那一定适用于其子类，所有引用父类的地方必须能透明地使用其子类的对象，子类对象能够替换父类对象，而程序逻辑不变。

引申一下，如果子类替换父类，还必须保证程序逻辑不变，就必须满足以下几点。

优点

加强程序的健壮性，同时变更时可以做到非常好的兼容性。

提高程序的维护性，扩展性，降低需求变更时引入的风险。

代码实战1

实现一个正方形继承长方形的场景，因为正方形是一种特殊的长方形。

定义一个长方形，如下图

定义一个正方形，如下图，重写了父类的方法。

最后执行测试方法，当宽大于等于高时，就改变宽和高。如下图

当用子类正方形替换父类时,程序就会进入无限循环，如下图

根据以上得出，子类可以实现父类的抽象方法，但不能覆盖父类的非抽象方法

代码实战2

首先定义一个简单的父类，如下图

然后定义一个子类，子类的入参类型Map比父类的入参HashMap宽松，如下图

最后测试如下图

由测试结果可以看出，child类完全可以替换base类去执行。遵循了里式替换原则，

即当子类的方法重载父类的方法时，方法的前置条件（即方法的输入，入参）要比父类方法的输入参数更宽松。

代码实战3

还是定义一个简单的父类,方法返回类型为HashMap，如下图

定义一个子类，实现父类抽象方法时，返回值类型为Map，编译器就会直接报错，如下图

根据以上可以得出结论

当子类的方法实现父类的方法时（重写，重载或实现抽象方法），方法的后置条件（方法的输出，返回值）要比父类更严格或相等。

个人总结

一开始学习里式替换原则时，也是不明白。最后也是慢慢理解透的。总结起来就是

子类可以替换父类，替换后，不能改变程序的运行逻辑。

也欢迎大家在评论区留下自己的看法！