java配u型你,泛型方法上的多个通配符使Java编译器(还有我！)很迷茫

如附录B所示，这与多个通配符无关，而是误解了什么List>真的意味着。

让我们首先提醒自己，Java泛型是不变的，这意味着什么：阿

Integer是

Number

A List是

不 a List

A List 是 a List extends Number>

现在，我们简单地将相同的参数应用于嵌套列表情况。(详情见附录):A List是(可捕捉的).

List>

A List>是

不(可捕捉)a

List>

A List> 是(可捕捉)a

List extends List>>

有了这个理解，问题中的所有片段都可以解释。这种混乱产生于(错误地)认为类似的一种类型List>可以捕获类型如List>, List>等等，这是不是真的。

就是，List>:是

不其元素是某种未知类型的列表。..那将是一个

List extends List>>

相反，它是一个列表，其元素是

任何类型。

片段

这里有一个片段来说明上述几点：List> lolAny = new ArrayList>();lolAny.add(new ArrayList());lolAny.add(new ArrayList());

// lolAny = new ArrayList>(); // DOES NOT COMPILE!!List extends List>> lolSome;lolSome = new ArrayList>();lolSome = new ArrayList>();

更多的片段

下面是另一个使用有界嵌套通配符的示例：List> lolAnyNum = new ArrayList>();lolAnyNum.add(new ArrayList());

lolAnyNum.add(new ArrayList());// lolAnyNum.add(new ArrayList());     // DOES NOT COMPILE!!// lolAnyNum = new ArrayList>(); // DOES NOT COMPILE!!List extends List extends Number>> lolSomeNum;lolSomeNum = new ArrayList>();lolSomeNum = new ArrayList>();// lolSomeNum = new ArrayList>(); // DOES NOT COMPILE!!

回到问题上

为了回到问题中的片段，下面的行为与预期的一样(如ideone.com所见):public class LOLUnknowns1d {

static void nowDefinitelyIllegal(List extends List>> lol, List> list) {

lol.add(list); // DOES NOT COMPILE!!!

// The method add(capture#1-of ? extends List>) in the

// type List> is not

// applicable for the arguments (List)

}

public static void main(String[] args) {

List list = null;

List> lolString = null;

List> lolInteger = null;

// these casts are valid

nowDefinitelyIllegal(lolString, list);

nowDefinitelyIllegal(lolInteger, list);

}}

lol.add(list);是非法的，因为我们可能有List> lol和一个List list..实际上，如果我们注释掉违规语句，代码就会编译，这正是我们在main.

所有probablyIllegal问题中的方法并不违法。它们都是完全合法的和典型的。编译器中绝对没有错误。它正在做它应该做的事情。

参考文献

相关问题

附录：捕获转换规则(这是在答案的第一次修订中提到的，它是对类型不变参数的一个有价值的补充。)

放任G将泛型类型声明命名为n形式类型参数A1…一个n具有相应的界U1…U型n..存在捕获转换。G到G，在哪里，为了1<=i<=n:如果

Ti是窗体的通配符类型参数。

?然后是…

如果

Ti是窗体的通配符类型参数。

? extends Bi，然后是…

如果

Ti是窗体的通配符类型参数。

? super Bi，然后是…

否则，

Si=Ti.

捕获转换不是递归应用的。

本节可能会引起混淆，特别是在捕获转换的非递归应用方面(特此说明)。CC)，但关键是不是全部?可以CC；它取决于它出现在哪里..规则4中不存在递归应用程序，但当规则2或规则3适用时，则相应的Bi可能是CC的结果。

让我们看几个简单的例子：List>CAN CC

List这个

?规则1规定的CC

List extends Number>CAN CC

List这个

?规则2规定的CC

在适用第2条时，

Bi是简单的

Number

List extends Number>能，会，可以

不CC

List这个

?可以按照规则2进行CC，但由于类型不兼容而会发生编译时错误。

现在让我们尝试一些嵌套：List>能，会，可以

不CC

List>规则4适用，并且CC不是递归的，所以

?能，会，可以

不CC

List extends List>>CAN CC

List>第一

?规则2规定的CC

在适用第2条时，

Bi现在是

List>，其中可以CC。

List

双管齐下

?CAN CC

List extends List extends Number>>CAN CC

List>第一

?规则2规定的CC

在适用第2条时，

Bi现在是

List extends Number>，其中可以CC。

List

双管齐下

?CAN CC

List extends List extends Number>>能，会，可以

不CC

List>第一

?规则2规定的CC

在适用第2条时，

Bi现在是

List extends Number>，但当应用于

List

双管齐下

?CAN CC

来进一步说明为什么?可以CC和其他人不能，考虑以下规则：您可以不直接实例化通配符类型。也就是说，以下内容给出了编译时错误：// WildSnippet1

new HashMap,?>();         // DOES NOT COMPILE!!!

new HashMap, ?>();  // DOES NOT COMPILE!!!

new HashMap, Set>>();   // DOES NOT COMPILE!!!

但是，以下内容编译得很好：// WildSnippet2

new HashMap,Set>>();            // compiles fine!

new HashMap, Map,Map,?>>>(); // compiles fine!

原因WildSnippet2编译是因为，如上所述，没有一个?可以CC。在……里面WildSnippet1，或者K或者V(或两者兼而有之)HashMapCAN CC，它使直接实例化通过new非法的。