啃知识系列_泛型通配符

接下来我们说一说通配符。

public class NonCovariantGenerics {
    public static void main(String[] args) {
//        List<Fruit> first = new ArrayList<Apple>();
    }
}
class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}

这里不能编译的原因是 ， Apple的List不是Fruit的List。但是有时你想要在两个类型之间建立某种类型的向上转型关系。这时候就需要通配符。

public class GenericsAndCovariance {
    public static void main(String[] args) {
        List<? extends Fruit> list = new ArrayList<Apple>();
//        list.add(new Fruit());
//        list.add(new Apple());
//        list.add(new Object());
        list.add(null);
        Fruit fruit = list.get(0);
    }
}

List<? extends Fruit> list可以理解为“具有任何从Fruit继承的类型的列表“，这里虽然能容器初始化，但是我们向其中加入对象的时候都会报错。因为现在我们不确定List里面装的是什么类型，所以无法向其中加入对象，但是get的时候因为我们确定他是由Fruit继承来的，所以允许这么做。

我们还可以使用超类型通配符。这里，可以声明通配符是由某个特定的任何基类来界定的，方法是指定<? super MyClass>.

public class SuperTypeWildcards {
    public static void main(String[] args) {
        List<? super Apple> apples = new ArrayList<Apple>();
        apples.add(new Apple());
        apples.add(new Jonathan());
//        apples.add(new Fruit());
//        apples.add(new Orange());
    }
}

参数是Apple的某种基类型的List，这样你就知道向其中添加Apple或Apple的子类型是安全的。但是因为Apple是下界，所以不能向其中添加Fruit。超类型边界放松了可以向方法传递的参数上所做的限制：