Java泛型类型中的通配符参数处于其范围之内的正式条件是什么？

Question

使用Java中的参数化类型，检查参数是否在其绑定范围内的规则 对于通配符如何 完全 起作用？

给定这样的课程：

class Foo<T extends Number> {}

通过试验编译器接受的内容，可以了解到：

• 甲? extends使用不相关的接口类型被允许通配符：Foo<? extends Runnable>是有效
• 一个? extends使用一个不相关的类类型是不允许的通配符：Foo<? extends Thread>无效。这是有道理的，因为没有类型可以是Numberand 的子类型。Thread
• 在? super通配符中，通配符的下限必须是类型变量bound的子类型：Foo<? super Runnable>不允许，因为Runnable不是的子类型Number。同样，此限制是完全合理的。

但是这些规则在哪里定义？在Java语言规范4.5节中，我看不到任何将接口与类区分开的东西。在应用我对JLS的解释时，Foo<? super Runnable>据说是有效的。所以我可能误会了一些东西。这是我的尝试：

在JLS的该部分中：

参数化类型由类或接口名称C和实际类型参数列表 组成。如果C不是通用类或接口的名称，或者实际类型实参列表中的类型实参的数量与C声明的类型实参的数量不同，则这是编译时错误。除非明确排除，否则我们还包括通用版本的类或接口类型。在本节中，设A1，…，An为C的形式参数，设Bi为Ai的声明边界。符号[Ai：=
Ti]表示类型变量Ai被Ti替换为1 <= i <= n，并且在整个说明书中使用。

令P = G 为参数化类型。对于每个实际的类型自变量Xi，必须对P进行捕获转换（第5.1.10节），得到类型G
之后，1 <= i <= n， Xi <：Bi [A1：= X1，…，An：= Xn]（第4.10节），否则会发生编译时错误。

将其应用于P = Foo<? super Runnable>：得到C = Foo，n = 1，T1 = ? super Runnable和B1
= Number。

对于捕获转换，捕获转换定义的这一部分适用：

如果Ti是形式的通配符类型参数？超级Bi，则Si是一个新类型变量，其上限为Ui [A1：= S1，…，An：= Sn]，下限为Bi。

给出G =
Foo<X>其中 X是具有上限 Number和下限的新鲜类型变量 Runnable。我看不到任何明确禁止此类类型变量的东西。

B1 =中没有类型变量Number，因此Bi [A1：= X1，…，An：= Xn]仍然很简单Number。
X具有Number上限（来自捕获转换），并且根据子类型化规则
“类型变量的直接超类型是在其范围内列出的类型”，因此X<：Number（= Bi [A1：= X1，… ，An：=
Xn]），因此此参数在其范围内。（但是不是！）

遵循相同的推理， 每个 通配符都在其范围之内，所以这里有些不正确…但是，这种推理到底在哪里出错？如何 做 时，正确应用这些规则工作？

Answer 1

关于泛型的JLS是不完整的，您还发现了另一个漏洞。类型变量的下限几乎没有讨论，并且在规范上X对上限Number和下限都没有任何限制Runnable。他们可能忽略了它。

直观上，必须至少存在一个同时满足类型变量上限和下限的可能类型，否则该变量以及使用该变量的所有类型将无用。由于这几乎肯定是编程错误，因此编译应该失败。

很容易检查上限和下限是否构成了一组空的类型。下界的所有超类型都是已知的；至少其中一个应该是上限，否则两个范围内都没有类型。

-

这两种Foo<? extends A>情况在规范中都有很好的定义。随着采集转换，我们有新的变量类型X有上限A & Number，并规范说为上限V1&...&Vm

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

因此，如果A = Thread，捕获转换将失败。