15.10.2逆变示例:
public class GenericWriting {
static <T> void writeExact(List<T> list, T item){
list.add(item);
}
static <T> T get(List<T> list){
return list.get(0);
}
static List<Apple> apples = new ArrayList<Apple>();
static List<Fruit> fruits = new ArrayList<Fruit>();
static void f1(){
writeExact ( apples , new Apple());
writeExact ( fruits , new Apple());
Fruit fruit = get ( fruits );
fruit.s();
}
static <T> void writeWithWildcard(List<? super T> list, T item){
list.add(item);
}
static void f2(){
writeWithWildcard ( apples , new Apple());
writeWithWildcard ( fruits , new Apple());
fruits .get(0).s();
}
public static void main(String[] args) {
f1 ();
f2 ();
}
}
在原示例的代码中是没有下面代码的:
Fruit fruit = get ( fruits ); //在原代码中是没有此行与下一行代码的
fruit.s();
static <T> T get(List<T> list){
return list.get(0);
}
fruits .get(0).s();
作者在后面的的描述中这样写到:writeExact() 方法使用了一个确切的参数类型(无通配符)。地 f1() 中,可以看到这工作良好 ------ 只要你向 List<Apple> 中放置 Apple 。 但是,writeExact() 不充许将 Apple 放置到 List<Fruit> 中,即使知道这样应该是可以的。
但是我在做测试时发现将Apple 放入到 List<Fruit> 中是可以的,当调用 get() 方法自动向上转型。再调用其中重写的方法 s() 时调用的是 Apple 中的 S();
我的开发环境是jdk1.6.0_14,eclipse 3.4.2
本来是以为版本的差别可是我用1.5进行编译时还是同样的结果。
如此说来 writeWithWildcard 方法中 所作用的" 超类型通符 " 还有什么用处呢。