Java在JDK 1.5版本引入泛型特性，目的是在编译阶段提供更严格的类型检查，避免运行时出现类型转换异常。但当时已经存在大量基于老版本Java编译的字节码在各类项目中运行，为了不让泛型的引入破坏这些旧字节码的兼容性，Java设计团队采用了类型擦除机制来实现两者的共存。
什么是类型擦除
类型擦除是Java编译器在编译泛型代码时执行的一套转换规则，核心是将所有泛型相关的类型参数信息在编译后全部移除，替换为对应的原始类型或者类型参数的上限类型。最终生成的字节码中不存在任何泛型类型相关的标识，和没有使用泛型的代码编译后的结构完全一致。
比如我们定义一个简单的泛型类：
// 定义泛型类，类型参数为T
public class GenericClass<T> {
private T data;
public void setData(T data) {
this.data = data;
}
public T getData() {
return data;
}
}
经过编译器处理后，类型参数T会被擦除，因为没有指定上限，所以默认替换为Object类型，等价于如下代码：
// 类型擦除后的等价代码
public class GenericClass {
private Object data;
public void setData(Object data) {
this.data = data;
}
public Object getData() {
return data;
}
}
类型擦除的具体规则
类型擦除的执行遵循固定的转换逻辑，主要分为两种情况：
- 如果泛型类型参数没有指定上限，比如
<T>，擦除后替换为Object类型 - 如果泛型类型参数指定了上限，比如
<T extends Number>，擦除后替换为上限类型Number
如果类型参数有多个上限，比如<T extends Number & Serializable>，擦除后会替换为第一个上限类型Number。
对于泛型方法的处理逻辑和泛型类一致，比如下面的泛型方法：
// 带上限的泛型方法
public <T extends Number> T add(T a, T b) {
// 假设Number有doubleValue方法，这里做简化示例
double sum = a.doubleValue() + b.doubleValue();
// 实际场景需要类型转换，这里仅为示意
return (T) new Double(sum);
}
擦除后会变成：
// 泛型方法擦除后的等价代码
public Number add(Number a, Number b) {
double sum = a.doubleValue() + b.doubleValue();
return (Number) new Double(sum);
}
类型擦除如何保障与老版本字节码兼容
老版本的Java编译器（JDK 1.4及之前）编译出的字节码中，所有的集合、自定义类相关的类型都是原始类型，比如ArrayList存储的元素默认都是Object类型，方法参数和返回值也都是原始类型。
类型擦除的核心作用就是让泛型代码编译后的字节码和老版本代码的字节码结构完全一致，具体体现在两个方面：
字节码结构无差异
泛型代码经过类型擦除后，所有的类型参数都被替换成了原始类型或者上限类型，生成的字节码指令和没有使用泛型的老代码完全相同。JVM在执行字节码时，不需要做任何适配修改，就可以正常执行泛型代码编译后的字节码，也完全可以兼容老版本编译的字节码。
比如我们使用泛型ArrayList<String>编写的代码：
import java.util.ArrayList;
public class Test {
public static void main(String[] args) {
ArrayList<String> list = new ArrayList<>();
list.add("test");
String str = list.get(0);
}
}
经过类型擦除后，等价于老版本的非泛型代码：
import java.util.ArrayList;
public class Test {
public static void main(String[] args) {
ArrayList list = new ArrayList();
list.add("test");
// 编译器会自动插入类型转换指令
String str = (String) list.get(0);
}
}
两种代码编译后的字节码除了泛型相关的少量元数据标记外，核心执行指令完全一致，JVM执行时不会有任何区别。
无需修改JVM执行逻辑
如果Java采用类似C#的泛型实现方式，在运行时保留泛型类型信息，就需要修改JVM的字节码加载和执行逻辑，适配新的泛型类型结构。而类型擦除让泛型代码编译后的产物和老版本字节码完全兼容，JVM不需要做任何升级，就可以同时运行老版本字节码和泛型代码编译后的字节码，最大程度降低了新特性带来的迁移成本。
类型擦除的局限性
虽然类型擦除完美解决了兼容性问题，但也带来了一些使用上的限制：
- 不能在运行时获取泛型的具体类型参数，比如
instanceof ArrayList<String>是不合法的，只能判断instanceof ArrayList - 不能创建泛型类型的数组，比如
new T[10]无法通过编译 - 泛型类的静态变量不会因类型参数的不同而产生多份实例，因为类型参数在编译后已经被擦除
这些局限性都是类型擦除机制带来的副作用，但相比其带来的兼容性收益，这些代价是Java设计团队权衡后接受的结果。
总结
类型擦除是Java泛型实现的核心机制，通过在编译阶段移除所有泛型类型信息，将泛型代码转换为和老版本代码完全兼容的字节码结构，既让开发者可以享受到泛型带来的类型安全优势，又不需要修改JVM的执行逻辑，保障了新特性与海量老版本Java字节码的完美兼容。理解类型擦除的机制，对于正确使用Java泛型、排查泛型相关的运行问题都有重要的帮助。