Java中的泛型(Generics)

关于Java中的泛型的一个学习网站：http://angelikalanger.com/GenericsFAQ

Java中的泛型是在J2SE 5.0中出现的。
如LinkedList中的E叫做类型参数(type parameter)。
而LinkedList和LinkedList叫做参数化类型(parameter type)。

Java中引入泛型的目的

主要源于对集合框架的实现和使用。

在没有泛型的时候，一个List集合中拥有的是一系列的Object。但很多时候我们想要的是一系列相同元素类型的对象。
为了解决这个问题，要么单独的实现IntegerList和StringList，要么使用一个类，但是这个类可以持有相同类型的元素。如持有String、Integer……

除此之外的泛型相关的有：Callable接口，Class类，还有强软弱虚四个类等

使用泛型带来的好处

可以提前发现程序中的错误，将运行时的错误提前到编译时（类似于Java中的受查异常）。
并且可以减少类型转换的代码，不用在set和get方法中进行强转。

Java的“类型安全”意味着什么？

如《Java核心技术》中所讲，Java语言具有健壮性，可以在编译时检查出一些其他语言在运行时才能检查出的问题。

如果Java的代码编译时，没有产生错误和警告，那么一定不会在运行时产生ClassCastException异常。

与泛型相关的特点

参数化类型和类型参数

A generic type is a type with formal type parameters. A parameterized type is an instantiation of a generic type with actual type arguments.

类型参数E将来会用具体的类型实例化。