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

àì夳堔傛蜴生んèń 2022-11-03 05:28 308阅读 0赞

`? 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?