当前位置： 面试刷题>> Java 泛型的作用是什么？什么是泛型擦除？

在Java编程语言中，泛型（Generics）是一个强大的特性，它提供了一种方式，使得在编译时期就能进行类型检查，从而增强了代码的复用性、可读性和安全性。泛型的核心思想是在编译时期引入类型参数的概念，这些类型参数在运行时会被擦除，但编译器会利用这些类型信息来执行类型检查，确保类型安全。

Java 泛型的作用

  1. 类型安全：使用泛型后，你可以在编译时检查到非法的类型转换，从而避免了运行时ClassCastException的发生。比如，当你尝试将一个String对象放入一个设计为存放Integer的集合时，编译器会立即报错。

  2. 消除强制类型转换：泛型使得你可以在使用集合等数据结构时，不必再显式地进行类型转换。这不仅简化了代码，还减少了出错的可能性。

  3. 提高代码复用性：通过泛型，你可以编写更加灵活的代码，这些代码能够适用于多种数据类型，而无需为每种数据类型都编写单独的版本。例如，ArrayList<T>可以存储任何类型的对象，而无需为每种类型都定义一个特定的列表类。

  4. 提高代码清晰度：使用泛型可以使代码更加清晰易懂，因为通过类型参数，读者可以立即知道某个集合或方法应该操作的数据类型。

泛型擦除

泛型擦除（Type Erasure）是Java实现泛型的一种机制，其核心思想是泛型信息只存在于编译时期，在运行时JVM（Java虚拟机）中的泛型信息会被擦除，转而使用Object类型或者类型参数的上限类型来替代。这样做的目的是为了兼容Java的原有版本（主要是Java 5之前的版本），因为这些版本中没有泛型的概念。

泛型擦除带来的主要影响包括：

  • 无法通过反射检查泛型参数的实际类型：因为泛型信息在运行时并不存在，所以你不能通过反射来获取一个泛型集合或泛型类的实际类型参数。
  • 桥接方法：为了保持多态性，编译器会自动为泛型类生成桥接方法（Bridge Methods）。这些桥接方法允许子类覆盖父类中的泛型方法时，即使类型参数不同，也能保持方法的签名一致，从而满足Java的方法重写规则。

示例代码

以下是一个简单的泛型类示例，展示了如何使用泛型来创建一个能够存储任意类型对象的列表，并演示了泛型擦除带来的一个限制：

// 定义一个泛型类Box，用于存储任意类型的对象
public class Box<T> {
    // T stands for "Type"
    private T t;

    public void set(T t) { this.t = t; }
    public T get() { return t; }

    // 演示泛型擦除的一个限制：不能通过反射检查泛型参数的实际类型
    public static void main(String[] args) {
        Box<Integer> integerBox = new Box<>();
        integerBox.set(10);

        // 尝试通过反射获取Box<Integer>的实际类型参数，但会发现这是不可能的
        // 因为在运行时，泛型信息已经被擦除，integerBox.getClass()返回的是Box.class
        // 而不是Box<Integer>.class
        // 以下代码仅用于说明，实际上无法正确执行
        // Class<?> typeParameterClass = ... // 这里无法直接获取T的实际类型

        // 但我们可以安全地调用get方法并接收到正确的类型（因为编译器已经检查了类型安全）
        Integer value = integerBox.get();
        System.out.println(value);
    }
}

在这个例子中，尽管我们在编译时明确指定了Box<Integer>，但在运行时，由于泛型擦除，我们无法通过反射等手段来检查Box对象实际存储的是哪种类型的对象。不过，这并不影响我们在编译时获得类型安全的好处，以及在运行时安全地使用这些对象。

总的来说，Java的泛型是一个强大的特性，它极大地提高了Java程序的类型安全性、复用性和清晰度。而泛型擦除则是这一特性实现的一个关键机制，尽管它带来了一些限制，但整体上仍然是Java泛型设计中的一个合理折衷。在深入学习Java的过程中，理解和掌握泛型及其擦除机制是非常重要的。

推荐面试题