Java泛型类型擦除是设计选择而非bug，编译期提供类型安全但运行时泛型信息被抹去，导致instanceof、new T()等受限，需理解擦除规则、桥接方法及隐式转换以编写健壮代码。
Java 泛型的类型擦除不是 bug，而是设计选择——它让泛型在编译期提供类型安全，又不改变 JVM 运行时结构。但正因为运行时泛型信息被抹去，很多看似合理的代码会编译失败、运行出错，或产生隐蔽的类型转换问题。理解擦除规则和边界影响，是写出健壮泛型代码的前提。
类型擦除的三条核心规则
擦除不是简单替换成 Object，而是按泛型声明的约束分情况处理：
-
无上界泛型（如 <T>）→ 擦除为 Object：这是最常见场景，比如
List<String>和List<Integer>编译后都变成List，字段和方法参数统一转为Object。 -
单上界泛型（如 <T extends Number>）→ 擦除为上界类型：泛型参数被替换为
Number，方法返回值、入参、成员变量均按Number处理，保证运行时类型兼容性。 -
多上界泛型（如 <T extends Comparable&Cloneable>）→ 擦除为第一个上界：只保留
Comparable，因为 JVM 接口继承链中首个接口决定了类型擦除后的“主类型”，后续接口仅用于编译期校验。
运行时无法获取泛型实际类型
由于擦除发生在编译阶段，JVM 加载的 class 文件里没有 List<String> 这样的类型标识，只有原始类型 List。这导致以下操作不可行：
-
list instanceof List<String>编译不通过，instanceof List才合法； -
new T()在泛型方法或类中非法，因为 T 已擦除，无法确定构造器； - 反射调用
list.getClass().getGenericSuperclass()返回的是带泛型签名的ParameterizedType，但仅限于**直接父类声明**（如继承自ArrayList<String>），对局部变量或方法返回值无效。
若需传递运行时类型，可用 TypeToken<T> 或显式传入 Class<T>，例如：new TypeToken<List<User>>() {} 利用匿名子类保留签名，再通过反射提取。
立即学习“Java免费学习笔记（深入）”；
泛型不能用于重载与数组创建
擦除后，多个泛型方法可能变成签名相同的普通方法，造成重载冲突；同时 JVM 不支持泛型数组实例化：
- 以下两个方法无法共存：
void handle(List<String>)和void handle(List<Integer>)，编译报错“重复方法签名”，因擦除后均为handle(List)； -
T[] array = new T[10]编译失败，必须写成T[] array = (T[]) new Object[10]并接受 unchecked 警告；更安全的做法是用ArrayList<T>替代。 - 泛型类不能直接继承
Exception（如class MyError<T> extends Exception），因为异常类型需在运行时可识别，而擦除后无法保证类型一致性。
桥接方法与类型转换的隐式插入
为维持多态正确性，编译器会在需要时自动生成桥接方法（bridge method），并在关键位置插入强制类型转换：
- 当子类覆盖泛型父类方法时（如
class IntBox extends Box<Integer>），编译器会生成一个Object getValue()桥接方法，调用真正的Integer getValue()并做转型； - 从
List<String>取元素时，编译器自动插入(String) list.get(0)，你写的String s = list.get(0)实际依赖这个隐式转换； - 这种自动转换在泛型嵌套过深或通配符使用不当（如
List<? extends Number>）时，可能引发ClassCastException，尤其在混用原始类型与泛型集合时。
