- 正确答案：泛型是Java中用于实现参数化类型的机制，允许在定义类、接口或方法时使用类型参数，从而提高代码的复用性和类型安全性。而类型擦除是Java泛型实现的核心机制之一，在编译期间，编译器会将泛型中的类型参数替换为其边界类型（通常是Object），并插入必要的类型转换代码。因此，“泛型”在运行时并不存在，所有泛型信息都被“擦除”，这就是所谓的“类型擦除”。 - 解答思路：要理解“泛型和类型擦除怎么放在一起”，关键在于明确Java泛型的设计目标与实现方式之间的权衡。Java在引入泛型时（JDK 5）为了保持与旧版本的二进制兼容性（即泛型代码能与非泛型代码互操作），采用了类型擦除的方式实现泛型，而不是像C++模板那样在编译期生成多个具体类型的副本。因此，泛型只存在于编译期，运行时则被擦除为原始类型（raw type）。我们可以通过分析编译前后代码的变化来理解这一过程。 - 深度知识讲解： 1. **泛型的基本语法**：泛型允许我们在类、接口、方法中使用类型参数，例如： - 类：`class Box { private T value; }` - 方法：` void print(T item)` - 接口：`interface List` 2. **类型擦除的工作原理**：编译器在编译泛型代码时，会进行以下操作： - 将所有类型参数替换为其上界（upper bound），如果没有显式指定上界，则默认为Object。 - 插入必要的强制类型转换，以保证类型安全。 - 生成桥接方法（bridge method）以支持多态和重写。示例： ```java public class Box { private T value; public T getValue() { return value; } public void setValue(T value) { this.value = value; } } ``` 经过类型擦除后，等价于： ```java public class Box { private Object value; public Object getValue() { return value; } public void setValue(Object value) { this.value = value; } } ``` 如果有上界，如 `class Box`，则类型参数T被擦除为Number： ```java public class Box { private Number value; public Number getValue() { return value; } public void setValue(Number value) { this.value = value; } } ``` 3. **类型擦除带来的限制**： - 不能创建泛型数组：`new T[]` 是非法的，因为运行时不知道T的具体类型。 - 不能使用instanceof检查泛型类型：`if (obj instanceof List)` 编译错误，因为String类型信息已被擦除。 - 不能重载泛型方法：`void method(List list)` 和 `void method(List list)` 不能共存，因为擦除后都是`List`，导致签名冲突。 - 运行时无法获取泛型类型信息：反射中`getClass().getGenericSuperclass()`可以获取部分信息（通过`ParameterizedType`），但仅限于那些在编译时保留了泛型信息的场景（如子类继承带泛型的父类）。 4. **桥接方法（Bridge Method）**：当泛型类被继承并重写方法时，编译器会自动生成桥接方法来保持多态性。例如： ```java class Box { public void setValue(T value) { ... } } class IntBox extends Box { @Override public void setValue(Integer value) { ... } } ``` 擦除后，`Box.setValue(Object)` 和 `IntBox.setValue(Integer)` 类型不匹配。为此，编译器生成桥接方法： ```java public void setValue(Object value) { setValue((Integer) value); // 调用实际的 setValue(Integer) } ``` 这确保了多态调用的正确性。 5. **通配符与类型擦除的关系**：泛型中的通配符（如 `?`, `? extends T`, `? super T`）在编译后也会被擦除，但它们在编译期提供额外的类型约束，帮助实现更灵活的安全类型检查（如PECS原则）。 6. **与C++模板的对比**： C++模板是“具体化”的，每个实例化都会生成一份新的代码（如`vector`和`vector`是两个不同的类型），而Java泛型是“擦除式”的，所有实例共享同一份字节码。 - 扩展知识： - **反射与泛型信息保留**：虽然类型擦除发生在字段和局部变量上，但某些泛型信息可以通过反射获取，前提是这些信息存在于类文件的常量池中。例如： ```java class MyList extends ArrayList { } // 可以通过反射获取到 String 这个类型参数 Type type = MyList.class.getGenericSuperclass(); if (type instanceof ParameterizedType pt) { Type arg = pt.getActualTypeArguments()[0]; // 得到 String.class } ``` 这是因为子类继承时“固化”了泛型参数，编译器将其记录在class文件中。 - **Gson等库如何利用泛型信息**：像Gson这样的JSON库通过`new TypeToken>() {}`创建匿名内部类，利用其携带的泛型信息（通过`getClass().getGenericSuperclass()`获取）来反序列化复杂类型。 - **避免类型擦除影响的方法**： - 在运行时需要类型信息时，显式传入Class对象：` T fromJson(String json, Class clazz)` - 使用TypeToken模式保存泛型类型信息。 - 代码示例（展示类型擦除的实际影响）： ```java import java.util.*; public class TypeErasureExample { public static void main(String[] args) { List strList = new ArrayList<>(); List intList = new ArrayList<>(); // 尽管声明不同，但运行时类型相同 System.out.println(strList.getClass() == intList.getClass()); // 输出 true // 可以通过反射绕过泛型检查（不推荐） List integers = new ArrayList<>(); integers.add(1); try { ((List) (List) integers).add("not an integer"); // 强制转换 System.out.println(integers.get(0)); // 仍可运行，但类型错误 } catch (Exception e) { e.printStackTrace(); } } } ``` 说明：两个List在运行时都是`ArrayList`类型，泛型信息已擦除，因此`getClass()`返回相同结果。通过强制类型转换和原始类型可以绕过编译期检查，但可能导致运行时类型错误（虽然本例中不会立即抛异常，因为JVM不检查集合内部类型）。总结：泛型和类型擦除是Java泛型机制的一体两面。泛型提供编译期类型安全，而类型擦除是其实现方式，保证了向后兼容性，但也带来了运行时无法获取泛型类型、不能创建泛型数组等限制。理解类型擦除有助于写出更安全、高效的泛型代码，并避免常见陷阱。

美团AI面经

全站热榜

创作者周榜