泛型编程（五）

泛型类的继承规则

让我们来考虑下面的问题，考虑一个类Employee和它的子类Manager，问题是Pair<Manager>是不是Pari<Employee>的子类，答案是不是，比如，下面的代码

Manager topHonchos = ...;
Pair<Employee> result = ArrayAlg.minmax(topHonchos); // 错误

minmax函数返回Pair<Manager>类型，而他不能转换为Pair<Employee>。事实上，Pair<Employee>和Pair<Manager>并没有任何关系。这样设计是为了类型安全。
那你可以把Pair<Employee>转换为Pair类型吗？答案是可以的。那么问题来了，你能不能先把Pair<Employee>转换成Pair，再向Pair类型中插入一些不正确的类型呢？答案可能出乎意料，是可以的。比如以下代码

Pair<Manager> mangerBuddies = new Pair<Manager>(ceo,cf0);
Pair rawBuddies = managerBuddies; // 没有错误
rawBuddies.setFirst(new File("...")); // 只有警告

这听起来很可怕，这都是为了兼容旧版本。当你使用这段代码时，他会抛出错误。
最后，泛型类可以像其他类一样继承或被继承。比如ArrayList<T>就继承自List<T>类。