java泛型笔记

java泛型是在java se 1.5时引入的新特性。其本质是一种参数化类型，也就是说所操作的数据类型被指定为一个参数(type parameter)这种参数可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。

在没有泛型时，使用对Object的引用来实现类型任意化，但是这需要强制类型转换，这需要知道实际的参数类型。否则在编译阶段可能不会报错，而在运行阶段出现异常。
泛型作为一种参数类型只可用于类，而不能用于基本数据类型。
泛型只在编译阶段有限，而在编译后会做去泛型处理，即类型擦除。在正确检测泛型后，会将起信息擦除，并在对象进去和离开方法边界处添加类型检查和转换的方法。所以泛型信息不会进去到运行阶段。

泛型在逻辑上可以看做是不同的类型，实例化都是相同的基本类型，即Generics。

通配符:
常见有T、E、K、V、N、?，其实这只是约定俗称的规矩，用其他字母也可以，但是就丧失了代码的可读性。

泛型的上下限与读写:

<? extends A> 类型只能是A及其子类，上限是A类，该参数只读不写。 <? super A> 类型只能是A及其父类，下限是A类，该参数只写不读，这遵循了多态的原则。 泛型的上下边界设计遵循了**PECS（Producer Extends Consumer Super）**原则