多态无法在编译期拦截不合法转型，因编译器仅检查继承关系而非具体类型；真正危险的是看似合理实则错误的向下转型，需靠instanceof校验、泛型约束、多态设计及运行时防护来避免ClassCastException。
多态本身不会、也不能把不合法的转型拦截在编译期——这是类型系统的设计分工决定的：编译期只看引用类型，运行期才看实际类型。所谓“不合法的对象转型”，比如把一个 Dog 引用强行转成 Cat，Java 编译器根本不会拦，因为 Dog 和 Cat 可能同为 Animal 的子类，编译器只认“有没有继承/实现关系”，不验证“是不是这个具体子类”。
编译期能拦住的，仅限明显违背继承关系的强转
例如：
-
String s = "a"; Integer i = (Integer) s;→ 编译报错：inconvertible types -
Object o = new Object(); Thread t = (Thread) o;→ 编译报错：incompatible types
这类错误能被拦住，是因为 String 和 Integer 之间没有继承或实现关系，编译器静态分析即可否定。但只要两个类有共同父类（哪怕只是 Object），编译器就允许向下转型——它把合法性判断交给运行期。
真正该防范的是“看似合理、实则危险”的向下转型
比如：
立即学习“Java免费学习笔记（深入）”；
Animal a = getAnimalFromDB(); // 实际是 DogCat c = (Cat) a; // 编译通过，运行时 ClassCastException
这种转型编译器放行，因为它符合“Cat 是 Animal 的子类”这一静态契约。要避免它，不能依赖编译期，而要靠编码习惯和运行时防护：
- 转型前必加
if (a instanceof Cat) - JDK 14+ 推荐写法：
if (a instanceof Cat cat) { /* cat 已是 Cat 类型 */ } - 设计上优先用多态方法替代转型，例如把
cat.meow()抽到Animal.speak()中
泛型配合多态，从源头减少转型需求
很多向下转型源于返回 Object 或原始集合。用泛型可让编译期提前约束：
- 把
public Object getHandler()改成public <t> T getHandler(Class<t> type)</t></t> - 用
List<dog></dog>替代List，取值时无需强转，编译期就保障类型安全 - JSON 反序列化时传
new TypeReference<list>>() {}</list>，而非先解析成Map再手动转
反射场景下更需主动校验，不能指望编译器
反射调用（如 method.invoke(obj)）完全绕过编译检查。即使方法声明返回 Dog，实际可能返回 Cat。此时必须：
- 拿到返回值后，用
instanceof检查 - 或封装工具方法：
cast(result, Dog.class)，内部做类型校验并提供清晰异常信息 - 避免在反射链路中混用不同类加载器加载的同名类（如模块隔离导致的
com.example.User不兼容）
不复杂但容易忽略。关键在认清边界：编译期管“能不能转”，运行期管“该不该转”。把防护逻辑落到代码里，而不是等异常发生。
