从Java程序设计语言1.0版发布以来，变化最大的部分就是泛型。致使Java SE 5.0中增加泛型机制的主要原因是为了满足1999年制定的最早的Java规范需求之一（JSR 14）。专家组花费了5年左右的时间用来定义规范和测试实现。
泛型正是我们需要的程序设计手段。使用泛型机制编写的程序代码要比那些杂乱地使用Object变量，然后再进行强制类型转换的代码具有更好的安全性和可读性。泛型对于集合类尤其有用。
为什么要使用泛型程序设计
泛型程序设计（Generic programming）意味着编写的代码可以被很多不同类型的对象所重用。例如，我们并不希望为聚集String和File对象分别设计不同的类。实际上，也不需要这样做。因为一个ArrayList类可以聚集任何类型的对象。这是一个泛型程序设计的实例。
实际上，在Java增加泛型类之前已经有一个ArrayList类。下面来研究泛型设计的机制是如何演变的，另外还会讲解这对于用户和实现着来说意味着什么。
类型参数的好坏
在Java中增加泛型类之前，泛型程序设计是用继承实现的。ArrayList类只维护一个Object引用的数组：
public class ArrayList {
private Object[] elementData;
...
public Object get(int i) {...}
public void add(Object o) {...}
}
这种方法有两个问题。当获取一个值时必须进行强制类型转换。
ArrayList files = new ArrayList();
...
String filename = (String)file.get(0);
此外，这里如果没有错误检查。可以向数组列表中添加任何类的对象。
files.add(new File("..."));
对于这个调用，编译和运行都不会出错。然而在其他地方，如果将get的结果强制类型转换为String类型，就会产生一个错误。
泛型提供了一个更好的解决方案：类型参数（type parameters）。ArrayList类有一个类型参数来指示元素的类型：
ArrayList<String> files = new ArrayList<>();
编译器也可以很好的利用这个信息。当调用get的时候，不需要进行强制类型转换，编译器就知道返回值类型为String，而不是Object：
String filename = files.get(0);
编译器还知道ArrayList<String>中add方法有一个类型为String的参数。这将比使用Object类型的参数安全一些。现在，编译器可以进行检查，避免插入错误类型的对象。如：
files.add(new File("...")); // 这里将无法通过编译
是无法通过编译的。出现编译错误比类在运行时出现类的强制类型转换异常要好得多。
类型参数的魅力在于：使得程序具有更好的可读性和安全性。
泛型程序设计的能力级别
使用想ArrayList的泛型类很容易。大多数Java程序员都使用ArrayList<String>这样的类型，就好像他们已经构建在语言之中，像String[]数组一样。
但是，实现一个泛型并没还有那么容易。对于类型参数，使用这段代码的程序员可能想要内置（plug in）所有的类。他们希望在没有过多的限制以及混乱的错误消息的状态下，做所有的事情。因此，一个泛型程序员的任务就是预测出所有类的未来可能有的所有用途。
这一任务难到什么程度呢？下面是标准类库的设计者们肯定产生争议的一个典型问题。ArrayList类有一个方法addAll用来添加另一个集合的全部元素。程序员可能想要将ArrayList<Manage>中的所有元素添加到ArrayList<Employee>中去。然而，反过来就不行了。如何只能允许前一个调用，而不能允许后一个调用呢？Java语言的设计者发明了一个具有独特性的性概念，通配符类型（wildcart type），它解决了这个问题。通配符类型非常抽象，然而，他们能让库的构建者编写出尽可能灵活的方法。
泛型程序设计划分为3个能力级别。基本级别是，仅仅使用泛型类，典型的是想ArrayList这样的集合，不必考虑他们的工作方式与原因。大多数应用程序猿将会停留在这一级别上，知道出现了什么问题。当把不同的泛型类混合在一起时，或是在于对类型参数一无所知的遗留的代码进行衔接时，可能会看到含糊不清的错误消息。如果这样的话，就需要学习Java泛型来系统地解决这些问题，而不要胡乱地猜测。当然，最终可能想要实现自己的泛型类与泛型方法。
应用程序猿很可能不喜欢编写太多的泛型代码。JDK开发人员已经做出了很大的努力，为所有的集合类提供了类型参数。凭经验来说，那些原本涉及许多来自通用类型（如Object或Comparable接口）的强制类型转换的代码一定会因使用类型参数而受益。
捐赠
若你感觉读到这篇文章对你有启发，能引起你的思考。请不要吝啬你的钱包，你的任何打赏或者捐赠都是对我莫大的鼓励。
