java 泛型 类型形参(Type Parameters) 通配符(wildcard)边界(Bound)

? extends Type 表示Type的子类型(subtypes),Type也包含在内,被称为上界(upper bound)
? super Type表示Type的父类型(supertypes),Type也包含在内,被称为下界(lower bound)

有界的通配符相较于无界的,可以携带更多的信息.

  public static <T> void copy (List<? super T> dest, List<? extends T> src) {
      for (int i=0; i<src.size(); i++)
        dest.set(i,src.get(i));
  }

为什么需要有界通配符?

public static <T> void copy(List<T>dest,List<T>src){
    for (int i=0; i<src.size(); i++)
    dest.add(src.get(i));
}

假设我们定义了一个方法,从src中拷贝数据到dest,正常的调用

List<Integer> output = new ArrayList<Integer>();
List<Integer>  input = new ArrayList<Integer>();
Collections.copy(output,input);

是没问题的,因为我们传入相同的泛型实参int,但是下面的情况却不行了

List<Object> output = new ArrayList<int>();
List<Integer> input = new ArrayList<int>();
Collections.copy(output,input);// error,因为类型形参`T`,传入了两个实参`Object`和`Integer`

但是按理来说使用Object接收Integer是没问题的,比如方法改成无泛型类型约束的即可.

public static void copy(List dest,List src){
    for (int i=0; i<src.size(); i++)
    dest.add(src.get(i));
}

所以报错的原因就是泛型<T>的约束.
而解决这个问题的方法就是,使用带有边界的泛型类型.

  public static <T> void copy (List<? super T> dest, List<? extends T> src) {
      for (int i=0; i<src.size(); i++)
        dest.set(i,src.get(i));
  }

这下运行就没问题了

List<Object> output = new ArrayList<int>();
List<Integer> input = new ArrayList<int>();
Collections.copy(output,input);// 没问题

当我们从src中取数据时,取出来的是Integer的本类或者父类,编译器会自动转换为Object类型,而在装入dest的时候,由于我们已经声明了<? super T>,既告诉编译``dest装的是Integer的父类(当然Object是所有类的父类),所以就可以把其装入.

参考:
http://www.angelikalanger.com/GenericsFAQ/FAQSections/TypeArguments.html#What%20is%20a%20bounded%20wildcard?