当前位置: 首页 > news >正文

里氏替换原则在继承关系中子类对父类方法的重写(覆盖)或重载时应遵循的规则

什么是里氏替换原则:只要父类能出现的地方子类就可以出现,而且 替换为子类也不会产生任何错误或异常,使用者可能根本就不需要知道是父类还是子类。但是,反过来就不行了,有子类出现的地方,父类未必就能适应。

简而言之,子类在重写或重载父类的方法时,对方法的返回值或输入参数应该是“小于等于”(或更具体)于父类的方法。这里的“小于等于”指的是继承关系中子类方法的行为不应该超出父类方法的行为范围。

为了更好地理解,让我们来解释一下含义:

  1. 覆写(Override)的情况: 当子类覆写父类的方法时,子类的方法应该具有相同的方法名、相同的输入参数,但方法体可以重新实现。在这种情况下,方法的返回值类型(也称为方法的协变类型)应该是父类方法返回值类型的子类型(即小于等于父类返回值类型)。这是为了确保子类的行为不会超过父类的行为范围。

  2. 重载(Overload)的情况: 重载是指在同一个类中,方法名相同但输入参数不同的情况。在继承关系中,子类可以重载父类的方法,但是子类重载的方法应该有更宽松的输入参数要求,即子类的输入参数类型应该是父类的输入参数类型的父类型(即宽于或等于父类输入参数类型)。这是为了确保子类方法可以适用于更广泛的输入。

总结起来,LSP要求子类覆写的方法不应该做超出父类方法行为范围的事情,而子类重载的方法应该具有更广泛的输入参数要求。这样可以保证在使用子类对象替代父类对象时,不会出现意外的行为,同时保持了代码的可靠性和一致性。

总结一下:

1、覆写是返回值的范围应该变小(确保行为范围),重载是入参的范围应该变大。

2、同时类的覆写和类的重载本身与返回值没有关系。

子类中方法的前置条 件必须与超类中被覆写的方法的前置条件相同或者更宽松

这句话在讲述里氏替换原则(Liskov Substitution Principle,LSP)中的另一个关键概念,即子类中覆写(重写)方法的前置条件(preconditions)与父类中被覆写方法的前置条件相比应该保持相同或者更宽松。

前置条件指的是方法执行前需要满足的一些条件,以确保方法的正常执行。里氏替换原则要求:

  1. 相同的前置条件: 子类中覆写父类方法时,子类方法的前置条件必须与父类方法的前置条件相同。这意味着在调用子类方法之前,所需的条件和约束应该与调用父类方法时相同,以确保代码的稳定性和可预测性。

  2. 更宽松的前置条件: 子类方法的前置条件可以比父类方法更宽松。这是为了增强子类的灵活性和适用性。如果子类方法的前置条件比父类方法宽松,那么意味着子类方法可以在更多的情况下被调用,而不会破坏程序的正确性

总之,这一原则确保了子类的方法在被调用时,能够满足至少与父类方法相同的前置条件,以及更宽松的前置条件,从而避免了在子类中破坏父类行为的情况。这有助于保持代码的合理性和可维护性。

demo:

public class Father {public Collection doSomething(Map map) {System.out.println("父类被执行...");return map.values();}
}public class Son extends Father {//子类的范文更小,所以最后没有满足 里氏替换原则public Collection doSomething(HashMap map) { System.out.println("子类被执行...");return map.values();}
}public class Client {public static void invoker() {Father f = new Father();HashMap map = new HashMap();f.doSomething(map);}public static void main(String[] args) {invoker(); //父类被执行...}
}public class Client {public static void invoker() {Son f = new Son();HashMap map = new HashMap();f.doSomething(map);}public static void main(String[] args) {invoker(); //子类被执行...  没有满足 里氏替换原则}
}

http://www.lryc.cn/news/163800.html

相关文章:

  • 【脑机接口开源数据处理包】brainflowBrainFlow是一个库,旨在获取,解析和分析脑电图,肌电图,心电图和其他类型的数据从生物传感器。
  • #452. 序列操作
  • 《Python深度学习-Keras》精华笔记3:解决深度学习多分类问题
  • 区块链世界的大数据入门之zkMapReduce简介
  • Python流程控制语句-条件判断语句练习及应用详解
  • (十)ElasticSearch高级使用【别名,重建索引,refresh操作,高亮查询,查询建议】
  • 基于小波神经网络的中药材价格预测,基于ANN的小波神经网络中药材价格预测
  • thinkPhp5返回某些指定字段
  • 基于docker环境的tomcat开启远程调试
  • ELK日志框架图总结
  • go 每天定时任务 --chatGPT
  • Lightdb 23.3 plorasql函数支持DML
  • 电容笔值不值得买?开学季比较好用的电容笔
  • Mybatis 框架 ( 五 ) 分页
  • Python模板注入
  • Java常用的设计模式
  • 攻防世界-WEB-Web_php_include
  • angular中多层嵌套结构的表单如何处理回显问题
  • Leetcode646. 最长数对链
  • Windows 下安装NPM
  • 【ARM CoreLink 系列 2 -- CCI-400 控制器简介】
  • LeetCode(力扣)77. 组合Python
  • uniapp h5 微信缓存,解决版本更新还是旧版本
  • Nacos——Distro一致性协议
  • 大模型参数高效微调PEFT的理解和应用
  • 工作游戏时mfc140u.dll丢失的解决方法,哪个方法可快速修复mfc140u.dll问题
  • 选择排序——直接选择排序
  • 【C++基础】观察者模式(“发布-订阅”模式)
  • 从业多年,我总结出软件测试工程师必须掌握的技能,你不可错过!
  • 【nerfStudio】5-nerfStudio导出3D Mesh模型