在学习泛型的时候想当然的认为
ArrayList<? extends Ye> s=new ArrayList<>();
该集合可以添加Ye的子类但是实际运行的时候是:
编译没有通过,很显然这个集合并不能接受Ye的子类,但是我们稍微改变一下
很显然,当集合泛型定义为<? super Fu>时,能够接受Fu类及其子类,而在正常情况下该集合能够接受其已定义泛型的子类,添加子类后,取出子类对象时,该对象呈现出多态特征,:
因此可知以下结论:
1.集合可以添加其泛型所定义的类的对象及其子类对象,且取出的子类具有多态特征。
2.当集合泛型定义为<? super Fu>,该集合接受的数据类型要同时为Fu类的子类及Fu类的基类子类对象,因此只能添加Fu类及其子类对象。
3.当集合泛型定义为<? extends Fu>时,添加任何对象都会编译异常,因为理论上添加的对象必须同时满足是Fu类及其所有子类的对象或其子类对象,但是因为Fu类的子类之间没有继承关系,所以是不可能满足的,一定会报错。