java泛型的简单认识及须要注意类型擦除

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型。

在1.5以前，可使用Object实现相似泛型的功能，但泛型最大的好处就是不须要强转类型，减小了可能存在的运行时异常。

限制泛型   class GenericsTest<T extends Collection>

多接口写法   <T extends SomeClass & interface1 & interface2 & interface3>

通配符泛型  <? extends Collection>    <? super Double>

须要注意，一个static方法，没法访问泛型类的类型参数，因此，若要static方法须要使用泛型能力，必须使其成为泛型方法。

PECS原则   Producer Extends, Consumer Super

• “Producer Extends” – 若是你须要一个只读List，用它来produce T，那么使用 < ? extends T >。
• “Consumer Super” – 若是你须要一个只写List，用它来consume T，那么使用 < ? super T >。
• 若是须要同时读取以及写入，那么咱们就不能使用通配符了。

类型擦除

正确理解泛型概念的首要前提是理解类型擦除（type erasure）。 Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节代码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会被编译器在编译的时候去掉。这个过程就称为类型擦除。如在代码中定义的List<Object>和List<String>等类型，在编译以后都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来讲是不可见的。Java编译器会在编译时尽量的发现可能出错的地方，可是仍然没法避免在运行时刻出现类型转换异常的状况。类型擦除也是Java的泛型实现方式与C++模板机制实现方式之间的重要区别。

不少泛型的奇怪特性都与这个类型擦除的存在有关，包括：

• 泛型类并无本身独有的Class类对象。好比并不存在List<String>.class或是List<Integer>.class，而只有List.class。
• 静态变量是被泛型类的全部实例所共享的。对于声明为MyClass<T>的类，访问其中的静态变量的方法仍然是 MyClass.myStaticVar。无论是经过new MyClass<String>仍是new MyClass<Integer>建立的对象，都是共享一个静态变量。
• 泛型的类型参数不能用在Java异常处理的catch语句中。由于异常处理是由JVM在运行时刻来进行的。因为类型信息被擦除，JVM是没法区分两个异常类型MyException<String>和MyException<Integer>的。对于JVM来讲，它们都是 MyException类型的。也就没法执行与异常对应的catch语句。

类型擦除的基本过程也比较简单，首先是找到用来替换类型参数的具体类。这个具体类通常是Object。若是指定了类型参数的上界的话，则使用这个上界。把代码中的类型参数都替换成具体的类。同时去掉出现的类型声明，即去掉<>的内容。好比T get()方法声明就变成了Object get()；List<String>就变成了List。接下来就可能须要生成一些桥接方法（bridge method）。这是因为擦除了类型以后的类可能缺乏某些必须的方法。

Java中泛型 类型擦除