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非法的。
java配u型你,泛型方法上的多个通配符使Java编译器(还有我!)很迷茫相关推荐
- java main是标识符吗_main方法的认识 、通配符、java的注释、java的符(标识符)【Java基础】...
main方法的认识 print()和println()的区别 print()打印不换行 println()打印并换行 通配符 \n换行符\t制表符都应用于控制台 \n换行 \t以表格的形式显示 Sys ...
- java判断读到末尾_Java Web入门之java--第一节 java 简介及开发环境安装
本篇博客是Java web入门的第一篇博客,这篇博客主要讲述java语言的一些简介. 一)先从Java语言的诞生说起. 1991年,Sun公司在一个叫做James Gosling的人的带领下,成立了一 ...
- 《Java和Android开发实战详解》——2.2节构建Java应用程序
本节书摘来自异步社区<Java和Android开发实战详解>一书中的第2章,第2.2节构建Java应用程序,作者 陈会安,更多章节内容可以访问云栖社区"异步社区"公众号 ...
- java是解释型_Java 是编译型还是解释型?
Java 是编译型还是解释型? Java既不属于传统的编译型语言,也不属于解释型语言,Java是先编译成".class"字节码文件,然后再利用JVM虚拟机进行解释执行的,所以Jav ...
- 《史上最全、最强Java学习路线知识点整理!!全是干货!!》
自己平时学习整理的笔记,分享给各位,希望可以帮助各位,文章很长,点击收藏慢慢看吧!以后会分别对各个知识点进行透彻分析,敬请期待! Java基础 集合 HashMap 1.7 数组 + 链表.扩容时头插 ...
- Java面试宝典(问题史上最全,总结最好)
说明,为了减轻大家的负担和节省大家的时间,一些过时知识点和被笔试概率极低的题目不再被收录和分析. 回答问题的思路:先正面叙述一些基本的核心知识,然后描述一些特殊的东西,最后再来一些锦上添花的东西.要注 ...
- JAVA 基础深化和提高【上】
异常机制 导引问题 工作中,程序遇到的情况不可能完美.比如:程序要打开某个文件,这个文件可能不存在或者文件格式不对:程序在运行着,但是内存或硬盘可能满了等等. 软件程序在运行过程中,非常可能遇到刚刚提 ...
- Java程序员从笨鸟到菜鸟之(四)java开发常用类(包装,数字处理集合等)(上)
本文来自:曹胜欢博客专栏.转载请注明出处:http://blog.csdn.NET/csh624366188 一:首谈Java中的包装类 Java为基本类型提供包装类,这使得任何接受对象的操作也可以用 ...
- Java是解释型还是编译型?
有人说Java是编译型的.因为所有的Java代码都是要编译的,.java不经过编译就无法执行. 也有人说Java是解释型的.因为java代码编译后不能直接运行,它是解释运行在JVM上的,所以它是解释型 ...
最新文章
- 第六十二课、单例类模板
- CodeForces - 1301D Time to Run(构造+模拟)
- OSI七层网络模型浅析
- 有关计算机组成原理知识的论文,关于计算机组成原理的论文_计算机组成原理_图灵机的组成...
- while((getchar ()) != '\n')理解
- 【线性代数本质】3:矩阵和线性变换的本质
- 诗与远方:无题(五)
- 操作系统锁的实现方法有哪几种_一文带你彻底了解同步和锁的本质
- python lxml用法详解_Python-- lxml用法
- linux视频教程百度网盘分享
- 【转】linux下tcp测试工具
- python(分隔符)
- Andriod7.0之wifi开启流程(含流程框图及流程图)
- 5G 网络的移动性管理上下文对比介绍
- 彻底删除微软拼音输入法2003
- java blowfish 算法_Java Blowfish对称密钥加密算法的实现和加密案例
- 2015第二届上海国际机上内饰与翻新展览会
- 【Matlab符号积分和符号微分的实现方法】积分微分
- xpr文件格式用什么打开
- Airtestpoco学习历程1——设备连接