在Java里泛型擦除是怎么回事_Java泛型实现原理解析

Java泛型擦除是编译器主动抹除类型参数的确定性行为，运行时JVM只识别原始类型，如ArrayList和ArrayList共享同一Class对象。

Java泛型擦除不是“bug”，而是编译器主动抹掉类型参数的确定性行为：你在代码里写的 List，运行时 JVM 看到的只有 List，String 这个信息在字节码里根本不存在。

为什么 getClass() 拿不到泛型类型？

因为擦除后所有泛型实例共享同一个运行时类。比如：

ArrayList list1 = new ArrayList<>();
ArrayList list2 = new ArrayList<>();
System.out.println(list1.getClass() == list2.getClass()); // true

这说明 ArrayList 和 ArrayList 在 JVM 层面是同一个类 —— ArrayList。擦除规则如下：

• 无边界泛型参数（如 ）→ 擦除为 Object
• 有上界泛型参数（如 ）→ 擦除为最左上界（Number）
• 多上界（如 ）→ 擦除为第一个（Runnable）

为什么 instanceof 不能写 list instanceof List？

语法直接报错：illegal generic type for instanceof。原因很直接：JVM 不认识带尖括号的类型，它只认原始类型（raw type）。

你只能写：

if (list instanceof List) { ... } // ✅ 合法
// if (list instanceof List) { ... } // ❌ 编译失败

如果真需要按元素类型做分支逻辑，常见做法是：

• 传入 Class 参数（例如 deseri

  

  alize(json, String.class)）
• 用 ParameterizedType 反射提取父类泛型（仅适用于继承链中固定声明的场景）
• 避免在运行时依赖泛型类型判断，改由调用方显式传参或策略接口控制

怎么绕过擦除拿到 List 的真实类型？

关键思路：把类型信息“固化”进运行时可访问的对象里。两种主流方式：

• Class 对象直传：适合单层类型，如 User、Integer，简单可靠
• TypeToken / 匿名子类反射：适合嵌套泛型，如 List，靠 getGenericSuperclass() 拿到父类声明的完整 Type

示例（匿名子类方式）：

new com.google.gson.reflect.TypeToken>() {}.getType()

Guava 或 Gson 内部正是这样做的 —— 它们不靠变量声明，而是靠子类在编译期“偷偷记下”泛型结构，再通过反射读出来。

最容易被忽略的一点：泛型擦除不是为了偷懒，而是让百万行 JDK 1.4 旧代码能零修改跑在 JDK 5+ 上。所以当你想“恢复类型信息”时，本质上是在弥补这个兼容性让渡 —— 所有 workaround 都要付出额外成本：要么多传一个 Class，要么多一层反射，要么多一个抽象封装。没有银弹，只有权衡。