Java-Generics-PartIV

可具体化类型

前几篇已介绍了泛型擦除、参数化类型以及原始类型的相关概念，但对于部分结论的阐述仍存在一些模糊之处——例如，为什么具体参数化类型的数组无法创建，而原始类型或无界通配符参数化类型的数组却允许创建（尽管这种用法并不推荐）。

在此，对这一问题进行系统整理：所有能够创建数组的类型，本质上都是可具体化类型（reifiable type）。所谓可具体化类型，指的是一种在程序运行时能够被JVM完全识别、保留完整类型信息的类型，换句话说，这类类型在Java的类型擦除机制执行过程中，不会丢失任何关键的类型信息，其运行时类型与编译时声明的类型能够保持一致。

具体参数化类型（如List<String>）和有界通配符参数化类型（如List<? extends Number>），它们的类型实参都会被编译器捕获并用于静态类型检查，以此避免编译阶段出现类型不匹配的错误。但受Java类型擦除机制的影响，这些具体的类型实参信息会在编译完成后被擦除。到了运行时，JVM只能识别到它们对应的原始类型（如List），无法获取到编译时声明的具体类型限制。所以具体参数化类型不是可具体化类型。

而无界通配符参数化类型（如List<?>），虽然它的类型实参（无界通配符?）在运行时同样会被擦除，但由于无界通配符本身并不携带任何具体的类型限制信息，这种擦除操作并不会导致任何类型信息的损失——也就是说，其编译时声明的List<?>类型，与运行时JVM识别到的类型完全一致。因此无界通配符参数化类型属于可具体化类型。

可具体化类型所保留的完整类型信息，在Java的部分语法特性中起到了关键作用。例如，在使用instanceof关键字进行类型判断时，需要依赖运行时的类型信息来确定对象的实际类型；再比如数组的存储检查，也需要通过运行时的类型信息，确保存入数组的元素类型与数组声明的类型保持一致。正因为如此，只有可具体化类型，才能作为这些场景中的合法类型。

可具体化类型包括：

• 基本类型
• 非泛型的引用类型
• 无界通配符参数化类型
• 原始类型
• 上述类型的数组

不可具体化类型包括：

• 具体参数化类型
• 有界通配符参数化类型

基于这一分类，当涉及是否可以创建有界通配符参数化类型数组的问题时，可直接关联其不可具体化类型的属性——由于不可具体化类型无法保留完整的运行时类型信息，因此不能作为数组元素类型，即有界通配符参数化类型的数组无法创建。而无界通配符参数化类型属于可具体化类型，其数组在语法上是合法的。

在Java中介绍可具体化类型这个概念，有点像是在说废话，似乎其与类型擦除所表达的核心含义一致。但这一概念的价值在不同编程语言中存在明显差异。例如在C#中，泛型参数信息会完整保留至运行时，无需经过类型擦除过程，因此可具体化类型在不同语言中的表现并不相同。

容易混淆的是，尽管不可具体化类型的数组无法创建，但不可具体化类型的数组引用是合法的

List<String>[] strListArr = null; // 合法
List<? extends Animal>[] AnimalListArr = null; // 合法

由于不可具体化类型的数组本身无法创建，这类数组引用永远无法指向其自身类型的数组实例，仅能指向null或其他兼容类型的数组。实际使用中并无实际意义，因此不建议使用这类数组引用。

通配符参数化类型的作用

前文已多次提及通配符参数化类型的作用，此处对其具体作用及适用、不适用场景进行系统整理。

通配符参数化类型可用于以下类型标注场景（与非泛型类 / 接口的使用方式一致）：

• 作为方法的参数类型和返回类型
• 作为字段或局部引用变量的类型
• 作为数组的组件类型（数组元素类型）
• 作为其他参数化类型的类型实参
• 作为强制类型转换中的目标类型

通配符参数化类型不可用于以下场景：

• 创建对象
• 创建数组（无界通配符除外）
• 异常处理
• instanceof表达式（无界通配符除外）
• 作为超类型
• 出现在类字面量中

泛型方法

在通过多个章节介绍泛型类型的相关知识后，泛型方法的理解便会显得十分简单——其诸多特性、格式与泛型类型保持一致。

泛型方法指的是带有类型参数的方法，静态方法、非静态方法乃至构造器，都可以定义为泛型方法。泛型方法的定义有明确规范，需在方法返回值类型之前，用尖括号包裹泛型参数进行标识，以此明确该方法为泛型方法并声明其类型参数。

public static <T> T getFirstElement(T[] array) {
    if (array == null || array.length == 0) {
        return null;
    }
    return array[0];
}

泛型方法的实例化方式，与泛型类型存在明显区别：泛型类型通常需要通过类名<泛型实参>的方式显式指定类型参数；而泛型方法的使用更为简洁，大多可像非泛型方法一样直接调用，其泛型参数会由编译器根据调用上下文自动推断得出，无需显式声明。

Long[] longs = new Long[5];
longs[0] = 1L;
GenericMethod.getFirstElement(longs)

在上例中，泛型方法getFirstElement的泛型实参被编译器自动推断为Long。原因在于，该方法声明的参数类型为T[]，而实际传入的参数是Long[]类型，编译器会基于这一调用上下文，自动匹配并推断出当前泛型实参为Long，进而确定方法的参数和返回值类型均为Long。

这种由编译器根据调用上下文自动推断泛型方法类型参数的特性，称为类型推断（Type Argument Inference）。类型推断的顺序如下：

1. 基础推断：从方法实参直接推导。编译器首先会分析调用泛型方法时传入的实际参数类型，以此推导泛型类型参数的初步类型。若存在多个实际参数，泛型方法的类型参数 T 会被推断为所有传入实参对应形参位置的共同父类型（更严格地说是 “最小上界”）。
2. 上下界约束检查：验证推断出的类型是否符合泛型方法声明时的类型约束（若有）。若推断类型违反约束，编译器会直接抛出编译错误，确保类型安全性。

public final class Utilities {
    ...
    public static <T> void fill( T [] array, T elem) {
        for (int i=0; i<array.length; ++i) { array[i] = elem; }
    }
}
public final class Test {
    public static void main(String[] args) {
        Utilities.fill(new String [5], new String ("XYZ"));  // T:=String
        Utilities.fill(new String [5], new Integer (100));   // T:=Object&Serializable&Comparable
    }
}

区别于通过类型推断隐式确定类型参数的方式，泛型方法也支持显式指定类型参数（explicit type argument specification），当编译器无法通过上下文准确推断类型，或需要明确指定特定类型时，可采用这种方式。

GenericMethod.<Long>getFirstElement(longs)

需要注意的是，显式指定类型参数的格式与泛型类型存在明显区别：泛型类型的泛型实参需在类名（或接口名）后提供，而泛型方法的显式类型参数则需在方法名前、类名（或对象名）后提供，用尖括号包裹即可。

总结

归根结底，能够作为数组元素类型创建数组的数据类型，均属于可具体化类型。具体参数化类型和有界通配符参数化类型，由于Java类型擦除机制的影响，其类型实参相关的信息会在编译后被擦除，无法保留完整的运行时类型信息，因此均不属于可具体化类型，也无法作为数组元素类型创建数组。

通配符参数化类型不同于具体参数化类型，无法通过new关键字创建对象实例，其核心用途通常是作为方法参数、局部引用变量等类型标注，以此提升代码的通用性和灵活性，适配更多类型场景。

泛型方法的定义规范是在方法返回值类型之前，用尖括号包裹泛型参数进行声明；其类型实参通常由编译器根据调用上下文自动推断得出，无需显式声明，若编译器无法准确推断或需明确指定类型，也可手动显式指定类型参数。