Java泛型，真实泛型和伪泛型

1、什么是泛型？

泛型是JDK1.5的一项新增特性，本质是参数化类型的应用，也就是说所操作的数据类型被指定为一个参数。泛型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。

---

2、为什么要使用泛型，用Object不行吗？

1. 如果没有使用泛型，而是使用Object，那么只能通过Object是所有类型的父类和类型强制转换两个特点的配合来实现类型泛化。
2. 同时，使用Object就有可能转型成任何对象，因此，只有程序员和运行期的虚拟机才知道这个Object到底是个什么类型的对象。
3. 在编译期间，编译器无法检查这个Object的强制转型是否成功，只通过程序员来保障这项操作的正确性，许多ClassCastException（类型转换错误）的风险就有可能在运行期发生。

---

3、什么是真实泛型？什么是伪泛型？Java中的泛型是真实泛型还是伪泛型？

• 真实泛型：泛型无论在源码、编译后还是运行期都是真实存在，例如List和List就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为真实泛型。C#中的泛型就是真实泛型。
• 伪泛型：Java中的泛型是伪泛型。泛型只在源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（Raw Type，也称裸类型）了，并且在相应的地方插入了强制转型代码。因此，在Java程序的运行期中，ArrayList和ArrayList就是同一个类。这种泛型实现方法称为类型擦除 ，基于这种方法实现的泛型称为伪泛型。

---

4、Java中使用泛型需要注意什么？

我们知道，Java中的泛型是采用泛型擦除的方式实现，也就是泛型只在源码中存在，编译之后，泛型就被替换称原来的原生类型，因此，在使用重载的时候，如果出现如下代码，则会编译失败。

public class GenericTypes{
    public static void method(List<String> list){
        System.out.println("invoke method(List list)");
    }
    public static void method(List<Integer> list){
        System.out.println("invoke method(List list)");
    }
}

由泛型擦除知道，上处代码编码后，参数List list和List list都被擦除了，变成了一样的原生类型List，使得两种方法的特征签名变得一摸一样。