Java 通配符 ? 学习

参考连接1 https://blog.csdn.net/jdsjlzx/article/details/70479227
参考连接2https://blog.csdn.net/Amen_Wu/article/details/79522912

定义

泛型的一种延伸,扩展.

分类

"<? extends T> ":类型上界,表示参数化类型的可能是T 或是 T的子类

‘<? super T>’:类型下界,表示参数化类型是此类型的超类型（父类型），直至Object

用法

<? extends T>

List<? extends Father> list1 = getFatherList();//借用参考链接里面的例子

list1 不能添加任何元素.只能取,

不能添加的逻辑如下

List list = new ArrayList();

• list是一组同一类型T的list,
• List<? extends Father> 如果添加的话,添加的参数是 ? , 而 ? 可能是继承Father 的 Father1,继承Father 的 Father2,
• Father1 和Father2 是平级关系,两者没有直接的继承关系, 不能相互强制转换cast, cast 的话会异常,
  那为什么都不强转cast成Father呢? 强转成Father后 信息丢失,都是同一种类型Father,和使用泛型List 一样了,和使用目的不符,

<? super T>

List<? super Father> list1 = getFatherList()

list1 只能添加Father 或者Father 的子类,读取的东西只能存放在Object 类里面,

为什么能添加子类

List<? super Father> 添加的参数是 ? ,而 ? 是Father的 父类, 所以参数 ? 可能是Father 的父类 1Father和2Father, add时子类可以强制cast成父类Father 来add,而不会造成数据丢失,

读取的东西只能放Object 类

List<? super Father> 的参数 ? , 可能是Father 的父类 1Father和2Father,
1Father 和 2Father 如果有继承关系还好,可以相互cast,但是信息可能丢失,如果1Father 和2Father 没有继承关系,获取时cast 就会异常,

解决的问题

写给别人用的逻辑数据结构时,明确告诉调用者数据结构的限制(骨架),不能脱离范围. 和 无限制 T 形成区别.

以上仅个人理解,未读源码,妄自揣测圣意,