Java个人对泛型的理解(二)之通配符

Java个人对泛型的理解(一)

泛型中的通配符为  ?--它会让泛型使用起来更加灵活,

通配符有下面几种用法

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());
    }

等等很多