- **正确答案**：泛型类型擦除（Type Erasure）是指在编译期间，Java 编译器会移除泛型类型信息，将泛型代码转换为原始类型（raw type），并在必要时插入类型检查和自动类型转换。这是 Java 泛型实现的一种机制，目的是为了保持与旧版本 JVM 的兼容性。 - **解答思路**： 1. 首先理解什么是泛型：泛型允许在类、接口和方法中使用类型参数，从而提高代码的复用性和类型安全性。 2. 然后认识到 Java 泛型是在 JDK 5 中引入的，但 JVM 并不支持泛型，因此 Java 使用了类型擦除的方式来实现泛型。 3. 类型擦除的过程发生在编译阶段，运行时没有实际的泛型信息存在。 4. 在编译过程中，所有泛型类型被替换为其上界（如果没有指定则默认为 Object），并插入必要的类型转换代码。 5. 因此，在运行时无法获取泛型的实际类型信息。 - **深度知识讲解**： **1. 类型擦除的具体过程**： - 将泛型类型参数替换为其上界（如 T extends Number，则替换为 Number；否则替换为 Object）。 - 插入强制类型转换代码，确保类型安全。 - 生成桥接方法（bridge methods），以保证多态行为的一致性。 **2. 示例说明**：假设有如下泛型类： ``` public class Box { private T value; public void set(T value) { this.value = value; } public T get() { return value; } } ``` 经过类型擦除后的伪代码大致为： ``` public class Box { private Object value; public void set(Object value) { this.value = value; } public Object get() { return value; } } ``` 如果你这样使用： ``` Box box = new Box<>(); box.set("hello"); String s = box.get(); ``` 实际上会被编译成类似： ``` Box box = new Box(); box.set("hello"); String s = (String) box.get(); // 自动插入类型转换 ``` **3. 桥接方法的作用**：当子类重写父类的泛型方法时，由于类型擦除，可能会导致签名冲突。编译器会自动生成一个桥接方法来解决这个问题。例如： ``` public class MyList extends ArrayList { @Override public boolean add(String s) { return super.add(s); } } ``` 在运行时，`ArrayList.add(E)` 被擦除为 `add(Object)`，而 `MyList.add(String)` 的签名不同。此时编译器会生成一个桥接方法： ``` public boolean add(Object o) { return add((String)o); } ``` **4. 类型擦除带来的限制**： - 不能使用基本类型作为泛型参数（如 `List` 是非法的，必须用 `List`）。 - 运行时无法获取泛型类型信息（如 `list instanceof List` 是非法的）。 - 不能创建泛型数组（如 `new T[10]` 是非法的）。 - 同一泛型类的不同泛型实例在运行时是同一类型（即 `Box.class == Box.class` 成立）。 **5. 替代方案**： - 使用通配符（wildcards）如 `List` 或 `List` 来增加灵活性。 - 利用 `TypeToken`（如 Gson 库中）通过匿名内部类保留泛型信息，用于反射场景。 - **代码示例**：示例一：展示类型擦除前后对比 ``` import java.util.*; public class TestErasure { public static void main(String[] args) { List list1 = new ArrayList<>(); List list2 = new ArrayList<>(); System.out.println(list1.getClass() == list2.getClass()); // 输出 true } } ``` 输出结果为 true，因为 `List` 和 `List` 在运行时都被擦除为 `List` 类型。示例二：桥接方法演示 ``` public class Parent { public void process(T t) { System.out.println("Parent process"); } } public class Child extends Parent { @Override public void process(String s) { System.out.println("Child process: " + s); } } public class Main { public static void main(String[] args) { Parent p = new Child(); p.process("hello"); // 正确调用了 Child.process(String) } } ``` 在编译阶段，编译器会为 `Child` 类生成一个桥接方法： ``` public void process(Object o) { process((String)o); } ``` 从而保证多态行为的一致性。 - **扩展知识**： **1. 反射与泛型信息丢失问题**：由于类型擦除的存在，通过反射通常无法获取到泛型的真实类型信息。但在某些情况下，如果泛型信息是声明在类继承结构或字段上的，可以借助 `java.lang.reflect.Type` 接口及其子类（如 `ParameterizedType`）获取泛型类型。示例： ``` public class MyClass extends ArrayList {} public class Main { public static void main(String[] args) throws Exception { Type type = MyClass.class.getGenericSuperclass(); if (type instanceof ParameterizedType) { ParameterizedType pt = (ParameterizedType) type; Type[] actualTypes = pt.getActualTypeArguments(); for (Type t : actualTypes) { System.out.println(t); // 输出：class java.lang.String } } } } ``` **2. Kotlin 的内联泛型 reified**： Kotlin 提供了 `reified` 关键字，可以在内联函数中保留泛型类型信息。这实际上是通过编译期展开代码并插入具体类型的方式实现的，并非真正意义上的“运行时泛型”。示例： ``` inline fun getTypeName() = T::class.java.name fun main() { println(getTypeName()) // 输出：java.lang.String } ``` **总结**： Java 的泛型类型擦除机制是为了向后兼容 JVM 字节码规范，虽然带来了一些限制，但也有效减少了对虚拟机层面的改动。理解类型擦除有助于写出更健壮的泛型代码，并避免常见的运行时错误。

快手暑期客户端二面面经

全站热榜

创作者周榜