在Java中类型擦除是怎么回事_Java泛型擦除机制解析

Java类型擦除是编译期将泛型参数替换为边界类型（如Object、Number等）并移除泛型信息的过程，旨在兼容旧JVM；编译器自动插入类型转换保证安全，但导致instanceof、泛型数组、new T()等受限，并通过桥接方法解决多态问题。

Java中的类型擦除，是指编译器在编译阶段把泛型类型参数（如 、、）全部移除，并替换成其边界类型（通常是 Object，有上界时则用上界类型），最终生成的字节码里不保留任何泛型信息。它不是运行时行为，而是编译期的“翻译动作”，目的是让泛型代码能与 Java 5 之前的旧 JVM 和类库无缝共存。

类型擦除的具体替换规则

编译器按以下逻辑处理泛型参数：

• 无边界的类型参数（T）→ 替换为 Object
• 单上界（T extends Number）→ 替换为 Number
• 多上界（T extends A & B & C）→ 替换为第一个类型 A（因 Java 接口继承链限制）
• 方法签名中的泛型参数（如 void foo(T t)）→ 擦除为 void foo(Object t)

擦除后如何保证类型安全

虽然运行时没了泛型信息，但编译器会在调用点自动插入强制类型转换，把返回值“补回”你声明的类型：

• List list = new ArrayList();
• String s = list.get(0); → 编译后实际等价于：String s = (String) list.get(0);
• 这种转换由编译器静默完成，开发者无需手写，但一旦类型不匹配（比如往里面塞了 Integer），运行时就会抛 ClassCastException

类型擦除带来的典型限制

这些不是 bug，而是擦除机制的自然结果，必须在编码时主动规避：

• 不能用泛型类型做 instanceof 判断：如 if (obj instanceof List) 直接编译失败，只能写 if (obj instanceof List)
• 无法创建泛型数组：如 new ArrayList[10] 编译报错；可行方案是先建 Object[10] 再转型或用 List>
• 不能直接 new T()：因为 T 在运行时不存在；需传入 Class 并用反射构造，例如 clazz.getDeclaredConstructor().newInstance()
• 泛型方法无法重载：如 void handle(List) 和 void handle(List) 擦除后都是 handle(List)，编译报错

桥接方法：维持多态的关键补丁

当子类覆写父类泛型方法并指定具体类型时，编译器会自动生成一个“桥接方法”来衔接擦除后的签名差异。例如：

• 父类：class Parent { void set(T t) {} }
• 子类：class Child extends Parent { @Override void set(String s) {} }
• 编译器自动添加桥方法：void set(Object o) { set((String) o); }，确保多态调用仍能正确分发