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

Java泛型擦除不是“bug”,而是编译器主动抹掉类型参数的确定性行为:你在代码里写的 List,运行时 JVM 看到的只有 List,String 这个信息在字节码里根本不存在。
为什么 getClass() 拿不到泛型类型?
因为擦除后所有泛型实例共享同一个运行时类。比如:
ArrayListlist1 = 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)。
立即学习“Java免费学习笔记(深入)”;
你只能写:
if (list instanceof List) { ... } // ✅ 合法
// if (list instanceof List) { ... } // ❌ 编译失败
如果真需要按元素类型做分支逻辑,常见做法是:
- 传入
Class参数(例如deserialize(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,要么多一层反射,要么多一个抽象封装。没有银弹,只有权衡。










