泛型：通配符

1. 通配符概念

通配符的出现，允许类型参数变化。

2. 上界通配符（子类型通配符）

该通配符为 ClassType 的所有子类型。

表示任何泛型 ClassType 类型，它的类型参数是 ClassType 的子类，但不是 Pair< String>。

上界通配符可以使用返回值，但是不可以为方法提供参数。

继承关系：

可进行如此赋值操作：

Pair manager = new Pair<>();
Pair wildCardBuddies = manager;

我们看一下类型 Pair,其方法是这样的：

? extends Employee getFirst();
void setFirst(? extends Employee);

这样的代码不可能调用 setFirst 方法，编译器只知道需要某个 Employee 的子类型，但是不知道具体的类型，它拒绝传递任何特定的类型，毕竟 ？不能用来匹配。

使用 getFirst 就不存在这个问题：将 getFirst 的返回值赋值给 Employee 的引用完全合法。
所以有了上文中的 – 上界通配符可以使用返回值，但是不可以为方法提供参数。

进一步，用自己的语言理解：

? extends Employee 表示为 Employee 或 Employee 的子类型,可进行 get ，返回值可用 Employee 来接收，而在调用 set 方法时无法确定参数的具体类型(拥有多个子类型，不知道具体哪一个子类型)。

由上面通配符可以，任何对象调用 getter 和 setter 方法，其返回值或参数必须有对应的类，不能对应一系列类族。

使用上限通配符意味着我们可以进行读取，但是不能写入。

3. 超类型限定符(上界通配符)

该通配符为 ClassType 的所有超类型。

表示任何泛型 ClassType 类型，它的类型参数是 ClassType 的超类，但是不是 Pair。

与下界通配符恰好相反，可以为方法提供参数，但是不能使用返回值。

继承关系：

可进行如此赋值操作：

Pair manager = new Pair<>();
Pair wildCardBuddies = manager;

我们看一下类型 Pair,其方法是这样的：

• 知识链接

void setFirst(? super Manager)
? super Manager getFirst()

这不是真正的 Java 语法，但是可以看出编译器知道什么。 编译器无法知道 setFirst 方法的具体类型，因此调用这个方法时不能接受类型为 Employee 或 Object 的参数。只能传递 Manager 或其子类型的对象。另外，如果调用 getFirst() 不能保证返回对象的类型，只能把它赋给 Object。

进一步，用自己的语言理解：

? super Manager 表示为 Manager 或 Manager 的超类型，可进行 set，对应的 setter 方法的参数可以传进 Manager 或 Manager 的子类型,在调用 getter 方法时返回值为 Manager 或 Manager 的超类，这样是不合法的,但是可以将返回值赋值给 Object 对象。

使用上限通配符意味着我们可以写入，不可以读取。

4. 无限定通配符

: 该通配符可以匹配任何类型。

Pair 有以下方法：

? getData();
void setData(?);

getData() 的返回值只能赋值给 Object，++因为不知道 ？具体代表什么类型++，所以 setData(?) 方法不能被调用。

Pair 与 Pair 的不同：可以用任意 Object 对象调用原始 Pair 类的 setData() 方法。 — 存在十分大的疑问

为什么使用这样脆弱的类型？它对于许多简单的操作十分有用：例如下面的例子：判断一个 Pair 对象是否是一个 null 引用，它不需要具体的类型参数：

public static boolean hasNull(Pair pair){
    return p.getData() == null;
}

其实通过使用泛型，可以避免使用通配符：

public static boolean hasNull(Pair pair)

但是带有通配符的版本更具可读性。