【0】README
0.1) 本文描述+源代码均 转自 core java volume 1, 旨在理解 java泛型程序设计 的 泛型类型的继承原则 的知识;
【1】泛型类型的继承原则相关
1.1)考虑一个类 Employee 和一个Employee子类 Manger , 问: Pair 是 Pair 的一个子类吗?答案是: “不是的”;
1.2)看个荔枝:(下面的代码将不能编译)
Manager[] m1 = ...;
Pair<Employee> results = ArrayAlg.minmax(m1); // ERROR
minmax 方法返回 Pair<Manager> ,而不是 Pair<Employee> ,并且这样的赋值是不合法的;
Annotation)
- A1)可以将一个 Manger[] 数组赋给一个 Employee[] 的 数组;
Manager[] m1 = {ceo , cfo};
Employee[] e1 = m1; //OK
- 然而, 数组带有特别的保护, 如果试图将一个 低级别的雇员存储到 e1[0], 那么虚拟机会 抛出 ArrayStoreException 异常;
- A2)永远可以将参数化类型转换为一个原始类型: 如, Pair《Employee》 是原始类型 Pair 的一个子类型;
Pair< Manger> m1 = new Pair<>(ceo, cfo);
Pair m2 = m1; //OK
r2.setFirst(new File("...")) // only a compile-time warning
- 当使用 getFirst 获得外来对象并赋给 Manager变量时, 与通常一样, 会抛出 ClassCastExcetpion 异常。
- A3)最后泛型类可以扩展或 实现 其他的泛型类: 如, ArrayList《T》 类实现 List《T》 接口。 这意味着, 一个 ArrayList《Manager》 可以被转换为一个 List《Manager》。 但是, 如前面所见, 一个 ArrayList《Manager》 不是一个 ArrayList《Employee》或 List《Employee》;
- 下图展示了它们的联系: