泛型擦除是Java实现泛型的一种技术，它在编译阶段将泛型信息去掉，生成普通类字节码，以兼容JVM。当Java编译器处理带有泛型的Java代码时，会执行类型检查和类型推断，生成不包含泛型信息的类字节码。这些字节码能被普通Java虚拟机接收并运行，因此泛型的使用并未影响到JVM。虽然编译时可以发现可能的类型错误...
为什么java的泛型要用&39；擦除&39；实现？
泛型擦除是Java实现泛型的一种技术，它在编译阶段将泛型信息去掉，生成普通类字节码，以兼容JVM。当Java编译器处理带有泛型的Java代码时，会执行类型检查和类型推断，生成不包含泛型信息的类字节码。这些字节码能被普通Java虚拟机接收并运行，因此泛型的使用并未影响到JVM。虽然编译时可以发现可能的类型错误，但在运行时，仍有可能出现类型转换异常。
泛型擦除遵循以下原则：
所有参数化容器类（如List、List<T>）被转换为非参数化的原始类型（如List）。 所有参数化数组（如List<T>[]）被转换为非参数化的数组（如List<T>[]）。 原始类型（如int、String、Wrapper类）保持不变。 泛型参数E被转换为Object。 所有约束参数（如)被转换为E。 如果有多个约束，保留第一个约束参数。Java选择泛型擦除的原因主要是为了向后兼容。在Java和C#初期均不支持泛型，为了使其支持泛型，有两种方法：一是保留原有非泛型容器，新增泛型版本；二是直接在非泛型容器上添加泛型支持，不引入新版本。Java选择泛型擦除技术，保持了向后兼容性，允许新老代码无缝切换。
举个例子，假设我们有两个Java函数，一个返回类型为T，另一个你手动将其强制转换为Object。这两段代码在编译阶段生成的汇编码是一样的，最终在运行时都会加入一条checkcast指令，以确保类型匹配。这就是泛型擦除确保代码兼容性的方式。
2024-09-07
