九. 泛型类型的继承规则
假设现在有一个类Employee和它的子类Manager
现在问题来了： Pair是Pair的子类吗？
答案是：不是
例如，下面的代码将不会编译成功：
Manager[] topHonchos = ...;
Pair result = ArrayAlg.minmax(topHonchos); //Error
//minmax方法返回Pair, 而不是Pair, 这样的赋值是不合法的
也就是说，无论 S 与 T 有什么联系，通常，Pair与Pair没有什么联系 也可以这么理解，无论赋给类型变量的类型之间有什么联系，在泛型类里，这些关系都不存在了
另外，泛型类可以扩展或实现其他的泛型类，例如：ArrayList类实现了List接口，这意味着，一个ArrayList可以被转换为一个List。但是，一个ArrayList不是一个ArrayList或List
十. 通配符类型
1. 通配符的概念：
假设我们现在需要打印一对员工的方法：
public static void printBuddies(Pair p) {
Employee first = p.getFirst();
Employee second = p.getSecond();
System.out.println(first.getName() + "and" + second.getName() + "are buddies.");
}
现在问题来了，Manager虽然不同于普通员工，但他也算是员工，他是员工的子类，但是根据之前说的泛型类继承规则，Pair与Pair没有任何关系，所以这个方法就不能接受Pair类了，难道Manager与普通员工就不能做朋友了吗？不，为了解决这个问题，我们使用通配符类型：
public static void printBuddies(Pair extends Employee> p)
类型Pair是Pair的子类型
可以认为，通配符为泛型类之间添加了一层联系，然而这种联系并不纯粹，我们来看一个例子：
Pair managerBuddies = new Pair<>(CEO, CFO); //JDK7之后可以省略构造函数的类型变量，由编译器根据语句自己翻译
Pair extends Employee> wildcBuddies; //OK
wildcardBuddies.setFirst(lowlyEmployee); //这步就会报错，compile-time error
究其原因，我们来看对于类型Pair extends Employee>内部对 setFirst 和 getFirst 方法的调用，它是这样的：
? extends Employee getFirst() //将getFirst返回值赋给一个Employee的引用完全合法
void setFirst(? extends Employee) //出现类型错误，因为编译器只知道需要某个Employee的子类型，但不知道具体是什么类型
2. 通配符的超类型限定
通配符还有一个比较强的功能就是可以指定一个超类，像这样：
? super Manager //super关键字限制通配符为Manager的所有超类(父类)
这样的做法与之前的子类型限定恰好相反。这样可以为方法提供参数(setFirst)，但不能使用返回值(getFirst)
void setFirst(? super Manager)
? super Manager getFirst()
直观的讲，带有超类型限定的通配符可以向泛型对象写入，带有子类型限定的通配符可以从泛型对象读取
3. 无限定通配符
还可以使用无限定通配符，例如，Pair>，初看起来，这好像与原始的Pair类型一样，实际上却有很大的不同，类型Pair>有以下的方法:
? getFirst()
void setFirst(?)
getFisrt的返回值只能赋给一个Object。setFirst方法不能被调用，甚至不能用Object调用。Pair>和Pair的本质不同在于：可以用任意Object对象调用原始Pair类的setObject方法
4. 通配符捕获