什么是泛型
泛型这个术语的概念是"适用于许多的类型"
为什么需要泛型
一般的类和方法，只能使用具体的类型，要么是基本类型，要么是自定义的类，如果要编写更加通用的代码，我们就很难指定具体类型。
泛型的语法
<> (所有的泛型表示的类型，都在写在尖括号中) 示例: List<String> strList = new ArrayList<>(); //JDK1.7以后，有自动推导
泛型类
顾名思义，泛型类，即在类上定义泛型。具有一个或多个类型变量的类(本例中的T)
public class Pair<T> {
private T first;
private T secound;
public T getFirst(){return first;}
public T getSecound{return secound}
}
类弄变量使用大写形式，且比较短。使用E表示集合中的元素类型,K和V表示关键字与值类型。T(还可以使用U和S)表示"任意类型"
泛型接口
public interface Generater<T> {T next();}
泛型方法
泛型方法的定义：全该方法立于类而产生变化
public static <T> T getMiddle(T... t) {
return t[t.length / 2];
}
类型符放在修饰符的后面，返回类型的前面 当调用一个泛型方法时，在方法名前的尖括号中放入具体的类型 String middle = ArrayAlg <String> getMiddle("John", "Q", "public"); 实际情况下，方法的调用中可以省略
<string>类型参数,编译器可以推断出调用的方法</string>
泛型类型变量的限定
<T extends BoundingTyype>:表示 T应该是绑定类或子类型 限定符用 "&" 分隔，逗号用来分隔类型变量
通配符(?)
Par<?>: 接受任何类型的泛型 Pair<? extends Employee> :约定传入的类型必须为Employee的子类型 Pair<? super Manager>:限制传入的类型必须为Employee的父类型
泛型的擦除
原始类型用一个限定的类型变量来替换模板，如果没有给限定就用Object来替换。 Pair
<t>中的T将被Object来进行替换</t>
泛型的补偿
将泛型中的类型擦除后，将返回Object类型,编译器将自动插入Employee的强制类型转换 泛型的补偿(P318)
泛型的约束与局限
- 不能使用基本类型实例化类型参数
- 运行时类型查询只适用于原始类型
- 不能创建参数化类型的数组
- wargs警告,可以使用@SuperWarnings("unchecked")或者@SafeVargs
- 不能实例化类型变量， 不能使用new T(...) 这样的语句
- 不能构造泛型数组
- 泛型类的静态上下文中类型变量无效
- 不能抛出或捕获泛型类的实例
- 可以消除对受检查异常的检查
- 注意擦除后的冲突
反射和泛型
后续反射相关内容会专门来写这块
