java泛型擦除是编译期系统性替换:类型参数按上界替换成object或边界类型,引用降级为原始类型,编译器插入强制转换,静态上下文清空,运行时无泛型信息。

Java 泛型擦除不是简单删除代码,而是一套编译期系统性替换与转换过程。它在生成字节码前,把所有泛型类型参数按规则替换成具体类型,并插入必要的强制转换,最终让 JVM 看到的只有原始类型(Raw Type)和普通方法签名。
泛型参数被替换成上界类型或 Object
编译器根据泛型声明的边界决定擦除目标:
-
<t></t>(无界)→ 替换为Object -
<t extends number></t>→ 替换为Number -
<t extends comparable serializable></t>→ 只取第一个接口Comparable,后续接口仅用于编译检查
例如:
class Box<t extends number> {
private T value;
public T getValue() { return value; }
}</t>
编译后等效于:
class Box {
private Number value;
public Number getValue() { return value; }
}
泛型类型引用降级为原始类型
所有带类型参数的引用都被“扁平化”:
-
List<string></string>、List<integer></integer>、List>全部变成List -
Map<k v></k>变成Map,K和V分别按上界规则替换(如无界则为Object) -
new ArrayList<string>()</string>编译后就是new ArrayList()
运行时调用 list.getClass() 拿到的是 class java.util.ArrayList,不带任何泛型痕迹。
编译器自动插入类型转换代码
擦除后,返回值可能需要向下转型才能匹配源码语义:
List<string> list = new ArrayList(); String s = list.get(0); // 源码写法 </string>
编译器实际生成字节码相当于:
List list = new ArrayList(); String s = (String) list.get(0); // 插入 checkcast 指令
这个转换在编译期完成,运行时靠强制转换保障逻辑正确性,但也埋下 ClassCastException 隐患(比如通过反射绕过检查塞入非 String 对象)。
泛型方法和类的静态上下文被清空
- 泛型类中的
static字段或方法不能使用类型参数T,因为T在运行时不存在,所有实例共享同一份静态空间 -
new T()、T.class、instanceof T全部非法,编译直接报错
本质上,擦除后的字节码里没有 String、Integer 这类泛型实参的任何标识——它们只存在于 .java 源文件和 .class 文件的 Signature 属性中(供反射读取声明结构),JVM 加载类、创建对象、执行方法时完全感知不到。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











