java中的捕获是什么_了解Java中的捕获类型（符号'？'）

小编典典

捕获通配符类型是编译器使用的一种类型，它在一个特定位置代表通配符类型的特定实例的类型。

示例：以具有两个通配符参数的方法为例void m(Ex> e1, Ex>

e2)。声明的类型e1和e2被写入完全相同，Ex>。但是e1和e2可能具有不同且不兼容的运行时类型。

即使以相同的方式编写类型，类型检查器也不能认为类型相等。因此，在编译期间，e1和的类型参数将e2被赋予特定的类型，并在每个使用它们的地方使用新的类型。这些新类型称为其声明类型的

捕获 。

捕获通配符是未知的，但是是普通的和具体的类型。可以与其他类型相同的方式使用。

可以在JLS中找到对此的技术描述：

5.1.10。捕获转化

让G命名具有n个类型参数A1，…，An并具有相应范围U1，…，Un的通用类型声明(第8.1.2节，第9.1.2节)。

存在从参数化类型G(第4.5节)到参数化类型G的捕获转换，其中对于1≤i≤n：

如果Ti是形式为？的通配符类型参数(第4.5.1节)，则Si是新鲜类型变量，其上限为Ui [A1：= S1，…，An：=

Sn]，下限为空类型(第4.1节)。

…

我们可以将其应用于您的示例：

public Integer accept(RecipientTypeVisitor> visitor){ //Error:

return visitor.visit(this); //Cannot convert capture of #1 to Integer

}

RecipientTypeVisitor在编译期间引入了对type参数的捕获。捕获的类型参数是具体的，但完全未知(JLS将此称为“新类型变量”)，并且肯定不能转换为Integer。

无法直接表示捕获通配符类型，因此您不能声明该类型的变量或对其进行过多处理。但是，您可以通过以其为参数调用泛型方法来间接获得其名称。我引用的JLS部分对此有一个很好的示例：

public static void reverse(List> list) { rev(list); }

private static void rev(List list) {

List tmp = new ArrayList(list);

for (int i = 0; i < list.size(); i++) {

list.set(i, tmp.get(list.size() - i - 1));

}

}

2020-11-19