Java面试题：解释Java中的泛型及其类型擦除，并举例说明

Java中的泛型是一种在编译时提供类型安全检查的机制，它允许程序员在类、接口和方法中定义类型参数。泛型的主要目的是提高代码的复用性和类型安全性。通过使用泛型，可以编写出适用于多种数据类型的代码，而不需要为每种数据类型编写重复的代码。

泛型的定义和使用

泛型可以通过在类名后面加上尖括号<>，并在其中指定一个或多个类型参数来定义。例如：

public class Box<T> {
    private T item;

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

    public T getItem() {
        return item;
    }
}

在上面的例子中，Box类使用了类型参数T，它可以代表任何类型。这样，Box类就可以存储任何类型的对象，而不需要为每种类型创建不同的Box子类。

使用泛型类时，需要在创建对象时指定具体的类型：

Box<Integer> integerBox = new Box<>();
Box<String> stringBox = new Box<>();

类型擦除

类型擦除是Java泛型实现的一个特点。在Java中，泛型只在编译时有效，编译器会在编译过程中将所有的泛型类型信息擦除，使用Object类型来替换所有的类型参数。这个过程称为类型擦除。

类型擦除后，所有的泛型类都变成了带有通配符的类。例如，Box<Integer>在编译后变成了Box，类型参数Integer被擦除了。这意味着泛型类在运行时是不包含类型信息的。

类型擦除的影响

由于类型擦除，泛型在运行时有一些限制：

1. 无法创建泛型类型的实例：例如，你不能创建一个List<T>的实例，因为T在运行时不存在。
2. 无法检查泛型类型：在运行时，所有的泛型类型都被擦除为Object，因此无法通过instanceof操作符来检查泛型类型。
3. 无法向下转型：由于类型擦除，无法将泛型类型向下转型为具体的类型。

举例说明

让我们通过一个例子来说明类型擦除：

public class GenericMethod<T> {
    public T getDefaultValue() {
        return null;
    }
}

public class Main {
    public static void main(String[] args) {
        GenericMethod<String> stringMethod = new GenericMethod<>();
        String defaultValue = stringMethod.getDefaultValue(); // 正确：返回String类型

        GenericMethod<?> unknownMethod = new GenericMethod<>();
        // 下面的代码会报错，因为编译器不知道T的具体类型
        // Object value = unknownMethod.getDefaultValue(); // 错误：无法将capture#1-of ? 转型为Object
    }
}

在上面的例子中，GenericMethod类定义了一个泛型方法getDefaultValue。在main方法中，我们创建了一个GenericMethod<String>的实例，并调用getDefaultValue方法，它正确地返回了一个String类型的值。

然而，当我们创建一个GenericMethod<?>的实例时，由于类型擦除，我们无法确定?代表的具体类型，因此无法将getDefaultValue方法的返回值转型为Object或其他具体类型。这就是类型擦除带来的限制。

尽管存在这些限制，泛型仍然是Java中一个非常有用的特性，它在编译时提供了强大的类型检查，有助于减少运行时的错误和提高代码的可读性和可维护性。