Java泛型的类型安全检查在编译期完成，由javac全程跟踪泛型参数、推导约束、校验赋值与调用链，并在类型擦除前插入必要强制转换，确保运行时类型安全。
Java 泛型的类型安全检查在编译期生效，靠的是编译器对泛型参数的全程跟踪与静态验证，而不是等到运行时才判断。它不依赖 JVM 新增类型系统，也不靠运行时反射或额外开销，而是把“类型契约”写进代码结构里，让 javac 在生成字节码前就拦住所有不合法操作。
编译器基于类型参数做全程推导和约束
当你声明一个 Box<T> 或使用 List<String> 时，javac 并不是简单地记下这个标签——它会：
- 把每个
T视为有明确上界（默认Object）的占位符，在方法签名、字段声明、返回值中统一替换并校验 - 检查所有赋值：比如
box.set("hello")是否符合set(T value)中T的实际约束（如<T extends Number>就不允许传 String） - 验证调用链：若
Box<Integer>的get()返回Integer，那么后续直接调用.intValue()就合法；换成Box<String>则该调用编译失败
擦除前完成全部检查，擦除后插入必要转换
类型擦除不是“删掉再不管”，而是“先验明正身，再安全抹除”：
- javac 先按完整泛型语义走一遍类型检查，确认无误后，才把
Box<String>擦成Box，把T替换为Object或其上界 - 同时，它会在 get() 等位置自动插入强制转换，例如
(String) super.get()，这个转换是编译器生成的，不是你写的 - 正因为转换目标已在编译期确定，所以即使运行时泛型信息没了，只要对象真实类型匹配，就不会出错；不匹配则在运行时立刻抛
ClassCastException，而非静默错误
容器操作被严格绑定到实例化类型
泛型集合的安全性最直观体现在 add/get 上：
立即学习“Java免费学习笔记（深入）”；
-
List<Double> list = new ArrayList<>();后，list.add(3.14)合法，list.add("abc")直接编译报错——不是警告，是错误 -
Double d = list.get(0);不需要 cast，因为编译器已确认返回值一定是Double或其子类 - 这种限制无法绕过：即使用反射强行 add 一个 String，后续 get 并赋给 Double 变量时，自动生成的
(Double)转换仍会触发运行时异常，问题不会隐藏
通配符与边界进一步收紧可操作范围
泛型不只是“指定一个类型”，还能用 extends 和 super 划定安全边界：
-
List<? extends Number>表示“只读 Number 或其子类”，你可以取元素并当作 Number 用，但不能 add（除了 null），避免破坏类型一致性 -
Collection<? super Integer>表示“至少能存 Integer”，你可以安全 add Integer，但取出来只能当 Object 用 - 这些规则都在编译期强制执行，不是文档约定，是 javac 报错级别的约束
