Thinking in java 中关于泛型的逆变

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 方法中 所作用的" 超类型通符 " 还有什么用处呢。