Java 泛型分析

Java 泛型

Java Generics 是 JDK 1.5 引入的新特性，它提供了编译时的类型安全检测机制，避免了代码中进行显示的类型转换（cast），是对类型系统的一种增强。

Java Generics 引入了类型参数（type parameter），将集合元素的类型作为了参数。

Java 泛型的特点

1、泛型其实是一种语法糖。

（其他语法糖：自动装箱/拆箱，for-each，变长参数，条件编译，内部类，枚举类，断言语句，对枚举类和字符串的switch支持，try-with-resources）

泛型中的类型参数仅存在于编译期，在运行期会被擦除（erased）。

Once the compiler knows the element type of the collection, the compiler can check that you have used the collection consistently and can insert the correct casts on values being taken out of the collection.

插入元素时，编译器会检测插入元素的类型是否和类型参数兼容；

取出元素时，编译器会进行强制转换（在元素前加 cast）。

2、在一个类中定义以下两个方法，编译器会报错：Erasure of method XXX is the same as another method in type XXX。

原因：类型参数在编译后会被擦除，因此这两个方法在编译后是同一个方法。

有关方法签名的细节：在Java语言层面，方法签名（method signature）由方法名、参数列表组成；

而字节码层面，方法签名由方法名、参数列表和返回类型组成。

3、代码在编译期由编译器来检查类型安全。

对于开发者而言，代码可读性更强，更不容易出错（典型的更容易做对，更难做错）。

当然可以使用 cast 进行强制转换，由虚拟机在运行时检查实际类型是否相符；如果不符，抛出 ClassCastException。（可以使用 instanceof 判断类型）

4、可以使用 java.util.Collections 提供的 checkedCollection | checkedQueue | checkedSet | checkedSortedSet | checkedNavigableSet | checkedList | checkedMap | checkedSortedMap | checkedNavigableMap （装饰者模式）来提供运行时类型安全。

The java.util.Collections class has been outfitted with wrapper classes that provide guaranteed run-time type safety。

5、Java Generics 与 C++ template 不同。

Java generics 不会为每一个特化（specialization）产生一个新类，也不支持 template metaprogramming。

参考资料

https://docs.oracle.com/javase/8/docs/technotes/guides/language/generics.html

http://www.runoob.com/java/java-generics.html