Java泛型擦除是什么 Java泛型原理详解【分析】

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

Java泛型擦除，指的是编译器在编译阶段把所有泛型类型参数（比如 、）去掉，替换成它们的边界类型（无边界时默认为 Object），最终生成的字节码里不保留任何泛型信息。也就是说，泛型只在写代码和编译时起作用，运行时 JVM 完全“看不见”泛型。

泛型擦除擦掉了什么？

它擦掉的是类型参数本身，不是整个泛型结构。具体包括：

• 类/方法声明中的 、 这类占位符被移除
• 泛型变量的声明类型被替换成原始类型（如 T → Object，或 T extends Number → Number）
• 泛型返回值、参数类型、字段类型全部降级为擦除后的原始类型
• 运行时无法通过反射获取 List 中的 String，ge

  

  tClass() 返回的只是 ArrayList.class

擦除是怎么发生的？

编译器一边做类型检查，一边做替换和插入操作：

• 遇到 且无上界 → 替换为 Object
• 遇到 → 替换为 Number
• 遇到 → 替换为 A（取第一个上界）
• 在调用处自动插入强制转换，比如 list.get(0) 返回 Object，编译器悄悄加上 (String) 转换

为什么 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 泛型的底层逻辑——它不是运行时机制，而是编译器帮你把类型检查和转换提前安排好。