Java ：泛型类型擦除（Type Erasure）‌

Java 泛型类型擦除（Type Erasure）‌ 是 Java 编译器在编译泛型代码时采用的一种机制。其核心原理是：‌泛型类型信息仅存在于编译期，在编译成字节码后会被移除（擦除），替换为原始类型（Raw Type）或边界类型。‌ 这意味着在运行时，JVM 无法感知具体的泛型参数类型。

1. 原理与表现
编译期检查，运行期擦除‌：编译器在编译阶段利用泛型信息进行严格的类型安全检查，并自动插入必要的强制类型转换代码。一旦编译完成，生成的 .class 文件中不再包含泛型的具体类型参数（如 <String> 或 <Integer>）。
运行时类型一致‌：由于泛型信息被擦除，List<String> 和 List<Integer> 在运行时被视为同一个类 List（具体实现为 ArrayList）。
List<String> strList = new ArrayList<>();
List<Integer> intList = new ArrayList<>();
// 输出 true，因为运行时它们都是 java.util.ArrayList
System.out.println(strList.getClass() == intList.getClass());

2. 为什么设计类型擦除？

Java 选择类型擦除主要是为了‌向后兼容（Backward Compatibility）‌：

兼容旧代码‌：Java 5 引入泛型之前，大量代码使用原始类型（如 ArrayList list = new ArrayList()）。类型擦确保新编写的泛型代码可以与旧的非泛型库无缝交互，无需修改 JVM 或重新编译所有旧类库。
避免运行时开销‌：不需要为每种泛型类型生成新的类文件（如 C++ 模板那样），减少了内存占用和类加载负担。
3. 类型擦除规则

编译器根据泛型参数的边界决定替换为何种类型：

由于运行时丢失了泛型信息，以下操作在 Java 中是‌非法‌或‌受限‌的：

❌ 限制 1：不能使用 instanceof 判断泛型类型
现象‌：if (obj instanceof List<String>) 会导致编译错误。
原因‌：运行时 JVM 不知道 List 里装的是 String 还是 Integer。
解决‌：只能判断原始类型 if (obj instanceof List<?>)，若需判断元素类型，需遍历检查首个元素或使用 Class 对象辅助。
❌ 限制 2：不能创建泛型数组
现象‌：T[] arr = new T[10]; 编译失败。
原因‌：数组在运行时需要知道确切的组件类型以进行类型检查，而 T 已被擦除。
解决‌：
使用 ArrayList<T> 替代数组。
通过反射创建：T[] arr = (T[]) Array.newInstance(clazz, size);（需传入 Class<T>）。
❌ 限制 3：不能实例化泛型类型
现象‌：new T() 编译失败。
原因‌：编译器无法确定 T 的具体构造函数。
解决‌：通过反射 clazz.newInstance() 或传入 Supplier<T> / Factory 模式来创建实例。
❌ 限制 4：静态上下文不能引用类型参数
现象‌：泛型类的静态成员变量或静态方法不能使用类的类型参数 T。
原因‌：静态成员属于类而非实例，在类加载时泛型类型尚未确定（且已被擦除）。
解决‌：将静态方法定义为泛型方法 <T> static void method(T t)。
❌ 限制 5：泛型不能用于异常处理
现象‌：class MyException<T> extends Exception 编译失败；catch (T e) 非法。
原因‌：JVM 需要在运行时精确匹配异常类型，而泛型擦除导致类型信息缺失。
❌ 限制 6：重载冲突
现象‌：以下两个方法不能共存，因为擦除后签名相同：
java
void process(List<String> list) {}
void process(List<Integer> list) {} // 编译错误：重复方法

解决‌：改变方法名，或引入不同的非泛型参数以区分签名。
5. 如何在运行时获取泛型信息？

虽然直接获取不可行，但可以通过以下“绕过”手段保留类型信息：

传递 Class 对象‌：
最直接的方法，在方法调用时显式传入类型令牌。
public <T> T deserialize(String json, Class<T> clazz) {
    return gson.fromJson(json, clazz);
}

使用 TypeToken（匿名内部类）‌：
利用匿名子类在字节码中保留父类泛型签名的特性，通过反射提取完整泛型信息（常用于 Gson、Jackson 等库处理复杂嵌套泛型如 List<User>）。
Type type = new TypeToken<List<User>>() {}.getType();
List<User> users = gson.fromJson(json, type);

总结

Java 泛型是‌伪泛型‌，其本质是‌编译期的语法糖‌。类型擦除机制在保证类型安全的同时，实现了与旧版本 Java 的完美兼容。开发者在编写泛型代码时，需时刻意识到“运行时没有泛型”，避免依赖运行时的泛型类型信息，并善用 Class 对象或反射机制来处理需要动态类型信息的场景。