java泛型PECS＜Producer Extends Consumer Super＞原则

java泛型写法中有<? extends Type>和<? superType>两种写法

<? extends Type> 对应PE，代表修饰的变量或集合存储的是Type的子类类型，但不明确具体是那个子类类型，在java中不能把对象赋值给不明确类型的变量，所以不能赋值任何对象给<? extends Type>修饰的变量或添加元素到<? extends Type>修饰的集合中，也就是不能写，但Type子类包括Type的对象是可以直接赋值给Type类型的变量的，所以<? extends Type>修饰的变量是可读不可写的，可以是生产者，所以PE模式会出现如下情形

写，编译报错：

List<Date> list = new ArrayList<>();
list.add(new Date());
List<? extends Date> dates = list;
dates.add(new Date());  // 编译报错

 读，编译通过

List<Date> list = new ArrayList<>();
list.add(new Date());
List<? extends Date> dates = list;
Date date = dates.get(0);   // 编译不报错

 

<? super Type>对应CS，<? super Type>表示变量类型是Type的父类，这种情况把Type或Type子类存入是可以的，即?(Type父类型) var = (Type或Type子类对象)是可行的，因为java中子类对象是可以隐式赋值给父类变量的，所以可以对<? super Type>修饰的变量赋值Type或Type子类对象的值，也可以向<? super Type>修饰的集合中添加Type或Type子类对象的作为元素，但从<? super Type>修饰的变量或集合中取值赋值给Type是不可以编译通过的，因为不允许隐士把父类对象赋值给子类变量，所以<? super Type>可写不可读即只可消费输入，即CS，所以有如下代码所示的情形

写， 编译通过：

List<? super Date> dates = new ArrayList<>();
dates.add(new Date());  // 编译通过

读，编译报错：

List<Date> list = new ArrayList<>();
list.add(new Date());
List<? super Date> dates = list;
Date object = dates.get(0); // 编译报错

总结：

<? extends Type>：producer模式，可读不可写

<? super Type>：consumer模式，可写不可读