Java泛型-无限类型擦除

在Java泛型中，无限类型擦除指的是在运行时，由于擦除机制的存在，无法获取泛型实参类型的具体信息。这就造成了泛型实例类型和泛型类型的区别，因此程序员需要了解无限类型擦除对程序的影响。

泛型类型和泛型实例类型

在使用泛型时，我们需要声明泛型类型。例如，一个List类型可能声明为List<T>。当我们实例化一个List对象时，例如List<Integer> list = new ArrayList<>();，我们就得到了一个泛型实例类型。这个类型是基于泛型类型List<T>的参数替换而得到的，其中T被替换为Integer。

// 泛型类型声明
public interface List<T> {
    // ...
}

// 泛型实例类型
List<Integer> list = new ArrayList<>(); 

无限类型擦除

尽管我们声明了泛型类型和泛型实例类型，但是在运行时，Java虚拟机会将这些信息全部擦除。这就是所谓的无限类型擦除。我们无法在运行时获得泛型实参类型的具体信息，因为它们已经被擦除了。

例如，下面这段代码创建了一个List<String>类型的对象，并将它添加到一个List<Object>类型的列表中：

List<String> stringList = new ArrayList<>();
stringList.add("hello");

List<Object> objectList = new ArrayList<>();
objectList.add(stringList); // 编译时没有问题

由于无限类型擦除的存在，stringList被添加到了objectList中，尽管它们的泛型类型是不同的。这意味着，我们可以在编译时通过类型检查，但是在运行时，我们无法知道objectList中包含的元素是哪些类型。

泛型擦除的影响

由于无限类型擦除，我们需要了解泛型擦除的影响。其中一些影响如下：

• 无法在运行时获得泛型实参类型的具体信息。这在某些情况下可能导致类型错误。
• 泛型类型参数可以是任何引用类型，包括基本数据类型。这在编译时允许我们将基本类型的数组安全地协同使用，但在运行时可能会导致类型转换错误。
• 泛型类型参数在静态方法中无法使用。这是因为静态方法是在类加载时初始化的，此时泛型类型参数还不存在。

总结

无限类型擦除是Java泛型中的基本特征之一。它在编译时为我们提供了类型安全检查，但在运行时则没有保证。因此，我们需要了解泛型擦除的影响，并在实际应用中小心使用泛型。