什么是类型擦除？

 

类型擦除（Type Erasure）是Java泛型的一种实现机制。它指的是在编译时，Java编译器会将泛型类型参数（如T、E等）替换为其限定类型（bounded type）或者Object类型，并在必要的地方插入类型转换代码。这使得泛型代码能够与没有泛型的Java虚拟机（JVM）兼容。

类型擦除的主要原因是为了向后兼容。在Java 5引入泛型之前，已经存在大量的Java代码和类库。为了让这些代码能够与泛型代码共存，Java设计者选择了类型擦除作为实现泛型的方式。这样，旧的代码可以在不做任何修改的情况下继续工作，而新的泛型代码可以在编译时提供类型安全。

类型擦除的过程如下：

将泛型类型参数替换为限定类型或Object。如果泛型类型参数有限定类型（如<T extends SomeClass>），则替换为限定类型；否则，替换为Object类型。

例如，对于一个泛型类List<T>，编译器会将其转换为一个非泛型类List，其中所有的T类型参数被替换为Object。

在需要的地方插入类型转换代码。由于类型擦除后，泛型类型信息在运行时不再可用，因此编译器需要在合适的地方插入类型转换代码，以确保类型安全。

例如，对于一个泛型方法T get(int index)，编译器会将其转换为Object get(int index)，并在调用此方法时插入类型转换代码，如：String str = (String) list.get(0);

类型擦除的一个副作用是，泛型类型信息在运行时不可用。这意味着不能在运行时检查泛型类型参数，如instanceof操作符和泛型数组的创建。此外，类型擦除可能导致潜在的类型转换错误，尤其是在使用通配符（?）时。

尽管类型擦除带来了一些限制，但它使得泛型代码能够与旧的Java代码和虚拟机兼容。在编译时，泛型仍然提供了类型安全、代码重用和更清晰的代码。