PECS原则全称"Producer Extends, Consumer Super",即上界生产,下界消费。
如果有一个List
List<Men> list = new ArrayList<Men>();
如果在一个情景下限制只能从里面取数据(生产者),那么可以对外暴露如下引用:
List<? extends People> list1 = list;
原理:<? extends People>限制了该引用的实际泛型一定是People的某个子类,即list1引用实际指向的ArrayList中只能存储People的子类(可以向上转型成People),但由于是“某个子类”,所以不能确定其类型,那么在进行存储时也就无法确定需要向上转型的泛型。
但是在读取时,因为实际的list中存储的一定是People的子类以及该子类的子类,那么一定可以用People引用进行读取(向上转型);
可能比较绕的点,主要是转型方向的问题:存的时候要将存的数据向上转型成list中的类型,取的时候要将list中的类型向上转型成取出的引用类型。
相反,如果想限制只能向list里面写数据(消费者),那么可以对外暴露如下引用:
List<? super Men> list2 = list;
原理:List<? super Men>限制了该引用的实际泛型一定是Men的某个父类,即list2引用实际指向的ArrayList中只能存储Men的父类,那么在存储时,只需要使用Men类型的引用,那么一定可以向上转型成list的实际泛型。
但是在读取时,由于无法确定list的实际泛型,可能是Men的任意父类,只能用终极父类Object进行兜底读取。