泛型类的继承规则
让我们来考虑下面的问题,考虑一个类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>类。