java泛型擦除是编译器将泛型代码系统性改写为非泛型形式的过程：无界泛型擦除为object，有界泛型擦除为number，多边界取第一个接口；所有泛型引用降级为原始类型，运行时无泛型信息，编译器自动插入强制转换以保障类型安全。

Java 泛型擦除不是“删掉类型”，而是编译器在生成字节码前，系统性地把泛型代码改写成 JVM 能直接运行的非泛型形式。这个过程保留了编译期的类型安全检查，但运行时完全看不到泛型实参（比如 、）。

泛型参数按边界规则替换成具体类型

编译器不统一用 Object 填空，而是看声明时有没有上界：

• 无界泛型 → 擦除为 Object（最常见）
• 有界泛型 → 擦除为 Number，不是 Object
• 多边界 → 只取第一个接口 Comparable，Serializable 仅用于编译检查

所有泛型引用降级为原始类型

无论你写 List、List 还是 List>，编译后全部变成裸的 List：

OpenJDK 24

下载

• new ArrayList<string>()</string> 编译后等价于 new ArrayList()
• Map<k v></k> 中的 K 和 V 各自按上界擦除，最终只剩 Map
• 运行时调用 list.getClass() 返回的是 class java.util.ArrayList，没有泛型痕迹

编译器自动补上强制转换

源码里看似“自然”的取值，背后是编译器悄悄加的类型转换：

• 写 String s = list.get(0);（list 是 List）
• 编译后实际执行的是 String s = (String) list.get(0);
• 这个 checkcast 指令在字节码里，确保运行时强转不出错；但若通过反射绕过泛型检查塞入非 String 对象，就会抛 ClassCastException

静态上下文与运行时类型操作被禁止

因为擦除后 T 已不存在，所有跟“具体类型”绑定的静态或运行时行为都不允许：

• 不能在泛型类中定义 static T field 或 static void method(T t)
• 不能写 new T()、T.class、instanceof T，编译直接报错
• 泛型信息只保留在 .class 文件的 Signature 属性中，供反射读取声明结构，JVM 执行时不使用

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南