快速理解<? extends T>和<? super T>

原文链接:https://www.jianshu.com/p/520104cfd0ff

在 Java 泛型中存在通配符的概念:

  • :上界通配符(Upper Bounds Wildcards)

  • :下界通配符(Lower Bounds Wildcards)

通配符存在的意义

有类就会有继承,在开发中我们经常接触泛型,肯定希望在使用泛型的时候可以兼容其子类,但是在使用集合或者其他类似的情景时会出现问题。下面用集合例子模拟真实的需求:

 

A a = new B();
ArrayList list= new ArrayList(); // 报错

根据上面的代码,假设 B 继承 A,第一行代码是合法的,但是第二行代码编译器会直接红线报错,ArrayList 无法赋值给 ArrayList。这是因为编译器在确定 ArrayList 元素类型的时候不会考虑 A 和 B 的继承关系,编译器无法承认第二行代码是合法的。为了解决这个问题引入了通配符的概念。

Ps:该例子中用的是 ArrayList 做例子,但并不是只针对集合,是针对类似集合出现的问题的情景。

快速理解<? extends T>和<? super T>_第1张图片

类继承关系图.png

根据上面的类的继承关系图,我们用 C 来观察,假设有下面两个 List:

 

List list1; // list1 的元素的类型只能是 C 和 C 的子类。
List list2; // list2 的元素的类型只能是 C 和 C 的父类。

list1 和 list2 的类型区间:

 

ArrayList b = new ArrayList<>();
ArrayList c = new ArrayList<>();
ArrayList d = new ArrayList<>();
// 
list1 = b; // 报错
list1 = c;
list1 = d;
// 
list2 = b; 
list2 = c;
list2 = d; // 报错

注意: 编译器针对 只关心与 C 有关的类继承关系,即只关心 C 的所有父类、 C 的所有子类和 C 本身的继承关系,即使 A 或者 B 存在其他子类编译器都不关心。

下面先认识 的区别:

    • add(): 不可以加入任何元素(除了 null 因为 null 可以为任何类型),编译器会红线报错,如:

      • // list1.add( new B());
        // list1.add( new C());
        // list1.add( new D());
        list1.add(null);
        
    • get():返回的值的类型默认是 C ,如:

      • C c = list1.get(0);
        D d1 = (D) list.get(0); // 编译器不报错,但运行时存在向下强制类型转换失败程序崩溃的风险
        
    • add(): 只能添加类型为 C 和其子类类型的元素,如:

      • // list2.add(new B()); // 报错
        list2.add(new C());
        list2.add(new D());
        list2.add(new E());
        list2.add(new F());
        
    • get():返回的值的类型默认是 Object,如:

      • Object object = list2.get(0);
        

简单来说就是 上界为 C 类型范围粗略理解为 [C,+∞),不允许添加除 null 的元素,获取的元素类型是 C ;

下界为 C 类型范围粗略理解为 (-∞,C],允许添加 C 以及 C 的子类类型的元素,获取的元素类型是 Object


从编译器的角度理解上面的区别:

首先理解车的例子:单车是车的子类,单车有车的特性可以代表车,但是车不能代表单车。即类型向上兼容向下不兼容

    • add():编译器只知道类型是 C 或 C 的子类,所以有可能是 C D E F 其中一个类型,为保证类型安全不能添加除了 null 以外的任何元素,即使是 C 本身也不行(车不能代表单车)。
    • get():既然编译器不知道此时集合中的元素是 C D E F 的哪一个,返回类型只能是他们共同父类 C 类型。
    • add():编译器只知道类型是 C 或者 C 的父类,所以有可能是 A B C 其中一个类型。编译器知道下界是 C ,根据类型向上兼容所以可以添加的元素是 C 以及 C 的子类(单车可以代表车)。
    • get():既然编译器不确定集合类型是 A B C 的哪一种,返回类型只能是他们的共同父类 Object 。

特点: 的 add() 被限制, 的 get() 被限制


PECS 原则

适合大量做获取操作的情景, 适合大量做添加操作的情景。



作者:zYoung_Tang
链接:https://www.jianshu.com/p/520104cfd0ff
来源:简书
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

你可能感兴趣的:(Java)