泛型就是编写模板代码来适应任意类型；
泛型的好处是使用时不必对类型进行强制转换，它通过编译器对类型进行检查；
注意泛型的继承关系：可以把ArrayList向上转型为List（T不能变！），但不能把ArrayList向上转型为ArrayList（T不能变成父类）。

1.使用泛型

使用泛型时，把泛型参数替换为需要的class类型，例如：ArrayList，ArrayList等；
可以省略编译器能自动推断出的类型，例如：List list = new ArrayList<>();；
不指定泛型参数类型时，编译器会给出警告，且只能将视为Object类型；
可以在接口中定义泛型类型，实现此接口的类必须实现正确的泛型类型。

2.编写泛型

编写泛型时，需要定义泛型类型；
静态方法不能引用泛型类型，必须定义其他类型（例如）来实现静态泛型方法；
泛型可以同时定义多种类型，例如Map。

3.擦拭法

泛型是一种类似”模板代码“的技术，不同语言的泛型实现方式不一定相同。
Java语言的泛型实现方式是擦拭法（Type Erasure）。
所谓擦拭法是指，虚拟机对泛型其实一无所知，所有的工作都是编译器做的。
因此，Java使用擦拭法实现泛型，导致了：

  • 编译器把类型视为Object；
  • 编译器根据实现安全的强制转型。

所以，Java的泛型是由编译器在编译时实行的，编译器内部永远把所有类型T视为Object处理，但是，在需要转型的时候，编译器会根据T的类型自动为我们实行安全地强制转型。
了解了Java泛型的实现方式——擦拭法，我们就知道了Java泛型的局限：
局限一：不能是基本类型，例如int，因为实际类型是Object，Object类型无法持有基本类型。
局限二：无法取得带泛型的Class。
局限三：无法判断带泛型的类型。
局限四：不能实例化T类型。
Java的泛型是采用擦拭法实现的；
擦拭法决定了泛型：

  • 不能是基本类型，例如：int；
  • 不能获取带泛型类型的Class，例如：Pair.class；
  • 不能判断带泛型类型的类型，例如：x instanceof Pair；
  • 不能实例化T类型，例如：new T()。

泛型方法要防止重复定义方法，例如：public boolean equals(T obj)；
子类可以获取父类的泛型类型。

4.extends通配符

使用类似<? extends Number>通配符作为方法参数时表示：

  • 方法内部可以调用获取Number引用的方法，例如：Number n = obj.getFirst();；
  • 方法内部无法调用传入Number引用的方法（null除外），例如：obj.setFirst(Number n);。

即一句话总结：使用extends通配符表示可以读，不能写。
使用类似定义泛型类时表示：

  • 泛型类型限定为Number以及Number的子类。

    5.super通配符

    使用类似<? super Integer>通配符作为方法参数时表示：

  • 方法内部可以调用传入Integer引用的方法，例如：obj.setFirst(Integer n);；

  • 方法内部无法调用获取Integer引用的方法（Object除外），例如：Integer n = obj.getFirst();。

即使用super通配符表示只能写不能读。
使用extends和super通配符要遵循PECS原则。
无限定通配符<?>很少使用，可以用替换，同时它是所有类型的超类。

6.泛型和反射

部分反射API是泛型，例如：Class，Constructor；
可以声明带泛型的数组，但不能直接创建带泛型的数组，必须强制转型；
可以通过Array.newInstance(Class, int)创建T[]数组，需要强制转型；
同时使用泛型和可变参数时需要特别小心。