Java泛型擦除是指编译器在编译期移除类型参数并替换为边界类型(无界时为Object),字节码中不保留泛型信息,导致运行时无法获取具体类型参数,仅作为编译期语法糖实现兼容性与低开销。

Java泛型擦除,指的是编译器在编译阶段把所有泛型类型参数(比如
泛型擦除擦掉了什么?
它擦掉的是类型参数本身,不是整个泛型结构。具体包括:
- 类/方法声明中的
、 这类占位符被移除 - 泛型变量的声明类型被替换成原始类型(如 T → Object,或 T extends Number → Number)
- 泛型返回值、参数类型、字段类型全部降级为擦除后的原始类型
- 运行时无法通过反射获取 List
中的 String,getClass() 返回的只是 ArrayList.class
擦除是怎么发生的?
编译器一边做类型检查,一边做替换和插入操作:
- 遇到
且无上界 → 替换为 Object - 遇到
→ 替换为 Number - 遇到
→ 替换为 A(取第一个上界) - 在调用处自动插入强制转换,比如 list.get(0) 返回 Object,编译器悄悄加上 (String) 转换
为什么 Java 要用擦除而不是真泛型?
核心是兼容性和实现成本:
立即学习“Java免费学习笔记(深入)”;
- JDK 5 之前没有泛型,大量旧代码(如 List、Map)必须能和新的 List
无缝协作 - 如果像 C++ 那样为每个类型组合生成独立字节码(Box
、Box 各自一个 class),会导致类爆炸、内存占用高、JVM 改动巨大 - 擦除让泛型变成“编译期语法糖”,运行时零新增负担,老 JVM 不用改就能跑新泛型代码
擦除带来的典型影响
这些现象背后都是擦除在起作用:
- 不能用泛型创建实例:new T() 编译不过,因为运行时 T 已经是 Object 或其他具体类型,无法确定构造逻辑
-
不能用泛型做 instanceof 判断:if (obj instanceof List
) 是非法语法 -
泛型数组创建受限:List
[] arr = new List [10] 编译报错,因擦除后无法保证运行时类型安全 - 反射拿不到泛型实参:list.getClass().getTypeParameters() 返回空,但 getGenericSuperclass() 可能保留部分签名信息(仅限父类/接口声明)
基本上就这些。理解擦除,就抓住了 Java 泛型的底层逻辑——它不是运行时机制,而是编译器帮你把类型检查和转换提前安排好。










