深入理解 Java 泛型（揭秘 Java 类型擦除机制与泛型原理）

这意味着，泛型信息只存在于编译期，运行时 JVM 并不知道你使用了什么泛型类型。这也是为什么 Java 泛型被称为“伪泛型”。

类型擦除的实际例子

来看一个简单的泛型类：

public class Box<T> {    private T value;    public void setValue(T value) {        this.value = value;    }    public T getValue() {        return value;    }}  

经过类型擦除后，编译器生成的字节码实际上等价于：

public class Box {    private Object value;    public void setValue(Object value) {        this.value = value;    }    public Object getValue() {        return value;    }}  

可以看到，所有的 T 都被替换成了 Object。如果泛型有上界（如 <T extends Number>），则会被替换为 Number。

类型擦除带来的限制

由于类型擦除，Java 泛型存在一些限制：

• 不能创建泛型数组：new T[10] 是非法的。
• 不能使用 instanceof 检查泛型类型：obj instanceof List<String> 会报错。
• 不能在静态上下文中引用类型参数。

为什么 Java 要采用类型擦除？

Java 选择类型擦除主要是为了向后兼容。在 Java 5 之前没有泛型，如果引入真正的泛型（像 C# 那样），会导致大量旧代码无法运行。通过类型擦除，泛型代码可以无缝兼容非泛型的旧类库。

如何绕过类型擦除？

虽然泛型信息在运行时被擦除，但我们可以通过以下方式保留部分类型信息：

• 使用 TypeToken（如 Gson 库）
• 通过反射获取方法或字段的泛型签名（使用 getGenericSuperclass() 等）

总结

通过本教程，我们深入理解了 Java泛型 背后的 类型擦除 机制。虽然它带来了一些限制，但这是 Java 为了兼容性做出的权衡。掌握 Java类型系统 和 泛型原理，能帮助你写出更安全、更高效的代码。

希望这篇教程对你理解 Java 泛型有所帮助！