泛型中? super T和? extends T的区别

2016/1/18 posted in  Java

extend

List<? extends Number> foo3的通配符声明,意味着以下的赋值是合法的:

// Number "extends" Number (in this context)

List<? extends Number> foo3 = new ArrayList<? extends Number>(); 

// Integer extends Number

List<? extends Number> foo3 = new ArrayList<? extends Integer>();

// Double extends Number

List<? extends Number> foo3 = new ArrayList<? extends Double>();
读取操作通过以上给定的赋值语句,你一定能从foo3列表中读取到Number,因为以上的列表要么包含Number元素,要么包含Number的类元素。
你不能保证读取到Integer,因为foo3可能指向的是List<Double>
你不能保证读取到Double,因为foo3可能指向的是List<Integer>
写入操作通过以上给定的赋值语句,你不能往List<? extends T> 中插入任何类型的对象,因为你不能保证列表实际指向的类型是什么。
你不能插入一个Integer元素,因为foo3可能指向List
你不能插入一个Double元素,因为foo3可能指向List

super

// Integer is a "superclass" of Integer (in this context)

List<? super Integer> foo3 = new ArrayList<Integer>();

// Number is a superclass of Integer

List<? super Integer> foo3 = new ArrayList<Number>();

// Object is a superclass of Integer

List<? super Integer> foo3 = new ArrayList<Object>();
读取操作通过以上给定的赋值语句,唯一可以保证的是,你可以读取到Object或者Object子类的对象
写入操作通过以上给定的赋值语句,你可以插入Integer的子类对象,因为Integer的子类同时也是Integer

生产者使用extends

如果你想从列表中读取T类型的元素,你需要把这个列表声明成<? extends T>,但你就不能往该列表中添加任何元素

消费者使用super

如果你想把T类型的元素放入到列表中,你需要把这个列表声明成<? super T>,但你就不能保证从中读取到的元素的类型

即是生产者,也是消费者

如果一个列表即是生产者,又要是消费者,你不能使用泛型通配符声明列表