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 是层级递进的，但不能倒推：

立即学习“Java免费学习笔记（深入）”；

• ✅ 学生 → 人、本科生 → 学生 → 人，所以本科生 → 人 成立
• ❌ 不能因为“本科生是学生”，就认为“学生是本科生”；也不能因“订单是业务实体”，就让所有业务实体都继承 Order

四、警惕常见误用信号

出现以下情况，大概率不是 is-a，而是 has-a 或纯复用需求：

• 只是为了共享字段（如所有 POJO 都 extends BaseEntity 只为共用 id 和 createTime）
• 类名之间读不出“是一种”，但能自然说成“有一个”或“包含一个”（如 Car 有 Engine，不是一种 Engine）
• 父类没有设计为可继承（方法未声明为 protected 或 public，关键逻辑用 private 封装，JavaDoc 无继承说明）