我们都知道,所有基本数据类型都是Object类的子类,因此他们满足多态:Object A = new String("AA");,但是对于泛型,是否满足多态呢,答案是否定的,因为每一个泛型与泛型之间都是并列关系,是不能够向上转型,即不满足多态的比如:
List<Object>
L1
=
new
ArrayList<>();
List<String>
L2
=
new
ArrayList<>();
虽然平时Object是String的父类,但是在泛型中,当你尝试着将L2赋值给L1时,编译器会报错,提示你类型不匹配
那么对于这些泛型,有没有他们共同的父类呢,答案是有的,就是通配符:? ,所有你泛型都是它的子类比如上个例子中的List<Object>与List<String>等等都是List<?>的子类,利用List<?>就可以实现泛型之间的多态了,例如:
List<Object>
L1
=
new
ArrayList<>();
List<?>
L3
=
new
ArrayList();
L3
=
L1
;
这样就实现了向上转型(多态),在使用了通配符后,就可以存放它的所有子类了,但是当向声明为通配符的集合类中直接添加除了null之外的所有类型的元素时,是不被允许的,但读取是可以的;
对于通配符"?",还有两个小知识点,当我们像下面这样使用时:
①<? extends A> 可以存放A及其所有子类(这里的"extends"类似于小于等于)
②<? extends B> 可以存放B及其父类(这里的"extends"类似于大于等于)