Java继承是否符合is-a原则，关键看语义自然、行为可替换、逻辑可传递：一、类名代入“X是一种Y”须顺口无歧义；二、子类必须能安全替换父类（满足里氏替换）；三、关系单向传递不可逆；四、警惕仅为复用字段或has-a关系而误用继承。
判断 Java 继承是否符合 is-a 原则，关键不是看能不能编译通过，而是看语义是否自然、行为是否可替换、逻辑是否可传递。
一、自然语言能脱口而出且不别扭
把类名代入“X 是一种 Y”句式，读出来要顺、不需强行解释：
- ✅ 哈士奇是一种狗、狗是一种动物、订单是一种业务实体（若领域建模中明确如此定义）
- ❌ 用户是一种订单、汽车是一种发动机、ArrayList 是一种线程安全列表（实际不是，它本身不保证线程安全）
二、子类对象能安全替换父类对象（里氏替换原则）
任何使用父类的地方，换成子类后，程序逻辑不变、结果合理、不抛意外异常：
java-api-doc-generator
下载
分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
- 如果
Bird有fly()方法，而Ostrich extends Bird却让fly()抛UnsupportedOperationException，说明“鸵鸟是一种会飞的鸟”这个 is-a 不成立 - 若
Rectangle有setWidth()和setHeight()，而Square extends Rectangle重写这两个方法导致长宽强同步，调用方按矩形逻辑使用时行为异常——这也是 LSP 破坏，is-a 失效
三、关系具有单向传递性，不可逆
is-a 是层级递进的，但不能倒推：
- ✅ 学生 → 人、本科生 → 学生 → 人，所以本科生 → 人 成立
- ❌ 不能因为“本科生是学生”，就认为“学生是本科生”；也不能因“订单是业务实体”，就让所有业务实体都继承
Order
四、警惕常见误用信号
出现以下情况，大概率不是 is-a，而是 has-a 或纯复用需求：
- 只是为了共享字段（如所有 POJO 都
extends BaseEntity只为共用id和createTime） - 类名之间读不出“是一种”，但能自然说成“有一个”或“包含一个”（如
Car有Engine，不是一种Engine） - 父类没有设计为可继承（方法未声明为
protected或public，关键逻辑用private封装，JavaDoc 无继承说明）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
