Java中的里氏替换原则失效场景_继承滥用的典型案例分析
从现在开始,努力学习吧!本文《Java中的里氏替换原则失效场景_继承滥用的典型案例分析》主要讲解了等等相关知识点,我会在golang学习网中持续更新相关的系列文章,欢迎大家关注并积极留言建议。下面就先一起来看一下本篇正文内容吧,希望能帮到你!
里氏替换原则要求子类必须严格遵循父类契约:异常类型不可拓宽、前置条件不可加强、后置条件与不变量不可削弱,且禁止用继承模拟“has-a”关系,否则将导致编译失败或运行时隐性崩溃。

子类重写父类方法时抛出更宽泛异常
里氏替换原则(LSP)要求子类对象能无缝替代父类对象,但若子类方法抛出父类未声明的检查型异常,调用方代码会直接编译失败。这不是运行时问题,而是静态契约被破坏。
- 父类
save()声明throws IOException,子类重写后却throws Exception—— 调用方原逻辑不处理Exception,编译报错:unreported exception Exception; must be caught or declared to be thrown - 常见于“为了兜底加个 try-catch-throw new RuntimeException()”之外的错误做法:比如误把
SQLException包装成Exception向上抛 - 修复方式不是“统一改成 RuntimeException”,而是严格遵循父类异常签名;若真需扩展错误语义,应定义新的受检异常并继承父类已声明的异常类型
子类覆盖父类方法后改变前置条件(Precondition)
父类方法允许 null 输入,子类重写后加了 Objects.requireNonNull() 校验,就违反 LSP —— 外部代码传 null 给父类能跑通,换成子类就 NullPointerException。
- 典型场景:父类
process(String data)内部容忍data == null并返回默认结果;子类实现里第一行就if (data == null) throw new IllegalArgumentException() - 这种校验看似“更健壮”,实则让子类无法替代父类使用,尤其在依赖注入或工厂返回抽象类型时会静默崩溃
- 正确做法是:前置条件只能削弱(如父类要求非空,子类允许 null),不能加强;若业务真需要校验,应在更高层(如 API 入口)做,而非污染领域模型契约
子类修改父类方法的后置条件(Postcondition)或不变量(Invariant)
父类保证方法返回非 null,子类返回 null;或者父类维护某个字段单调递增,子类重写后重置它——这类行为变化会让依赖父类契约的代码意外失效。
- 例如父类
getUserById(long id)文档/测试均表明“必返回 User 对象”,子类实现因缓存未命中直接返回null,上游代码不做判空就 NPE - 又如父类
Counter的increment()保证value >= 0且只增不减,子类重写时加入“超限归零”逻辑,破坏了调用方对单调性的假设 - 检测手段:看父类 Javadoc、单元测试断言、以及所有显式或隐式的“保证”;子类不能缩小返回值范围、不能放宽/收紧状态约束
用继承模拟“has-a”关系(比如用 ArrayList 继承自 List)
Java 中 ArrayList 是 List 的实现,但它没继承 List 接口——因为接口不能继承,而类继承接口用 implements。但开发者常误让工具类继承集合类,以为“复用代码”,结果彻底违背 LSP。
- 写一个
class SafeList extends ArrayList,并在构造时自动过滤 null —— 表面看合理,但SafeList无法替代ArrayList:调用方若执行list.ensureCapacity(100),父类行为被继承,但子类语义上“容量”可能毫无意义 - 更隐蔽的问题:
SafeList继承了所有ArrayList的 public 方法(如trimToSize()、removeRange()),这些方法绕过你的过滤逻辑,直接操作底层数组 - 真正该做的是组合:
class SafeList { private final List,只暴露你控制得住的行为delegate = new ArrayList<>(); }
最麻烦的不是语法报错,而是那些没写进文档、没进测试、只在特定分支路径才触发的契约破坏——它们让替换子类像拆一颗松动的螺丝,表面没事,震动一大就散架。
终于介绍完啦!小伙伴们,这篇关于《Java中的里氏替换原则失效场景_继承滥用的典型案例分析》的介绍应该让你收获多多了吧!欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布文章相关知识,快来关注吧!
golang如何实现桌面应用热更新_golang桌面应用热更新实现攻略
- 上一篇
- golang如何实现桌面应用热更新_golang桌面应用热更新实现攻略
- 下一篇
- 怎么理解HashMap在扩容时重新分配Hash槽位的重排逻辑
-
- 文章 · java教程 | 10小时前 |
- Java 虚拟线程连接池改造的资源边界
- 236浏览 收藏
-
- 文章 · java教程 | 15小时前 | Java · 虚拟线程 · java UncaughtExceptionHandler 虚拟线程 Thread.Builder.OfVirtual
- Java Thread.Builder.OfVirtual 设置线程异常处理器
- 139浏览 收藏
-
- 文章 · java教程 | 17小时前 | 数据处理 · Java教程 · java windowFixed Stream Gatherer 事件窗口
- Java Stream Gatherer 组合短窗口事件的实现步骤
- 495浏览 收藏
-
- 文章 · java教程 | 1天前 | 并发 · Java · 随机数 · RandomGeneratorFactory Java随机算法 随机数并发
- Java RandomGeneratorFactory 怎么按能力选择随机算法
- 244浏览 收藏
-
- 文章 · java教程 | 1天前 |
- Java HexFormat 怎么在字节数组和十六进制文本间转换
- 361浏览 收藏
-
- 文章 · java教程 | 1天前 | 文件处理 · nio · Java教程 · java 文件比较 Files.mismatch 字节偏移
- Java Files.mismatch 怎么定位两个文件首个差异
- 342浏览 收藏
-
- 文章 · java教程 | 1天前 | Java ·
- Java Base64 流式编码怎么避免一次加载大文件
- 182浏览 收藏
-
- 文章 · java教程 | 1天前 | Java · 可观测性 ·
- Java JFR EventStream 怎么实时消费运行事件
- 145浏览 收藏
-
- 文章 · java教程 | 1天前 | Java ·
- Java Class-File API 怎么读取类文件结构
- 419浏览 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 485次学习
-
- PubMedQA
- 深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
- 261次使用
-
- H2O EvalGPT
- H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
- 307次使用
-
- LMArena
- LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
- 289次使用
-
- HELM
- 深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
- 266次使用
-
- MMBench
- MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
- 76次使用
-
- Java try-with-resources 多个资源关闭顺序是什么
- 2026-09-10 501浏览
-
- 矩阵主副对角线快速定位技巧
- 2026-05-31 501浏览
-
- Java多态优化流程代码与行为分发改进
- 2026-05-26 501浏览
-
- JVM 类元数据双亲委派链表深度解析
- 2026-05-21 501浏览
-
- 反射异常处理:InvocationTargetException解析与应用
- 2026-05-16 501浏览
