释义

Java 泛型（generics）是 JDK 5 中引入的一个新特性，泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

什么是泛型，为什么要使用泛型？

通俗地讲，泛型的本质其实就是“参数化类型”，将需要传入的类型参数化。其实说的再简单一点，泛型就类似于我们的模板代码，我们可以在使用的时候替换成指定的类型，而不需要为涉及到的每一种类型都写一套相同逻辑的代码，并且合理的使用泛型可以使得我们的程序变得更加通用和易于扩展。

一个说烂了的例子

这个例子被很多人用来阐述我们在没有泛型的时候，是如何操作的，比如在 JDK5 以前，我们是这样写的：

 public static void main(String[] args) {
   List list = new ArrayList();
   list.add(1);        // Integer
   list.add("String"); // String
   list.add(...);      // Others
   // 因为 List 存放的是 Object 对象，所以下面强制转换为 String 会抛出异常。
   for (int i = 0, s = list.size(); i < s; i++) {
     System.out.println((String) list.get(i)); // ClassCastException
   }
 }

再比如：

 public class Caller {
   public void call(int index) {
     System.out.printf("index: %d\n", index);
   }
 }
 
 // 没有使用泛型
 // 必须得强转才能操作集合里面的元素
 List callers = Arrays.asList(
   new Caller(),
   new Caller()
 );
 for (Object caller : callers)
   ((Caller) caller).call(i); 
 }
 
 // 当我们用了泛型后，就可以直接对其进行操作了。
 // 少了很多代码，并且编辑器也可以对代码进行提示了，简直不要太方便。
 List callers = Arrays.asList(
   new Caller(),
   new Caller(),
 );
 for (Caller caller: callers) {
   caller.call(i);
 }

试想一下，如果不使用泛型，那么在进行操作的时候是不是每次都需要强制转换，很麻烦对不对。再者使用泛型一定程度上提供了程序的安全性，防止出现类型不匹配的低级错误，也算是一种安全检测机制，毕竟 JAVA 作为一种强类型就需要适当的对参数进行一定约束。

一些约定俗成泛型符号

• E - 通常用来表示某个元素，比如 List 中就是用了 E 代表了元素的类型 ；
• T - 通常代表某个参数类型，一般情况下一个泛型入参的时候会高频率的使用这个字符；
• K - 通常代表一个键的类型，比如 Map 中就使用 K 表示数据键的类型；
• V - 通常代表一个值的类型，比如 Map 中就使用 V 表示数据值的类型；
• N - 通常用于表示一种数字类型；
• ? - 代表不确定的类型（这是一个特殊的类型，需要和 Object 区分开来）；

当然了以上这些符号不是固定的，只要你符合变量命名规则都可以使用，但为了更好的识别它是一个泛型，最好统一使用单个有意义的字母或者 大写＋下划线 的方式来命名。

泛型的使用

• 泛型类 - 在类的定义中使用泛型（作用域是整个类）；
• public class Example<T> {}
• 泛型接口 - 在接口的定义中使用泛型（作用域是接口内部或者实现类中）；
• public interface Example<T> {}
• 泛型方法 - 在方法的定义中使用泛型（仅在方法内部有效）；
• public <T> void method(T value) {}

高级通配符

 public class Animal {}
 public class Dog extends Animal {}
 public class Wolf extends Animal {}
 public class Rabbit extends Animal {}

6.1、：上界通配符，表示的是类型的上界，接受 T 或者 T 的子类；

小提示：extends 顾名思义是继承的意思，? 继承了 T，那 T 就是顶点，依次向下匹配，所以叫做上界通配符。

 List upperBounds = null;
 
 // 正常匹配
 upperBounds = new ArrayList(); // Animal 本身
 upperBounds = new ArrayList();    // Animal 的子类
 upperBounds = new ArrayList();   // Animal 的子类
 upperBounds = new ArrayList(); // Animal 的子类
 
 // 编译报错，超出了限定类型
 upperBounds = new ArrayList();

6.2、：下界通配符，表示的是类型的下界，接受类型 T 或者 T 的超类，并且往上直到 Object；

小提示：super 就是代表父类、超类的意思，代表由 T 往上的所有超类，所以 T 就是最下面那个，因此叫做下界通配符。

 public class Animal extends Creature {} // 中间叠加 N 个父类，也可以从下往上一直匹配
 
 // 正常匹配
 List lowerBounds = null;    // 从 Dog 这一级一直往上匹配
 lowerBounds = new ArrayList();      // Dog 本身
 lowerBounds = new ArrayList();   // Dog 的父类 Animal
 lowerBounds = new ArrayList(); // Animal 的父类 Creature
 lowerBounds = new ArrayList