Java泛型通过编译期类型约束和自动插入强制转换实现类型安全，运行时采用类型擦除并辅以桥接方法和运行时校验，禁止部分操作以杜绝隐患。
Java 泛型在集合框架中不靠运行时检查，而是靠编译期的类型约束 + 自动插入转换代码，把类型错误挡在运行之前。
编译阶段就拦住非法操作
声明集合时指定类型，编译器立刻开始盯梢：
- 往
List<string></string>里加123或new Date()，直接报错，不给进 - 从
List<double></double>调用get(0)，返回值自动当Double用，不用写(Double) - 如果硬用原始类型（比如
List raw = new ArrayList()）混入不同对象，后续取值时才可能崩——泛型一上，这种隐患从源头掐断
运行时靠“擦除+桥接”兜底
字节码里确实没有 List<String> 这种类型，但安全没打折：
- 所有泛型集合编译后变成原始类型（如
List），元素存成Object，但每次读取都悄悄补一句(String)强转 - 如果有人用反射绕过编译检查塞进错误类型（比如往
List<String>里塞Integer），第一次调用get()就抛ClassCastException，不会让错误数据潜伏下去 - 继承泛型类时，编译器自动生成桥接方法，确保子类重写的方法签名和父类擦除后的实际签名对得上，避免多态失效
不能做的事，恰恰是安全的体现
有些操作被禁止，不是缺陷，而是设计者主动设的防火墙：
立即学习“Java免费学习笔记（深入）”；
-
list instanceof List<String>编译不过 → 因为运行时真没这信息，不让你产生错误依赖 -
new T()不允许 → 避免在擦除后无法确定构造器，引发不可控行为 - 不能定义
static T field→ 类型参数不属于类本身，静态上下文里它根本不存在
类型安全不是靠运行时扫描，而是靠编译器在你写错第一行时就亮红灯。擦除不是妥协，是用确定性换兼容性，而所有关键路径都布了转换和校验点。
