为何说 Java 泛型是伪泛型？

前言

"Java 的泛型是伪泛型"这句话，其实是指 Java 的泛型实现方式 与 “真正的泛型”（如 C++ 模板、C# 的泛型）相比，并不是在运行时保留类型信息，而是通过类型擦除（Type Erasure）来实现的。这就导致了一些限制和“看起来不像泛型”的行为。

一句话总结

Java 的泛型只在编译期有效，运行期被“擦除”成 Object 或边界类型，因此称为“伪泛型”。

🔍 什么是“类型擦除”？

Java 的泛型在编译后会被“擦除”，替换为它们的上界（通常是 Object），并插入强制类型转换代码。

举个例子：

List<String> list = new ArrayList<>();
list.add("hello");
String s = list.get(0);

编译后变成（近似）：

List list = new ArrayList();
list.add("hello");
String s = (String) list.get(0);  // 强制类型转换

你会发现：运行时没有 List<String> 这个类型，只有 List。

❗ 为什么说它是“伪泛型”？

🧪 举个例子：运行时不区分类型

List<String> a = new ArrayList<>();
List<Integer> b = new ArrayList<>();

System.out.println(a.getClass() == b.getClass());  // true

输出是 true，说明 运行时 List<String> 和 List<Integer> 是同一个类型。

🧨 泛型擦除带来的限制

1. 不能创建泛型数组

T[] arr = new T[10];  // ❌ 编译错误

2. 不能用 T 做 instanceof

if (obj instanceof T) { ... }  // ❌ 编译错误

3. 不能创建 T 的实例

T obj = new T();  // ❌ 编译错误

✅ 为什么 Java 不实现“真泛型”？

1. 向后兼容：Java 1.5 引入泛型时，必须兼容旧版本字节码和类库。
2. JVM 不需要改动：类型擦除避免了修改 JVM，降低了实现复杂度。
3. 历史包袱：Java 最初设计时没有泛型，后来“打补丁”式加入。

✅ 总结

Java 的泛型是“编译期的语法糖”，运行时没有类型信息，因此被称为“伪泛型”。

如果小假的内容对你有帮助，请点赞，评论，收藏。创作不易，大家的支持就是我坚持下去的动力！

​

​