如附录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非法的。