理论性知识
定义
里氏替换原则,Liskov Substitution principle(LSP)。
抽象定义是下面这样的
如果对每一个类型为T1的对象O1,都有类型为T2的对象O2,使得以T1定义的所有程序P在所有的对象O1都替换成O2时,程序P的行为没有发生变化,那么类型T2是类型T1的子类型。
通俗地解释一下
一个软件实体如果适用一个父类的话,那一定适用于其子类,所有引用父类的地方必须能透明地使用其子类的对象,子类对象能够替换父类对象,而程序逻辑不变。
引申一下,如果子类替换父类,还必须保证程序逻辑不变,就必须满足以下几点。
- 子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法。
- 子类中可以增加自己特有的方法。
- 当子类的方法重载父类的方法时,方法的前置条件(即方法的输入,入参)要比父类方法的输入参数更宽松。
- 当子类的方法实现父类的方法时(重写,重载或实现抽象方法),方法的后置条件(方法的输出,返回值)要比父类更严格或相等。
优点
加强程序的健壮性,同时变更时可以做到非常好的兼容性。
提高程序的维护性,扩展性,降低需求变更时引入的风险。
代码实战1
实现一个正方形继承长方形的场景,因为正方形是一种特殊的长方形。
定义一个长方形,如下图
定义一个正方形,如下图,重写了父类的方法。
最后执行测试方法,当宽大于等于高时,就改变宽和高。如下图
当用子类正方形替换父类时,程序就会进入无限循环,如下图
根据以上得出,子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法
代码实战2
首先定义一个简单的父类,如下图
然后定义一个子类,子类的入参类型Map比父类的入参HashMap宽松,如下图
最后测试如下图
由测试结果可以看出,child类完全可以替换base类去执行。遵循了里式替换原则,
即当子类的方法重载父类的方法时,方法的前置条件(即方法的输入,入参)要比父类方法的输入参数更宽松。
代码实战3
还是定义一个简单的父类,方法返回类型为HashMap,如下图
定义一个子类,实现父类抽象方法时,返回值类型为Map,编译器就会直接报错,如下图
根据以上可以得出结论
当子类的方法实现父类的方法时(重写,重载或实现抽象方法),方法的后置条件(方法的输出,返回值)要比父类更严格或相等。
个人总结
一开始学习里式替换原则时,也是不明白。最后也是慢慢理解透的。总结起来就是
子类可以替换父类,替换后,不能改变程序的运行逻辑。
也欢迎大家在评论区留下自己的看法!
原文转载:http://www.shaoqun.com/a/522476.html
全球速卖通:https://www.ikjzd.com/w/81
xinong:https://www.ikjzd.com/w/1368
理论性知识定义里氏替换原则,LiskovSubstitutionprinciple(LSP)。抽象定义是下面这样的如果对每一个类型为T1的对象O1,都有类型为T2的对象O2,使得以T1定义的所有程序P在所有的对象O1都替换成O2时,程序P的行为没有发生变化,那么类型T2是类型T1的子类型。通俗地解释一下一个软件实体如果适用一个父类的话,那一定适用于其子类,所有引用父类的地方必须能透明地使用其子类的
赛兔:赛兔
google趋势:google趋势
年终总结写了吗?让你年终总结变得高大上的方法来了!:年终总结写了吗?让你年终总结变得高大上的方法来了!
抖音红人牛肉哥1亿入股洋码头成为合伙人:抖音红人牛肉哥1亿入股洋码头成为合伙人
口述:只有满足爱爱需求 男友才对我好情感第一次处女:口述:只有满足爱爱需求 男友才对我好情感第一次处女
No comments:
Post a Comment