super通配符转载

我们已经讨论过泛型继承关系： Pair<Integer> 不是 Pair<Number> 的子类。

请检查以下内容 set 方法：

void set(Pair p, Integer first, Integer last) {
    p.setFirst(first);
    p.setLast(last);
}

传入 Pair<Integer> 被允许，但传入的 Pair<Number> 是不允许的。

和 extends 这一次，我们想要接受，而不是通配符。 Pair<Integer> 类型，和 Pair<Number> 、 Pair<Object> ，因为 Number 和 Object 是 Integer 的父类， setFirst(Number) 和 setFirst(Object) 实际上允许接受 Integer 类型。

我们使用 super 用于重写此方法的通配符：

void set(Pair p, Integer first, Integer last) {
    p.setFirst(first);
    p.setLast(last);
}

注意到 Pair<? super Integer> 表示该方法参数接受所有泛型类型。 Integer 或 Integer 父类的 Pair 类型。

可以正常编译以下代码：

public class Main {

}

class Pair { private T first; private T last;

public Pair(T first, T last) {
    this.first = first;
    this.last = last;
}

public T getFirst() {
    return first;
}
public T getLast() {
    return last;
}
public void setFirst(T first) {
    this.first = first;
}
public void setLast(T last) {
    this.last = last;
}

}

Run

考察 Pair<? super Integer> 的 setFirst() 方法，其方法签名实际上是：

void setFirst(? super Integer);

因此，它可以安全地传递进来。 Integer 类型。

再考察 Pair<? super Integer> 的 getFirst() 方法，其方法签名实际上是：

? super Integer getFirst();

这里需要注意的是，我们不能使用 Integer 要接收的类型 getFirst() 不会编译以下语句的返回值：

Integer x = p.getFirst();

因为如果传入的实际类型是 Pair<Number> ，则编译器不能 Number 类型转换 Integer 。

注：虽然 Number 是我们不能直接实例化的抽象类。然而，即使 Number 不是抽象类，还是不能在这里编译。此外，即将到来的 Pair<Object> 类型，则编译器不能也是 Object 类型转换 Integer 。

唯一一个可以接受 getFirst() 该方法的返回值为 Object 类型：

Object obj = p.getFirst();

因此，使用 <? super Integer> 通配符表示：

• 允许调用 set(? super Integer) 方法传入 Integer 的引用；

• 不允许呼叫 get() 方法获得 Integer 的引用。

唯一的例外是你可以得到 Object 的引用： Object o = p.getFirst() 。

换句话说，使用 <? super Integer> 作为方法参数的通配符表示该方法的内部代码只能针对该参数写入，而不能读取。

使用super限定T类型

在定义泛型类型时 Pair<T> 也可以使用。 super 使用通配符进行限定 T 的类型：

public class Pair { ... }

现在，我们只能定义：

Pair p1 = null;
Pair p2 = new Pair<>(1, 2);
Pair