在Java中，泛型擦除（Type Erasure）是Java泛型实现的一个重要概念。由于Java的泛型是在编译时实现的（称为编译时类型检查），而在运行时，Java虚拟机（JVM）并不支持泛型，因此编译器需要在编译过程中将泛型信息擦除，以确保生成的字节码与没有使用泛型的代码兼容。
以下是关于泛型擦除的一些关键点：
- 原因：
- 兼容性：Java泛型是在JDK 1.5中引入的，为了与之前的版本兼容，需要一种方式来处理这些新的泛型代码，使其能够在不支持泛型的JVM上运行。
- 简化JVM设计：JVM不需要为每种可能的泛型类型都生成新的字节码或类文件。
- 实现：
- 在编译时，编译器会将泛型类型参数替换为其边界类型（如果有的话）或
Object类型。例如，对于List<String>，编译器会将其视为原始类型List，但在方法内部，它仍然知道预期的元素类型是String（这仅用于编译时类型检查）。 - 编译器会为泛型类和方法生成桥接方法（Bridge Methods）和合成方法（Synthetic Methods），以确保在运行时能够正确地调用正确的方法。
- 在编译时，编译器会将泛型类型参数替换为其边界类型（如果有的话）或
- 影响：
- 在运行时，你不能查询泛型类型的实际参数类型。例如，
ArrayList<String>.class和ArrayList<Integer>.class在运行时实际上是相同的，因为它们都被擦除为原始的ArrayList.class。 - 由于类型擦除，一些在编译时看似安全的代码在运行时可能会失败。例如，如果你在编译时将一个
List<String>传递给一个期望List<Object>的方法，编译器会允许这样做（因为String是Object的子类型）。但是，如果在运行时你尝试向这个列表中添加一个非字符串对象，那么它将在运行时失败（因为列表在内部仍然期望其元素是字符串）。 - 为了在运行时保留一些泛型信息，Java提供了类型令牌（Type Tokens）和反射API的
Type类（如ParameterizedType），但这些都需要额外的编程和运行时开销。
- 在运行时，你不能查询泛型类型的实际参数类型。例如，
- 解决方案：
- 对于需要在运行时知道泛型参数类型的情况，你可以使用额外的机制来传递这些信息，如类型令牌（通过创建一个包含泛型类型信息的类实例来传递）。
- 使用Java的
super类型令牌（Super Type Tokens）和Class字面量可以帮助在编译时保留一些类型信息，尽管这些信息在运行时仍然会被擦除。
总的来说，泛型擦除是Java泛型实现的一部分，它允许Java在编译时支持泛型，同时确保与不支持泛型的旧版JVM的兼容性。然而，它也有一些限制和需要额外注意的地方，特别是在需要在运行时处理泛型类型参数时。
