Question

我正在努力解决捕获的转换如何适用于通配符类型。 JLS中有一节解释：

让G使用n类型参数A1,...,An命名通用类型声明（第8.1.2节，第9.1.2节），并使用相应的边界U1,...,Un。

存在来自参数化类型的捕获转换   G<T1,...,Tn>（§4.5）到参数化类型G<S1,...,Sn>，其中，1 ≤ i ≤ n：



如果Ti是?形式的通配符类型参数（第4.5.1节），则Si是   新的类型变量，其上限为 Ui[A1:=S1,...,An:=Sn] 和   其下限是null类型（§4.1）。



如果Ti是? extends Bi形式的通配符类型参数，那么Si是   一个新的类型变量，其上限为glb(Bi, Ui[A1:=S1,...,An:=Sn])，其下限为null类型。

glb(V1,...,Vm)定义为V1 & ... & Vm。

对于任何两个类（不是接口）Vi，如果是编译时错误   Vj，Vi不是Vj的子类，反之亦然。



如果Ti是? super Bi形式的通配符类型参数，则Si是   新的类型变量，其上限为 Ui[A1:=S1,...,An:=Sn] 和   其下限为Bi。



否则，Si = Ti。

我不清楚的是Ui[A1:=S1,...,An:=Sn]。这是什么意思？我无法找到通过JLS搜索的定义。

Answer 1

首先：定义替换。

[A₁:=S₁,...,A_n:=S_n]是substitution in JLS notation (§1.3)，定义为：

符号[F₁:=T₁,...,F_n:=T_n]表示将F_i替换为T_i 1 ≤ i ≤ n。

声明：[A₁:=S₁,...,A_n:=S_n]是参数（G）A_i类型替换类型变量 {{ 1}} S_i。（另见脚注^†）

下一步：考虑为什么在第一种情况下我们可能需要替换。从§5.1.10开始（突出显示添加到下一点开车回家）：

让1 ≤ i ≤ n为通用类型声明命名... G类型参数n ，带有相应的边界A₁,...,A_n 。

那是：

边界U₁,...,U_n 专门针对类型参数U₁,...,U_n。
未说明的推论：边界A₁,...,A_n与类型变量U₁,...,U_n不对应。

把它放在一起：我现在正在说明这一点，因为我确信你领先于我，但是...

关于“ S₁,...,S_n的规则是T_i 形式的通配符类型参数...”

?是一个新的类型变量，其上限为S_i

U_i [A₁:=S₁,...,A_n:=S_n]是一个新类型变量
，其上限为S_i
其中（这是隐含位）
类型参数U_i，A₁,...,A_n专门与
已替换类型变量U₁,...,U_n
使S₁,...,S_n对应于类型变量U₁,...,U_n

TL; DR

即。它只是意味着原始上限S₁,...,S_n也是U_i

的上限

脚注

^†回忆一下from the JLS类型变量和类型参数不是一回事就很有帮助（因此我们可以开始明白为什么需要替换）：

类型变量是一个非限定标识符，用作类，接口，方法中的类型，   和构造函数体。

类型变量由泛型类，接口，方法或构造函数的类型参数的声明引入。

Answer 2

这意味着＆＃34;替代＆＃34;具有实际类型的类型变量。例如

List<T>[T:=String]    =>    List<String>

Enum<E extends Enum<E>>
    A1=E
    U1=Enum<E>

Enum<?> capture convertion to  Enum<S1>
    U1[A1:=S1]   =>   Enum<S1>
    S1's upper bound is Enum<S1>

语法可能来自lambda calculus

了解捕获的转化

2 个答案:

TL; DR

脚注