什么是泛型

泛型这个术语的概念是"适用于许多的类型"

为什么需要泛型

一般的类和方法，只能使用具体的类型，要么是基本类型，要么是自定义的类，如果要编写更加通用的代码，我们就很难指定具体类型。

泛型的语法

<> (所有的泛型表示的类型，都在写在尖括号中) 示例: 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)

泛型的约束与局限

1. 不能使用基本类型实例化类型参数
2. 运行时类型查询只适用于原始类型
3. 不能创建参数化类型的数组
4. wargs警告,可以使用@SuperWarnings("unchecked")或者@SafeVargs
5. 不能实例化类型变量， 不能使用new T(...) 这样的语句
6. 不能构造泛型数组
7. 泛型类的静态上下文中类型变量无效
8. 不能抛出或捕获泛型类的实例
9. 可以消除对受检查异常的检查
10. 注意擦除后的冲突

反射和泛型

后续反射相关内容会专门来写这块