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>,但你就不能保证从中读取到的元素的类型
即是生产者,也是消费者
如果一个列表即是生产者,又要是消费者,你不能使用泛型通配符声明列表