一、泛型的基本概念
1、概述
泛型的本质：参数化类型，也就是说所操作的数据类型被指定为一个参数，在用到的时候再指定具体的类型。
Java语言中的泛型只在源码中存在，在编译后的字节码文件中，就已经被替换为原来的原始类型了，并且在相应的地方插入了强制转型代码，因此对于运行期的Java语言来说，ArrayList<int>与ArrayList<String>就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖，基于这种方法实现的泛型被称为伪泛型。泛型提供了更好的安全性和可读性。
2、基本术语
泛型类型：整个成为ArrayList<E>
类型变量或者类型参数：ArrayList<E>中的 E
参数化的类型：整个ArrayList<Integer>
类型参数的实例：ArrayList<Integer>中的Integer
原始类型：ArrayList
二、泛型的使用
泛型的参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。
1、泛型类的定义
class Pair<T,U> {
...
}
2、泛型接口的定义
interface Show<T,U>{
void show(T t,U u);
}
3、泛型方法的定义
public static <T, U> T get(T t, U u) {
...
}
三、泛型变量的类型限定
有的时候，类、接口或方法需要对类型变量加以约束。看下面的例子：
public static <T> T get(T t1,T t2) {
if(t1.compareTo(t2)>=0);//编译错误
return t1;
}
因为，在编译之前，也就是我们还在定义这个泛型方法的时候，我们并不知道这个泛型类型T，到底是什么类型，所以，只能默认T为原始类型Object。所以它只能调用来自于Object的那几个方法，而不能调compareTo方法。可我的本意就是要比较t1和t2，怎么办呢？这个时候，就要使用类型限定，对类型变量T设置限定来做到这一点。
我们知道，所有实现Comparable接口的方法，都会有compareTo方法。所以，可以对<T>做如下限定：
public static <T extends Comparable> T get(T t1,T t2) { //添加类型限定
if(t1.compareTo(t2)>=0);
return t1;
}
类型限定在泛型类、泛型接口和泛型方法中都可以使用，不过要注意下面几点：
- 不管限定是类还是接口，统一都使用关键字 extends（super）
- 可以使用&符号给出多个限定，比如
public static <T extends Comparable&Serializable> T get(T t1,T t2) - 如果限定既有接口也有类，那么类必须只有一个，并且放在首位置
public static <T extends Object&Comparable&Serializable> T get(T t1,T t2) - 类型通配符：? 表示任何类型
void deal(List<? extends T> list) - A是B的子类，则A[ ] 是 B[ ]的子类，但是List<A>不是List<B>的子类
