保障向下转型安全的核心是instanceof运算符配合作用域控制：必须先用instanceof校验再转型，Java 14+推荐模式匹配（如if (a instanceof Dog d)），集合遍历需逐个判断，频繁转型提示设计应优化。
多态本身不处理类型校验，它只是让父类引用能指向不同子类对象；真正保障向下转型安全的，是 instanceof 运算符配合明确的作用域控制——跳过校验直接强转，必然在运行时崩。
用 instanceof 做前置守门人
在复杂继承体系中（比如 Animal → Pet → Dog / Cat / Poodle），父类引用可能指向任意层级的子类实例。此时调用子类特有方法前，必须确认实际类型是否兼容目标类型：
- instanceof 判断的是“能否安全转成”，不是“是不是这个类”：new Poodle() instanceof Dog → true，因为 Poodle 是 Dog 子类；但 new Dog() instanceof Poodle → false
- null instanceof 任何类型都返回 false，无需额外判空，但逻辑路径仍建议保持清晰可读
- 错误写法：Dog d = (Dog) animal; —— 一旦 animal 实际是 Cat 或纯 Animal，立刻抛 ClassCastException
- 正确写法：if (animal instanceof Dog) { Dog d = (Dog) animal; d.bark(); }
Java 14+ 推荐用模式匹配简化且加固
JDK 14 起支持 instanceof 模式匹配，把类型检查和变量声明合并，变量自动限定在 if 块内，天然防错：
- if (animal instanceof Dog d) { d.bark(); } —— d 已是转型后的 Dog 类型，不能在 if 外访问
- 避免“判断后忘记转型”或“转型后误用变量”的低级错误
- 对普通类、接口、记录、枚举、密封类（sealed class）都适用；密封类还能获得编译期类型穷尽检查
集合遍历中逐个校验，拒绝统一强转
面对 List<Animal> 这类泛型集合，运行时类型已擦除，不能假设所有元素都是同一子类：
立即学习“Java免费学习笔记（深入）”；
- 危险操作：((Dog) list.get(i)).bark() —— 遇到 Cat 就崩溃
- 安全做法：循环中每个元素单独 instanceof 判断，按类型分支处理
- Java 17+ 可升级为 switch 模式匹配：switch (obj) { case Dog d -> d.bark(); case Cat c -> c.meow(); default -> System.out.println("unknown"); }，遗漏类型会被编译器提醒
频繁转型说明设计需要优化
如果业务里大量出现 instanceof + 向下转型组合，往往意味着继承结构或职责划分存在隐患：
- 把共性行为提到父类或接口，定义抽象方法或 default 方法，让多态自然分发
- 差异逻辑封装成策略，用 Map<Class<?>, Handler> 或枚举驱动，收口类型分支
- 考虑工厂或建造者模式，在对象创建阶段就明确类型，减少运行时不确定性
- 字段不要重复定义（如子类再写 private String name），优先复用父类 protected 字段或 getter/setter
