擦除

什么是擦除？
– 擦除 是 Java 用于实现泛型的技术，确保与该语言的早期版本向后兼容。

• 在编译期间，所有泛型类型信息都会被*删除*（或“擦除”）。

2。使用擦除的动机
与旧代码的兼容性：

• java (jdk 5) 中泛型的引入不应使旧代码失效。
• 泛型的设计需要确保泛型和非泛型代码顺利协同工作。

适当的强制：

• 编译器添加强制转换以确保与给定参数的类型兼容性。
• 从泛型类型中删除信息：
• 类型参数只存在于源代码中，运行时不存在。

4。删除操作示例

• 通用代码：

class gen<t> {     t ob;      gen(t o) {         ob = o;     }      t getob() {         return ob;     } }  

• 擦除后的代码（编译器如何转换它）：

class Gen {     Object ob;      Gen(Object o) {         ob = o;     }      Object getOb() {         return ob;     } }  

备注：

• 类型参数被替换为object。
• 生成的代码中没有可用的通用信息。

5。擦除的局限性
运行时缺少类型信息：

• 泛型类型是一种源代码机制，编译后不存在。

不可能：

• 在运行时获取实例的泛型类型。
• 直接创建泛型类型的实例（例如不允许使用 new t()）。

6。实际影响

删除解释：

• 为什么泛型没有重载：不允许具有仅因泛型类型而异的签名的方法。
• 为什么不能在泛型中直接使用原始类型（例如：gen 无效；你必须使用 gen）。

编译时安全性：

• 虽然类型信息被删除，但编译器会在编译期间检查类型兼容性。

7。结论

• 使用擦除可以将泛型添加到 java 中，而不会影响向后兼容性。
• 尽管有一些限制，泛型在编译时提供类型安全，而生成的代码仍然与 jvm 的早期版本兼容。