1.为什么我们需要用泛型

A.适用于多种数据类型执行相同的代码，比如下面俩个方法，如果用泛型就能整合成一个方法

public int addInt(int x,int y){
        return x+y;
    }
public float addFloat(float x,float y){
    return x+y;
}

B.泛型中的类型在使用时指定，不需要强制类型转换

比如向List中先存放String类型，再存放Interger类型，编译时是不会报错的，但在运行时会报java.lang.ClassCastException。
如果我们在List指定泛型List<String>那么在存放Interger类型时直接在编译时就会报错，同时在使用时也不需要强制类型装换。

2.泛型的定义

泛型：参数化的类型
泛型不仅可以定义泛型类，也可以定义泛型接口，也可以单独定义泛型方法：

public class NormalGeneric<K> {} //泛型类

Public <T> T test(T  t){} //泛型方法

3.实现泛型接口的两种方式

public class ImplGenertor<T> implements Genertor<T> {
    @Override
    public T next() {
        return null;
    }
}//实现接口以后，依旧是泛型类

public class ImplGenertor2 implements Genertor<String> {
    @Override
    public String next() {
        return null;
    }
}//实现接口以后，指定了类型

4.泛型方法

泛型方法可以独立存在，泛型方法不一定存在泛型类或者泛型接口中。

如果泛型类中又有泛型方法，而且泛型方法也用同样的符号，比如都是<T>,那么泛型方法中的<T>和泛型类中的<T>是没关系的。泛型方法单独存在，可与泛型类的T不一样。如果方法上没有定义<T>，如下所示，那么T就与类的泛型保持一致。

Public T test(T  t){} //注意，这个方法不是泛型方法，泛型方法会有<T>这样的标记

5.泛型的继承

泛型可以继承一个接口，也可以多个接口，用&符号连接

<T  extends  Comparable&Serializable>

泛型的继承，也可以继承类，但同时只能继承一个类，并且这个类一定要放在第一个。

<T  extends  Book&Comparable&Serializable>

6.泛型的约束和局限性

A.泛型不能被实例化，比如new T()， 这样是不被允许的；
B.静态域以及静态方法中，不能用类的泛型。因为类的泛型是在实例化的时候才确定具体的类。但是静态方法本身是独立泛型方法，那么就可以是静态的泛型方法；
C.泛型不能用instanceof来判断，下面这种方式会报错

if( a instanceof Restrict<Book>) {}

D.同一个类，用不同的泛型，其类的本质还是一样的。也就是调用它们的getClass()得到的结果是相等的
E.泛型类不能extends Exception或者Throwable，这一点比较特殊；如果实在要如此，可先查看相关资料
F.泛型不支持基础类型，只能使用包装类型。
G.泛型可以定于泛型数组，但是不能创建泛型数组。

Restrict<Double>[] restrictArray; //这样是OK的

Restrict<Double>[] restricts = new Restrict<Double>[10];//这样会报错

7.泛型的通配符

通配符一般定义在方法中，不会定义在类的泛型之中

<? extends Fruit>   //继承Fruit的子类， 主要用于安全访问数据，不能设置数据
<? super Apple>     //Apple的父类，get方法不能用，set方法只能设置Apple或者Apple的子类

8.虚拟机是如何实现泛型

泛型技术在C#和Java之中的使用方式看似相同，但实现上却有着根本性的分歧，C#里面泛型无论在程序源码中、编译后的IL中（Intermediate Language，中间语言，这时候泛型是一个占位符），或是运行期的CLR中，都是切实存在的，List＜int＞与List＜String＞就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为真实泛型。

Java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此，对于运行期的Java语言来说，ArrayList＜int＞与ArrayList＜String＞就是同一个类，所以泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。

由于Java泛型的引入，各种场景（虚拟机解析、反射等）下的方法调用都可能对原有的基础产生影响和新的需求，如在泛型类中如何获取传入的参数化类型等。因此，JCP组织对虚拟机规范做出了相应的修改，引入了诸如Signature、LocalVariableTypeTable等新的属性用于解决伴随泛型而来的参数类型的识别问题，Signature是其中最重要的一项属性，它的作用就是存储一个方法在字节码层面的特征签名[3]，这个属性中保存的参数类型并不是原生类型，而是包括了参数化类型的信息。修改后的虚拟机规范要求所有能识别49.0以上版本的Class文件的虚拟机都要能正确地识别Signature参数。

另外，从Signature属性的出现我们还可以得出结论，擦除法所谓的擦除，仅仅是对方法的Code属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们能通过反射手段取得参数化类型的根本依据。