泛型擦除的主要特点包括:
-
编译时类型检查:在编写泛型代码时,编译器会对泛型类型参数进行类型检查,以确保类型安全。这意味着在编译时会捕获许多类型错误,避免了运行时类型错误。因为泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项,所以要在虚拟机中将泛型类型进行擦除。
-
类型擦除:尽管在编译时进行了类型检查,但在编译后的字节码中,泛型类型信息被擦除了。这意味着在运行时,泛型类型参数被替换为它们的上限边界(对于类和方法)或者是
Object
类型(对于未指定上限的泛型类型参数)。 -
类型参数的约束:如果泛型类型参数具有上限(例如,
<T extends Number>
),则在运行时将使用上限的类型信息。 -
类型转换:泛型擦除可能导致在运行时需要进行显式类型转换。这是因为编译器擦除了类型信息,无法在运行时知道实际的泛型类型。这是比较安全的转换,因为在编译阶段已经确保了数据的一致性。
-
数组创建限制:由于泛型擦除,不能创建泛型数组,例如
new T[]
是不合法的,因为编译器无法确定T
的实际类型。
在编译阶段使用泛型,运行阶段擦除泛型。