Java泛型与类型擦除是什么关系

Java泛型（Generics）是JDK 5引入的一项功能，它允许在编译时检查类型安全，并且所有的强制转换都是自动和隐式的，提高了代码的重用率。而类型擦除（Type Erasure）是Java实现泛型的机制。

类型擦除是Java泛型的一个核心概念，它意味着在编译时，泛型类型会被擦除，替换为它们的非泛型上界（通常是Object），除非指定了上界。这样做的原因是为了保持与旧版本Java代码的兼容性。

类型擦除的过程如下：

1. 泛型类型参数被擦除：编译器会将泛型类型参数替换为其上界（如果没有显式指定上界，则替换为Object）。例如，List<String> 和 List<Integer> 在编译后都会变成 List。

2. 桥方法的生成：为了保持多态性，编译器会生成桥方法（bridge methods）。当子类继承了一个泛型父类或实现了泛型接口，并且子类的方法签名与父类或接口中的泛型方法不兼容时，编译器会生成一个桥方法来解决这个问题。

3. 类型检查和类型转换：在编译时，编译器会进行类型检查，确保类型安全。在运行时，由于类型擦除，泛型类型信息已经不存在，因此需要进行类型转换。

举个例子：

public class Box<T> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

在编译后，上述代码会被擦除为：

public class Box {
    private Object value;

    public void setValue(Object value) {
        this.value = value;
    }

    public Object getValue() {
        return value;
    }
}

类型擦除确保了泛型代码可以与旧版本的Java代码兼容，但也带来了一些限制，例如无法创建参数化类型的数组（如 new T[10] 是非法的），以及在运行时无法获取泛型类型参数的信息（如使用 getClass() 方法获取的类型将是擦除后的类型）。