泛型中的通配符为 ?--它会让泛型使用起来更加灵活,
通配符有下面几种用法
1: List<?> list = new ArrayList<>();
2: List<? extends Activity> list = new ArrayList<>();
3: List<? super Activity> list = new ArrayList<>();
第一种用法称之为非限定通配符,它的泛型类型为: 未知等价于 List<? extends Object> list = new ArrayList<>();
第二种和第三种称之为限定通配符,它们的不同点是,第二种限制的是上界, 第三种限制的是下界.
? extends T 控制的是下限也就是泛型只能是T或者他的子类,子子类等 它只能取不能存,但是可以通过反射存放东西,
但是他可以获取 获取得到数据的类型只能是extends 后面的(T)或者是它的父类(Object).所以它可以看作是一个生产者 ? super T 控制的是上限也就是泛型只能是 T或者他的父类级以上 但是他可以存数据, 只能存放super后面的(T),或者它的子类, 所以它可以看作是一个消费者
Java泛型的使用有个PECS原则 Product extends Consumer super
就是如果你想要从集合中获取 T就用 ? extends T, 如果人想要从集合中添加T 就用? super T
就拿Collections.copy(List <? super T> dest, List<? extends T> src)这个方法来说
这个方法主要做的是将scr集合里的数据全部拷贝到dest中,当然这是一个浅拷贝,
它的作法肯定是遍历src,从src中取出数据,然后再把数据添加到dest中,所以src就用了extends, dest用到的是super.
RxJava中用这个也是用得炉火纯青的
比如Observable.flatMap
public final <R> Observable<R> flatMap(Function<? super T, ? extends ObservableSource<? extends R>> mapper) {
return flatMap(mapper, false);
}
Observable.subscribe
public final Disposable subscribe(Consumer<? super T> onNext) {
return subscribe(onNext, Functions.ERROR_CONSUMER, Functions.EMPTY_ACTION, Functions.emptyConsumer());
}
等等很多