版本：基于 Java 17 & Java 21 LTS

泛型（Generics）是 Java 5 引入的一项重大特性，它让我们能够编写类型安全且通用的代码。然而，Java 的泛型实现采用了“伪泛型”策略——类型擦除（Type Erasure）。本篇将深入剖析泛型的底层原理，带你理解那些困扰许多开发者的“玄学”现象。

1. 为什么会有类型擦除？

Java 在引入泛型时，为了保证与旧版本代码的二进制向后兼容性，决定在编译期处理泛型，而在运行期的字节码中擦除泛型信息。

擦除前：

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

擦除后（JVM 看到的）：

List list = new ArrayList();
list.add("Hello");
String s = (String) list.get(0); // 编译器自动插入了强转代码

结论：在运行时，List<String> 和 List<Integer> 的 Class 对象是同一个，都是 ArrayList.class。

2. 桥接方法 (Bridge Methods)

类型擦除会带来一个严重问题：多态冲突。为了解决这个问题，编译器会自动生成“桥接方法”。

案例分析：

public class Node<T> {
    public void setData(T data) { System.out.println("Node.setData"); }
}

public class MyNode extends Node<Integer> {
    @Override
    public void setData(Integer data) { System.out.println("MyNode.setData"); }
}

擦除后：

  • Node 的 setData 变成了 setData(Object data)。

  • MyNode 的 setData 还是 setData(Integer data)。

这导致 MyNode 并没有真正重写父类的方法！为了维持多态，编译器在 MyNode 中生成了一个桥接方法：

// 编译器生成的伪代码
public void setData(Object data) {
    setData((Integer) data); // 转发给具体的实现
}

3. 泛型的局限性 (由于类型擦除)

由于信息在运行时被擦除，泛型存在以下限制：

  1. 不能实例化泛型类型：new T() 是非法的。

  2. 不能创建泛型数组：new T[10] 或 new List<String>[10] 是非法的。

  3. 不能在静态环境中使用类的泛型参数：static T data; 是非法的，因为静态变量属于类，而泛型参数属于对象。

  4. 运行时无法判断泛型类型：if (list instanceof List<String>) 是非法的，只能写 instanceof List<?>。

4. 泛型的高级技巧：类型令牌 (Type Tokens)

虽然运行时擦除了泛型，但有时我们需要知道类型信息（如 JSON 序列化时）。我们可以通过匿名内部类和反射来获取。

public abstract class TypeReference<T> {
    private final java.lang.reflect.Type type;

    protected TypeReference() {
        // 获取父类的泛型参数
        var superClass = getClass().getGenericSuperclass();
        type = ((java.lang.reflect.ParameterizedType) superClass).getActualTypeArguments()[0];
    }

    public java.lang.reflect.Type getType() { return type; }
}

// 使用方式
var ref = new TypeReference<List<String>>() {}; // 注意这里的 {} 创造了一个匿名内部类
System.out.println(ref.getType()); // 输出 java.util.List<java.lang.String>

5. 展望未来：Project Valhalla

Java 社区正在通过 Project Valhalla 尝试解决泛型的性能问题（如装箱拆箱开销）和类型擦除的局限性。未来我们或许能看到真正的“具体化泛型”（Reified Generics）。

本章小结

第十五篇我们深度解析了：

  1. 类型擦除：理解 Java 泛型仅在编译期存在的本质。

  2. 桥接方法：编译器如何为了维护多态而默默工作。

  3. 局限性：明确哪些操作是泛型无法完成的。

  4. 类型令牌：在擦除的背景下，如何通过反射“找回”类型信息。

结语

泛型不仅是工具，更是一种设计哲学。理解了类型擦除，你就能解释 90% 以上的泛型奇特报错。保持钻研精神，你将写出更健壮、更优雅的 Java 代码！