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?

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

java 泛型类型形参(Type Parameters)
类型形参(type parameters) 给类型实参(type argrments)站位 public interface List<E>{boolean add(E e); }List ...
java 泛型类型形参(Type Parameters)Type Parameters 边界(Bound) 类型
Bound类型除了基础类型(primitive)和数组(Array)外,都可以作为边界类型 <T extends Number > <T extends String > & ...
java 泛型类型形参(Type Parameters)Type Parameters 边界(Bound)
声明类型形参<T>后,这时编译器并不知道T是什么类型,假设我们需要调用某些类的方法时,编译器会报错. class Test<T>{void fn(T t){System.out ...
java 泛型类型形参(Type Parameters) 类型
除了基础类型外都可以 List< String > List< Runnable > List< TimeUnit > List< Comparable &g ...
java 泛型类型实参(type argument)
类型形参(type parameters) 给类型实参(type argrments)站位 public interface List<E>{boolean add(E e); }List ...
java 泛型泛型接口(Generic Methods)类型形参(Type Parameters)
静态方法,非静态方法,还有构造器都可以使用类型形参方法或构造器的类型形参作用于整个方法,没有例外.因为方法没有静态部分 //1.静态方法 static <T extends String> ...
java 泛型泛型接口(Generic Interfaces)类型形参(Type Parameters)
接口的类型形参作用于整个接口,除了一些字段和嵌套类型,因为字段和嵌套类型都是默认静态 interface Interface <T> {T value; //errorT method() ...
java 泛型泛型类(Generic Classes)类型形参(Type Parameters)
类(class)的类型形参的作用范围是整个class,除了静态(static)成员和静态初始化模块. class Test <T> { //类型形参的写法static {Test<T ...
Java泛型进阶篇: 无界通配符、上界通配符以及下界通配符
专栏文章导航 Java泛型入门篇: 泛型类.泛型接口以及泛型方法 Java泛型进阶篇: 无界通配符.上界通配符以及下界通配符 Java泛型原理篇: 类型擦除以及桥接方法文章目录前言 1. 无界通配 ...

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

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

最新文章

热门文章

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

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

最新文章

热门文章

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

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