Java核心技术 卷I 基础知识 学习笔记（8）

参考：Java核心技术 卷I 基础知识 第八章

泛型程序设计意味着编写的代码可以被很多不同类型的对象所重用。

泛型使用类型参数，使得代码有更好的可读性。

在Java SE7及以后的版本中，构造函数中可以省略泛型类型，省略的类型可以从变量的类型推断得出。

类型参数的魅力在于：使得程序具有更好的可读性和安全性。

通配符类型。

一个泛型类就是具有一个或多个类型变量的类。

泛型方法可以定义在普通类型也可以定义在泛型类中。

类型变量放在修饰符的后面。

类型变量的限定使用extends，如T extends Comparable，表示T应该是Comparable的子类型。

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型。原始类型的名字就是删去类型参数后的泛型类型。擦除类型变量并替换为限定类型（无限定类型的变量用Object）。

类型擦除与多态发生了冲突，要解决这个问题，需要编译器在对应类中生成一个过桥方法。

Java泛型转换的事实：

• 虚拟机中没有泛型，只有普通的类和方法。
• 所有类型参数都用它们的限定类型替换。
• 桥方法被合成来保持多态。
• 为保持类型安全性，必要时插入强制类型转换。

使用Java泛型时需要考虑的一些限制：

1. 不能用基本类型实例化类型参数，比如，不能使用double，只能使用Double
2. 运行时类型查询只适用于原始类型。
3. 不能创建参数化类型的数组
4. Varargs警告
5. 不能实例化类型变量
6. 不能构造泛型数组
7. 泛型类的将她上下文中的类型变量无效
8. 不能抛出或补货泛型类的实例
9. 可以消除对受查异常的检查
10. 注意擦除后的冲突

泛型的继承：无论S与T有什么联系，Pair<S>和Pair<T>没有什么联系。

通配符类型：

通配符类型中，允许参数变化。例如：Pair<? extends Employee>