泛型的概述

什么是泛型
       泛型是jdk5引入的类型机制，就是将类型参数化。泛型作为一种安全机制而产生泛型机制将类型转换时的类型检查从运行时提前到了编译时，使用泛型编写的代码比杂乱的使用object并在需要时再强制类型转换的机制具有更好的可读性和安全性。泛型在本质上是指类型参数化。所谓类型参数化，是指用来声明数据的类型本身，也是可以改变的，它由实际参数来决定。在一般情况下，实际参数决定了形式参数的值。而类型参数化，则是实际参数的类型决定了形式参数的类型。在声明List<E>阶段E是什么类型不确定，这里的E仅仅充当占位符的作用，在具体调用时类型才能确定，而E的所有位置将被指定的类型所替代。

使用泛型的好处

• 解决类型安全隐患，泛型的类或接口在取出对象时将不需要再进行向下类型转换，因为存储的时候就是该类型。
• 泛型的使用让安全问题在编译时就报错而不是运行后抛出异常，这样便于程序员及时准确地发现问题
• 使用泛型只是带来了附加的类型安全。因为编译器知道将放进集合的类型的更多信息，所以类型检查从执行时挪到了编译时，这会提高可靠性并加快开发速度

泛型的擦除
       实际上，从虚拟机的角度看，不存在泛型概念。
       泛型是运用在编译时期的技术：编译时编译器会按照<类型名>的类型对容器中的元素进行检查，检查不匹配，就编译失败。如果全部检查成功，则编译通过，但编译通过后产生的.class文件中还有<类型名>这个标识，即字节码的类文件中有泛型，但是运行时并没有泛型这就是泛型的擦除。可以通过使用javap反编译查看字节码文件，可以看到其中包含泛型
       一句话总结就是：在.java文件运用泛型技术时，编译器在文件编译通过后运行时自动擦除泛型标识。如果需要使用泛型的类型，则需要通过反射机制进行保存

       由于泛型的擦除，运行时并没有泛型机制，同时也没有使用向下类型转换，那么为何运行时无异常？

• 这是由于泛型的补偿
• 编译器在擦除泛型后，会自动将类型转换为原定义的泛型，这样就不必再做向下类型转换了。
• 泛型的擦除和补偿这两个机制都是编译器内部自动完成的。

泛型的局限性

• 不能使用基本类型
• 不能使用泛型类异常
• 不能使用泛型数组
• 不能实例化参数类型对象。