泛型擦除（Generics）

在Java中，泛型（Generics）的“擦除”机制并不会阻止泛型的使用，反而是在保持向后兼容性和简化JVM设计的同时，允许泛型以一种类型安全的方式被使用。因为泛型的使用主要集中在编译时，当向集合添加不匹配的元素时编译会捕获到类型不匹配的错误。

泛型擦除的含义

1. 类型信息的移除：在编译过程中，Java编译器会移除所有泛型类型信息，并将它们替换为它们的原生类型（通常是Object，如果指定了类型上限则替换为那个类型）。这个过程被称为类型擦除（Type
   Erasure）。

2. 保留的元数据：虽然泛型类型信息在字节码中被擦除，但Java编译器会在.class文件中保留一些元数据（如签名信息），以便在需要时可以通过反射来查询这些泛型参数的信息。然而，这些元数据对于大多数Java程序来说是不可见的，并且不会改变泛型在运行时的行为。

泛型的使用

1. 编译时类型检查：尽管泛型信息在编译时被擦除，但Java编译器在编译时会进行严格的类型检查。这意味着，你可以在编译时捕获到类型不匹配的错误，从而避免在运行时出现ClassCastException等异常。

2. 类型安全的集合：泛型最常用于集合框架（如List、Set、Map等）。通过使用泛型，你可以指定集合中元素的类型，从而在编译时获得类型安全。例如，List<String>确保你只能向列表中添加字符串类型的对象。

3. 泛型方法和类：你可以定义泛型方法和泛型类，从而在编译时指定类型参数。这使得你的代码更加灵活和可重用。

泛型擦除与使用的关系

泛型擦除并不影响泛型的使用，因为泛型的使用主要集中在编译时，当向集合添加不匹配的元素时编译会捕获到类型不匹配的错误。编译时的类型检查确保了类型安全，而运行时的类型擦除则保证了与旧版本Java代码的兼容性，并简化了JVM的设计。