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)
擦除后如何保证类型安全
虽然运行时没了泛型信息,但编译器会在调用点自动插入强制类型转换,把返回值“补回”你声明的类型:
Listlist = new ArrayList(); -
String s = list.get(0);→ 编译后实际等价于:String s = (String) list.get(0); - 这种转换由编译器静默完成,开发者无需手写,但一旦类型不匹配(比如往里面塞了 Integer),运行时就会抛
ClassCastException
类型擦除带来的典型限制
这些不是 bug,而是擦除机制的自然结果,必须在编码时主动规避:
立即学习“Java免费学习笔记(深入)”;
-
不能用泛型类型做 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); },确保多态调用仍能正确分发










