java编译器仅依据声明类型静态检查类型转换合法性：向上转型自动允许，向下转型需显式且存在继承路径，泛型擦除前完成约束，无类型检查关闭机制。
Java 编译器检查类型转换的合法性，核心是只看引用类型、不看实际对象，依据 Java 语言规范中的继承关系和类型兼容性规则，在编译阶段完成静态判断。
编译期只认声明类型，不查运行时对象
变量的类型由其声明决定（比如 Object obj = new String();），编译器仅根据 obj 的声明类型（Object）来评估后续所有操作是否合法：
- 如果目标类型与声明类型存在明确的继承或实现关系（如
String是Object的子类），向下转型((String) obj)允许出现，编译通过； - 如果两个类型完全无关（如
String和Integer），哪怕运行时想靠字符串解析转数字，编译器也直接报错：incompatible types； -
null可赋给任意引用类型，编译器不校验其“内容”，所以Object obj = null; String s = (String) obj;能编译成功，但运行时调用方法会抛NullPointerException。
向上转型自动允许，向下转型需显式且可推导
- 向上转型（宽化）如
String s = "a"; Object o = s;不需要括号，编译器自动认可，因为子类实例天然适配父类引用； - 向下转型（窄化）必须写明
(TargetType)，且编译器要能静态确认TargetType和源变量声明类型之间存在继承路径：-
Object o = new ArrayList(); List l = (List) o;✅ 编译通过（ArrayList实现List）； -
Object o = new String(); Integer i = (Integer) o;❌ 编译失败（无继承/实现关系）。
-
泛型擦除前完成全部类型约束
泛型类型（如 List<string></string>）在编译期被完整校验：
-
list.add(123)对List<string></string>会直接报错，因为编译器已知元素必须是String； -
String s = list.get(0);被自动补上(String)强转，该强转仍受运行期checkcast指令约束——编译通过 ≠ 运行安全，只是说明“语法上可能成立”。
无法绕过，也不提供“关闭选项”
Java 没有类似 TypeScript 的 @ts-ignore 或 Python 的 # type: ignore 机制：
- 编译器强制执行类型检查，不存在弱类型模式或跳过开关；
- 即使使用反射或
Unsafe，也已脱离 Java 安全模型，不是语言层面的合法绕过方式。
不复杂但容易忽略
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
