Java采用类型擦除是为了保障向后兼容，使JDK 5泛型引入时旧代码无需修改即可运行；JVM不支持泛型语义，擦除让编译器承担类型检查与强转，保持字节码和虚拟机稳定。
Java 采用类型擦除，根本不是为了“省事”，而是为了在引入泛型时，不让整个 Java 生态崩塌。
必须守住向后兼容这条底线
2004 年 JDK 5 推出泛型时，已有海量生产环境代码在跑——全是没泛型的 List、Map、Set。如果泛型信息保留在字节码里，旧版 JVM 就无法加载新编译的 List<string></string> 类，连类加载都会失败。擦除让 List<string></string> 编译后变成纯 List，和 Java 1.4 的字节码完全一致，老代码不改一行就能照常运行。
JVM 本身不认泛型语义
字节码规范里没有“泛型类型”这个概念。所有指令（比如 invokevirtual、checkcast）只处理原始类型（Object、Integer 等）。若硬要保留泛型，就得改 class 文件格式、扩 JVM 指令集、重写类加载器——这等于重造虚拟机，代价远超收益。擦除把类型逻辑全交给编译器，JVM 保持稳定。
编译器兜底，把安全左移到编译期
擦除不是放弃安全，而是换种方式保障它：
立即学习“Java免费学习笔记（深入）”；
- 往
List<string></string>里加123，编译器当场报错 - 调用
list.get(0)，编译器自动插入(String)强转 - 遇到
<t extends number></t>，擦成Number而非Object，保留最小边界约束
对比其他语言，选择不同源于起点不同
C# 的泛型能保留运行时类型，是因为 CLR 从诞生起就设计了泛型支持；C++ 模板是编译期展开，但会导致代码膨胀。Java 没有那样的历史条件，只能用擦除换兼容——这不是缺陷，是权衡后的务实选择。
