8.通配符类型

通配符概念

通配符类型中，允许类型参数变化。例如，通配符类型，子类型限定：

pair<? extends Employee>

表示任何泛型 Pair 类型，它的类型参数是 Employee 或 Employee 的子类，如 Pair，但不是 Pair。
假设要编写一个打印雇员对的方法，像这样：

public static void printBuddies(Pair<Employee> p) {
    Employee first = p.getFirst();
    Employee second = p.getSecond();
    System.out.println(first.getName() + " and " + second.getName() + " are buddies.");
}

不能将 Pair 传递给这个方法，这一点很受限制。解决的方法很简单：使用通配符类型：

public static void printBuddies(Pair<? extends Employee> p) {

这样 Pair 是 Pair<？extends Employee> 的子类型

这样我们就可以在方法中使用 ? extends ：

public static add(Pair<? extends Number> p) {
    Number first = p.getFirst();
    Number second = p.getSecond();
    p.setFirst(new Integer(first.intVlaue() + 100)); // compile-time error
    p.setSecond(new Integer(second.intVlaue() + 100)); // compile-time error
    return p.getFirst().intValue() + p.getSecond().intValue();
}

可以看到是可以使用 get 方法的，因为你的限定符是属于 Number 或 Number 的子类，可以安全的赋值给 Number。但是 set 方法却报错了，根据上述代码，我们如果传入一个 Pair，显然它是满足 <? extends Number> 的，但是，Pair 的 setFirst() 显然无法接受 Integer 类型。
对于 set 方法，编译器只知道需要某个 Number 的子类型，但又不知道具体是那个类型。编译器拒绝这样的方式，但是使用 get 方法就不存在这个问题。

set 方法中唯一的例外是可以传入 null

我们可以看到可以用 extends 通配符表示可以读，不能写。

通配符的超类型限定

还有另外一个限定是超类型限定：

? super Manager

这个通配符限制为 Manager 或 Manager 的所有超类型。

带有超类型限定的通配符的子类型限定的通配符介绍的相反。可以为方法提供参数，但不能使用返回值。
可以来看一个例子：

static void setSame(Pair<? super Integer> p, Integer n) {
    p.setFirst(n);
    p.setSecond(n);
}

因为是 <? super Integer> 因此可以安全的传入 Integer，不仅如此，p 也能传入 Pair 和 Pair