Java强类型安全靠编译期显式声明与分阶段验证实现：编译期检查赋值、调用、泛型合法性；运行期通过数组checkcast、强制转换校验、反射类型检查保障对象真实类型安全，且无法禁用关键检查。
Java 的强类型安全机制，核心在于编译期严格约束变量、参数、返回值的类型使用，并在运行期通过字节码验证和类型擦除后的实际对象检查保障安全性。它不是靠“禁止转换”来实现安全，而是靠“明确声明 + 分阶段验证”来防止意外错误。
编译期类型检查：声明即契约
Java 要求每个变量、方法参数、返回值都必须显式声明类型（或由 var 推导），编译器据此验证所有操作是否合法：
- 赋值时右侧表达式的静态类型必须是左侧类型的子类型（协变规则），如 String s = "hello"; 合法，但 Integer i = "123"; 直接报错
- 调用方法时，实参类型必须与形参声明类型匹配，不自动进行隐式类型转换（如 int 和 long 之间不自动拓宽用于重载解析）
- 泛型使用时，编译器执行类型擦除前先做完整类型推导和约束检查，例如 List
list = new ArrayList(); list.add(123); 在编译期就报错
运行期类型安全：对象真实身份决定行为边界
虽然泛型信息在运行期被擦除，但 Java 仍保留关键类型信息以保障安全：
- 数组是具体类型，创建时记录组件类型（如 new String[5]），运行期对元素赋值会做 checkcast 检查，向 Object[] 中存入 Integer 合法，但向 String[] 中存入 Integer 会抛 ArrayStoreException
- 强制类型转换（(T) obj）在运行期检查对象实际类型是否属于目标类型或其子类，否则抛 ClassCastException
- 反射调用方法或访问字段时，JVM 会校验访问权限和类型兼容性，非法操作触发 IllegalAccessException 或 IllegalArgumentException
类型擦除与桥接方法：兼顾泛型安全与 JVM 兼容
Java 泛型通过类型擦除实现，但为保障多态正确性，编译器自动生成桥接方法：
立即学习“Java免费学习笔记（深入）”；
- 例如定义 class Box
{ T get() { ... } } ，编译后 get() 变为返回 Object；当子类重写 Box的 get()，编译器额外生成一个签名是 Object get() 的桥接方法，内部调用 String get()，确保多态调用不破坏类型安全 - 这种设计使泛型在编译期提供完整类型约束，又不改变 JVM 字节码规范，避免运行期引入新类型系统开销
不能绕过的安全底线：无法禁用或跳过关键检查
某些语言允许关闭类型检查（如 TypeScript 的 // @ts-ignore），但 Java 没有等效机制：
- 无法关闭编译期类型检查（javac 不提供“弱类型模式”）
- 无法绕过运行期数组存储检查或类型转换检查（除非使用 Unsafe，但这已脱离 Java 语言安全模型，且默认不可访问）
- 反射中虽可设置 setAccessible(true) 突破访问控制，但类型校验仍存在——传入错误类型的参数仍会抛异常
