【面试】解释一下Java中的泛型以及泛型擦除

面试模拟场景

面试官: 你能解释一下Java中的泛型以及泛型擦除吗？

参考回答示例

泛型 是Java中的一种强类型的编程方式，它允许我们定义类、接口和方法时使用类型参数，从而实现类型的参数化，提高代码的重用性和类型安全性。同时，泛型擦除 是Java泛型的一种机制，用于在编译时处理泛型参数，并在运行时移除类型信息。下面我将详细解释Java中的泛型和泛型擦除。

1. Java中的泛型

1.1 泛型的概念

• 定义: 泛型（Generic）是Java SE 5引入的一种特性，它允许在定义类、接口或方法时指定类型参数，类型参数在使用时由具体类型替代。泛型使代码能够在不同类型之间复用，同时提高了类型检查的安全性。
• 优势:
  • 类型安全: 泛型在编译时进行类型检查，减少了运行时类型转换的风险和错误。
  • 代码复用: 泛型允许编写与类型无关的代码，提高了代码的复用性。
  • 可读性: 泛型消除了繁琐的类型转换操作，使代码更简洁、可读性更高。

1.2 泛型的使用

• 泛型类:

  • 通过在类名后添加类型参数，定义泛型类。使用泛型类时，具体的类型参数会替代类型变量。

  示例:

  public class Box<T> {
      private T item;
  
      public void setItem(T item) {
          this.item = item;
      }
  
      public T getItem() {
          return item;
      }
  }
  
  // 使用泛型类
  Box<String> stringBox = new Box<>();
  stringBox.setItem("Hello");
  String item = stringBox.getItem();  // 不需要类型转换
  

• 泛型方法:

  • 泛型方法允许在方法定义中使用类型参数，方法的调用者可以指定具体的类型。

  示例:

  public <T> void printArray(T[] array) {
      for (T element : array) {
          System.out.println(element);
      }
  }
  
  // 使用泛型方法
  Integer[] intArray = {1, 2, 3, 4};
  printArray(intArray);  // 类型参数为Integer
  

• 泛型接口:

  • 泛型接口允许接口中的方法使用类型参数，具体的实现类在实现接口时指定类型。

  示例:

  public interface Pair<K, V> {
      K getKey();
      V getValue();
  }
  
  public class OrderedPair<K, V> implements Pair<K, V> {
      private K key;
      private V value;
  
      public OrderedPair(K key, V value) {
          this.key = key;
          this.value = value;
      }
  
      @Override
      public K getKey() { return key; }
      @Override
      public V getValue() { return value; }
  }
  
  // 使用泛型接口
  Pair<String, Integer> pair = new OrderedPair<>("Hello", 1);
  

2. 泛型擦除（Type Erasure）

2.1 泛型擦除的概念

• 定义: 泛型擦除是Java编译器在编译过程中处理泛型的一种机制。在Java中，泛型是通过类型擦除实现的，即在编译过程中，编译器会将所有的泛型类型参数替换为它们的上限类型（通常是Object），并移除任何类型相关信息。因此，在运行时，Java的泛型不会保留类型参数的信息。

• 原因: 泛型擦除的设计使得Java的泛型与JVM的现有架构保持兼容，同时避免了类型膨胀问题，即避免为每个泛型类型创建不同的字节码。

2.2 泛型擦除的实现

• 类型擦除: 在编译时，编译器将泛型参数替换为它们的边界（如果没有指定边界，默认为Object）。
• 类型转换: 在编译过程中，编译器会在需要的地方自动插入类型转换操作，以确保类型安全。

示例:

public class Box<T> {
    private T item;

    public void setItem(T item) {
        this.item = item;
    }

    public T getItem() {
        return item;
    }
}

// 在编译后，泛型类型被擦除
public class Box {
    private Object item;

    public void setItem(Object item) {
        this.item = item;
    }

    public Object getItem() {
        return item;
    }
}

2.3 泛型擦除的影响

• 运行时类型检查: 由于泛型类型在运行时被擦除，导致在运行时无法获取泛型的类型信息。这意味着不能直接通过反射获取泛型参数的实际类型。
• 类型转换异常: 如果在使用泛型时没有正确地约束类型参数，可能会导致ClassCastException，因为泛型擦除会移除类型信息。

2.4 限定和桥接方法

• 类型边界: 当泛型类型参数有上限时（如<T extends Number>），编译器会在擦除时将泛型类型替换为它们的上界。
• 桥接方法: 为了确保继承和多态性的正确性，编译器可能会在泛型类中生成“桥接方法”，以适应类型擦除后的方法签名变化。

示例:

class MyNumber<T extends Number> {
    T value;
    public T getValue() {
        return value;
    }
}

// 编译后的桥接方法
class MyNumber {
    Number value;
    public Number getValue() {
        return value;
    }
}

3. 总结

Java中的泛型允许开发者编写类型安全、可重用的代码。通过泛型，类、接口和方法可以接受不同的类型作为参数。然而，由于Java泛型是在编译时实现的，运行时通过泛型擦除移除了类型信息。这种设计保证了与JVM的向后兼容性，但也带来了一些限制，如在运行时无法获取泛型类型参数的实际类型。