泛型[7]一个复杂泛型示例研究

 

在java.util.Collections中有这样一个方法

这里是在定义泛型 添加extends限制时 使用了泛型通配符 作为类型。

publicstatic <TextendsComparable<? super T>>void sort(List<T>list)

 

意思就是说，传进来的这个类型T得实现/继承自Comparable<?super T>。

Textends Comparable<?super T>

注意这里虽然Comparable是接口，但是依然是用extends，参见“定义&传递”章节extends interface小节。即

Timplements Comparable<?super T>

 

 Java Code 

public class Fruit { } class Apple extends Fruit implements Comparable<Object>{     @Override     public int compareTo(Object o) {         return 0;     }      } //class Apple extends Fruit implements Comparable<Fruit>{ // //  @Override //  public int compareTo(Fruit o) { //      return 0; //  } //   //} // //class Apple extends Fruit implements Comparable<Apple>{ // //  @Override //  public int compareTo(Apple o) { //      return 0; //  } //   //} 这样不行 //class Apple extends Fruit implements Comparable<FujiApple>{ // //  @Override //  public int compareTo(FujiApple o) { //      return 0; //  } //   //} class Pear extends Fruit{      } class FujiApple extends Apple{      }

 

如果给Apple再嵌套泛型的时候，还可以这样

 Java Code 

class Apple<T> extends Fruit implements Comparable<Apple<T>>{     @Override     public int compareTo(Apple<T> o) {         return 0;     }      }

 

 Java Code 

ArrayList<Apple<Object>> list1 = new ArrayList<Apple<Object>>(); Collections.sort(list1); ArrayList<Apple<String>> list2 = new ArrayList<Apple<String>>(); Collections.sort(list2);

 

但实际上做实验的时候还手残写了这样的，并且这个在传Apple<Object>的时候还可以通过，但是在传apple<Integer>的时候就露馅了。

 Java Code 

这个只有T传Object的时候可以编译通过 class Apple<T> extends Fruit implements Comparable<T>{     @Override     public int compareTo(T o) {         return 0;     }      }

这是因为传Object的时候带入Apple<T>中是

Apple<Object> extends Fruitimplements Comparable<Object>

是满足

Timplements Comparable<?super T>

Apple<Object>implements Comparable<? superApple<Object>>

的