17370845950

Java泛型因类型擦除在运行时无法保留类型信息，故称“伪泛型”。编译后List与List均变为List，导致不能创建泛型数组、无法运行时获取类型、不能重载仅泛型参数不同的方法、不支持泛型instanceof判断。此设计为兼容JDK5前代码，避免修改JVM和破坏二进制兼容性。开发者应理解擦除机制，需运行时类型时显式传Class对象，谨慎使用泛型推断与强制转换。

Java 的“伪泛型”是指其泛型在编译后会被擦除（type erasure），运行时无法获取泛型的实际类型参数。这和 C#、Rust 等语言的“真泛型”（保留类型信息、支持运行时反射）有本质区别。

为什么叫“伪泛型”？

Java 泛型只在编译期起作用，用于检查类型安全、避免强制转换；但编译后的字节码中，泛型信息（如 List 中的 String）被全部擦除，只剩下原始类型（List）。JVM 看不到泛型参数，也无法在运行时区分 List 和 List —— 它们在运行时都是同一个类 List。

类型擦除带来的典型限制

• 不能创建泛型数组：如 new ArrayList[10] 编译报错，因为运行时需要知道数组元素的具体类型，而 ArrayList 已被擦成 ArrayList，不满足类型安全要求。
• 无法在运行时获取泛型实参：比如方法内写 list.getClass().getTypeParameters() 拿不到 String，只能得到形参名（如 E）；想获得实际类型需借助子类继承+反射（如 new ArrayList() {} 这种匿名子类方式）。
• 泛型类不能重载基于类型参数的方法：如 void foo(List x) 和 void foo(List x) 编译不通过，因为擦除后都是 foo(List x)，签名重复。
• 不能用泛型类型做 instanceof 判断：if (obj instanceof List) 是语法错误，只能写 if (obj instanceof List)。

它不是缺陷，而是权衡结果

Java 在 2004 年（JDK 5）引入泛型时选择类型擦除，主要是为了兼容已有代码和 JVM。当时已有大量不带泛型的集合类（如原始 ArrayList），如果改用“真泛型”，就需要修改 JVM、升级所有类库，甚至破坏二进制兼容性。擦除方案让泛型成为纯编译期特性，旧字节码无需改动就能和新泛型代码共存。

开发者该怎么应对？

• 理解擦除是常态，别指望运行时靠泛型做逻辑分支（比如根据 T 类型调不同实现）。
• 需要运行时类型信息时，显式传入 Class 参数（如 fromJson(String, Class)）。
• 避免过度依赖泛型推断，必要时用显式类型声明提升可读性和稳定性。
• 用 @SuppressWarnings("unchecked") 要谨慎，确保你真的理解擦除导致的潜在风险。

基本上就这些。Java 泛型虽“伪”，但在绝大多数业务场景下足够安全好用——关键是清楚边界在哪里。