泛型的用法<? extends A>,<? super A>
作者:互联网
解析
1.明确点和范围两个概念
2.如果尖括号里的是一个类, 那么尖括号里的就是一个点, 比如
List<A>,List<B>,List<Object>
3.如果尖括号里面带有问号,那么代表一个范围, <? extends A>
代表小于等于A的范围,<? super A>代表大于等于A的范围,<?>代表全部范围
4.尖括号里的所有点之间互相赋值都是错,除非是俩相同的点
5.尖括号小范围赋值给大范围,对,大范围赋值给小范围,错。如果某点包含在某个范围里,那么可以赋值,否则,不能赋值
6. List<?>和List是相等的,都代表最大范围
7.补充: List既是点也是范围,当表示范围时,表示最大范围
public static void main(String[] args) {
List<A> a;
List 1ist:
1ist = a: //A对,因为List就是List<?>,代表最大的范围,A只是其中的一个点,肯定被包含在内
List<B> b:
a =b: //B错,点之间不能相互赋值
List<?> qm;
List<0bject> o;
qm=a //C对,List<?>代表最大的范围,List<0bject>只是一 个点,肯定被包含在内
List<D> d;
List<? extends B> downB:
downB = d; //D对,List<? extends B>代表小于等于B的范围,List<D>是一 个点,在其中
List<? extends A> downA;
a = downA: //E错,范围不能赋值给点
a =o; //F错,List<Object>只是一 个点
downA = downB: //G对, 小于等于A的范围包含于等于B的范围,因为B本来就比A小,B时A的子类嘛
}
java数组具有协变性,而java集合不是协变的;
1.假设有一一个函数fun (Animal animal),如果我们传入- -个Dog d对象进去,编译器是不会报错的,这是多态的概念;
2.假设有一一个函数fun (Animal[] animals),如果我们传如一一个Dog[] dogs数组进去,编译器也不会报错,这就是数组的协变性;
3.假设有一个函数fun (List animal) ,
如果我们传如一一个List dog 集合进去,编译器就会报错了,这就是集合泛型的不变性;
那么该怎么办呢?我们可以将泛型改成这样fun (List <? extends Animal> ),这样之后,当我们再
传入一个List dog 集合进去,编译器就就不会报错了。也就是说可以传入包含Animal的子类的List了。
标签:List,编译器,extends,泛型,报错,范围,super,尖括号,赋值 来源: https://blog.csdn.net/weixin_56219549/article/details/120684450