向下强转的安全关键在于将类型判断、转换、使用三步嵌入流程控制：用if封装判断与强转，作用域限制变量生命周期，else-if链覆盖所有已知子类并用else兜底未知类型。
向下强转不是“能不能做”，而是“在什么条件下、以什么顺序做才不会出错”。核心在于把类型判断、转换、使用三步，嵌入到流程控制的自然节奏里——用 if 控制入口，用作用域限制变量生命周期，用分支结构隔离不同子类逻辑。
用 if 块封装判断与转换，禁止跨作用域使用
instanceof 只是守门员，真正安全靠的是“判完立刻转、转完立刻用、用完就结束”。一旦把强转语句写在 if 外，或把转换后的变量声明在 if 外，就等于让不安全状态逃出管控范围。
- ✅ 正确：在 if 块内完成 instanceof 判断 + 强转 + 方法调用，变量生命周期严格受限
- ❌ 错误：if (obj instanceof Dog) { } 然后在外面写 Dog d = (Dog) obj —— 此时 obj 可能根本不是 Dog
- ⚠️ 注意：即使 obj 是 final 或不可变，也不能跳过 if 内强转；编译器不保证运行时类型稳定
多个子类分支必须用 else-if 链或策略分发，避免遗漏和重叠
当一个父类引用可能对应 Dog、Cat、Bird 三种子类时，流程不能靠“猜”或“试”，而要靠显式覆盖所有已知合法路径，并对未知类型做明确兜底。
- 用 else-if 串起所有已支持子类：每个分支只处理一种类型，逻辑互斥、边界清晰
- 末尾加 else 分支：记录 warn 日志，输出 obj.getClass().getName()，便于快速发现新类型或测试数据异常
- 若分支超过 3–4 个，建议改用策略注册表（如 Map
, Handler>），把流程控制权交给配置而非硬编码
Java 14+ 推荐用模式匹配简化流程，自动绑定非空变量
传统写法需两步：先判断，再强转。模式匹配把这两步压缩为一句语法，同时赋予变量天然非空、类型确定、作用域封闭三重保障。
- 写法：if (obj instanceof Dog d) { d.bark(); } —— d 在 if 块内直接可用，无需 (Dog) obj 再次书写
- 支持连写条件：if (obj instanceof Dog d && d.isTrained()) { ... }，把类型检查和业务校验合并在同一判断中
- 不支持三元表达式或字段赋值，正好防止误用；变量 d 无法在 if 外访问，从语言层面杜绝误操作
并发或流式场景下，确保每个分支独立闭环，不共享中间变量
在 parallelStream、CompletableFuture 或多线程任务中，流程控制必须适配并发语义：每个线程/任务应独自完成“判断→转换→执行”，不能共用一个子类引用变量。
- ❌ 危险：在外部定义 Dog dog; 然后 forEach 中赋值 —— 多线程争抢写入，结果不可预测
- ✅ 安全：filter(obj -> obj instanceof Dog).map(obj -> (Dog) obj).forEach(Dog::bark)
- ✅ 更优（Java 16+）：filter(obj -> obj instanceof Dog d).forEach(d -> d.bark()) —— d 绑定在当前 lambda 作用域，天然线程局部
