java泛型程序设计——泛型类型的继承原则

【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》；
下图展示了它们的联系：

java泛型程序设计——泛型类型的继承原则相关推荐

java泛型程序设计——注意擦除后的冲突
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的注意擦除后的冲突的知识: 1.1)当泛型类型被擦除时, 无法创建 ...
java泛型程序设计——翻译泛型表达式+翻译泛型方法
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的翻译泛型表达式+翻译泛型方法的知识: [1]翻译泛型表达式 1.1 ...
java泛型程序设计——类型变量限定 + 泛型代码和虚拟机
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的类型变量限定 + 泛型代码和虚拟机的知识: [1]类型变量的限定 ...
java泛型程序设计——反射和泛型
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的反射和泛型的相关知识: [1]反射和泛型相关 1.1)现在, Cl ...
java泛型程序设计——通配符类型+通配符的超类型限定
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的通配符类型+通配符的超类型限定的知识: [1]通配符类型相关 1. ...
java泛型程序设计——Varargs 警告+不能实例化类型变量
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的 Varargs 警告+不能实例化类型变量的知识: [1] Vara ...
java泛型程序设计——约束与局限性
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的约束与局限性的知识: [1] 不能用基本类型实例化类型参数 1.1 ...
java泛型程序设计——调用遗留代码
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的调用遗留代码的知识: [1]调用遗留代码相关 1.1)设计java ...
java泛型程序设计——定义简单泛型类+泛型方法
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的定义泛型类+泛型方法的知识: [1]一个泛型类: 就是具有一个或多个 ...

java泛型程序设计——泛型类型的继承原则

【0】README

【1】泛型类型的继承原则相关

java泛型程序设计——泛型类型的继承原则相关推荐

最新文章

热门文章