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

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

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

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

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

为什么需要有界通配符?

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

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

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

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

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

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

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

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

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

这下运行就没问题了

  1. List<Object> output = new ArrayList<int>();
  2. List<Integer> input = new ArrayList<int>();
  3. 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?

发表评论

表情：
评论列表 （有 0 条评论，421人围观）

还没有评论，来说两句吧...

相关阅读