向下转型本质是在向上转型后安全还原子类身份以调用特有成员，必须先用 instanceof 校验类型，否则抛 ClassCastException；Java 14+ 推荐使用模式匹配简化写法。
Java 中多态下的向下转型，本质是**在已发生向上转型的前提下，安全地还原子类身份以调用特有成员**。它不是多态的常规用法，而是类型信息“被抽象后需要回溯”的补救手段，必须配合运行时类型校验。
向下转型必须先判断再转换
父类引用（如 Animal a = new Dog()）编译期只暴露父类接口，JVM 不会在赋值时阻止非法强转，但运行时若类型不匹配，必然抛 ClassCastException。因此，任何向下转型前都必须用 instanceof 守住第一道门：
- 正确写法：
if (a instanceof Dog) { Dog d = (Dog) a; d.bark(); } - 错误写法：
Dog d = (Dog) a;—— 一旦a实际指向Cat或null，立刻崩溃 -
null instanceof Dog返回false，不会空指针，但需注意逻辑是否覆盖了空值场景
Java 14+ 推荐用模式匹配简化
JDK 14 起支持 instanceof 模式匹配，把类型检查、变量声明和作用域控制合为一步，更简洁且天然防错：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- 写法：
if (a instanceof Dog dog) { dog.bark(); } - 变量
dog是已转换好的Dog类型，仅在if块内有效 - 避免了“判断了却忘记转型”或“转型后在块外误用”的低级疏漏
集合遍历中要逐个校验，不能统一强转
泛型在运行时已擦除，List<animal></animal> 中每个元素的真实类型不确定。不能假设全部一致，更不能对整个集合做泛型强转：
立即学习“Java免费学习笔记（深入）”；
- 危险操作：
((Dog) list.get(0)).bark();—— 遇到Cat就崩 - 安全做法：
for (Animal a : list) { if (a instanceof Dog d) d.bark(); } - 分支较多时（Java 17+），可用
switch模式匹配：switch (a) { case Dog d -> d.bark(); case Cat c -> c.meow(); default -> ; }
频繁向下转型说明设计该优化了
如果业务代码里大量出现 instanceof + 强转 组合，往往意味着继承结构偏离了多态本意：
- 把共性行为提到父类或接口，定义
abstract方法或default方法，让多态自动分发 - 子类特有行为（如“捕猎”）可提取为新接口（如
Hunter），让相关子类实现，再用if (a instanceof Hunter h) h.hunt(); - 把类型判断逻辑封装进父类方法（如
Animal.getSpecialAction()），避免外部暴露具体类型
