Java学习day057 泛型类型的继承规则、通配符类型（通配符概念、通配符的超类限定、无限定通配符、通配符捕获）

使用的教材是java核心技术卷1，我将跟着这本书的章节同时配合视频资源来进行学习基础java知识。

day057   泛型类型的继承规则、通配符类型（通配符概念、通配符的超类限定、无限定通配符、通配符捕获）

目录

day057   泛型类型的继承规则、通配符类型（通配符概念、通配符的超类限定、无限定通配符、通配符捕获）

1.泛型类型的继承规则

2.通配符概念

3.通配符的超类型限定

4.无限定通配符

5.通配符捕获

---

1.泛型类型的继承规则

在使用泛型类时，需要了解一些有关继承和子类型的准则。下面先从许多程序员感觉不太直观的情况开始。考虑一个类和一个子类，如 Employee 和 Manager。Pair是PaiKEmployee>的一个子类吗？ 答案是“不是”，或许人们会感到奇怪。例如，下面的代码将不能编译成功：

ManagerD topHonchos=. .
Pair result=ArrayAlg.ininmax(topHonchos);//Error

minmax 方法返回 Pair，而不是 Pair，并且这样的赋值是不合法的。无论S 与 T 有什么联系（如图  所示)，通常，PaiKS>与 PairS有什么联系。这一限制看起来过于严格，但对于类型安全非常必要。假设允许将 Pair转换为 Pair。考虑下面代码：

Pai r managerBuddies = new Pairo(ceo, cfo);
Pair employeeBuddies = managerBuddies; // illegal, but suppose it wasn't
employeeBuddies.setFirst(1owlyEmployee);

                                      

然而，最后一句是合法的。但是 employeeBuddies和 managerBuddies引用了同样的对象。现在将 CFO和 一 个 普 通 员 工 组 成 一 对，这 对 于 Pair说 应 该 是 不 可 能 的。

永远可以将参数化类型转换为一个原始类型。例如，PaiKEmployee>是原始类型Pair的一个子类型。在与遗留代码衔接时，这个转换非常必要。转换成原始类型之后会产生类型错误吗？很遗憾，会！看一看下面这个示例：

Pair managerBuddies = new Pairo(ceo, cfo);
Pair rawBuddies = managerBuddies; //OK
rawBuddies.setFirst(new File(". . .")); //only a compile-time warning

听起来有点吓人。但是，请记住现在的状况不会再比旧版 Java的情况糟糕。虚拟机的安全性还没有到生死攸关的程度。当使用 getFirst获得外来对象并赋给 Manager 变量时，与通常一样，会抛出 ClassCastException异常。这里失去的只是泛型程序设计提供的附加安全性。

最后，泛型类可以扩展或实现其他的泛型类。就这一点而言，与普通的类没有什么区别。例如，ArrayList类实现 List接口。这意味着，一个 ArrayList可以被转换为一个 List。但是，如前面所见，一个 ArrayList不是一个ArrayList 或 List。下图展示了它们之间的联系。                 

                       

---

2.通配符概念

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

Pair

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

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

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

public static void printBuddies(Pair p)

类型 Pair 是 Pair的子类型

                            

使用通配符会通过 PaiK?extendsEmployee>的引用破坏 Pair吗？

Pair managerBuddies = new PairoCceo, cfo);
Pair wildcardBuddies = managerBuddies; //OK
wi1dcardBuddies.setFirst(1owlyEnployee);//compile-time error

这可能不会引起破坏。对 setFirst 的调用有一个类型错误。要了解其中的缘由，请仔细看一看类型 Pair

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

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

使用getFirst就不存在这个问题：将getFirst的返回值赋给一个Employee的引用完全合法。这就是引人有限定的通配符的关键之处。现在已经有办法区分安全的访问器方法和不安全的更改器方法了。

---

3.通配符的超类型限定

通配符限定与类型变量限定十分类似，但是，还有一个附加的能力，即可以指定一个超类型限定（supertypebound), 如下所亦：

? super Manager

这个通配符限制为 Manager 的所有超类型。（已有的 super关键字十分准确地描述了这种联系，这一点令人感到非常欣慰。）为什么要这样做呢？ 带有超类型限定的通配符的行为与之前介绍的相反。可以为方法提供参数，但不能使用返回值。例如，Pair有方法

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

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

下面是一个典型的示例。有一个经理的数组，并且想把奖金最高和最低的经理放在一个Pair 对象中。Pair 的类型是什么？ 在这里，Pair是合理的，Pair