理解Java泛型概念

泛型是Java中一个非常重要的概念，在Java集合类框架中被广泛应用。在介绍泛型之前先看一个例子。

在上面的例子代码中，存入list容器的对象是字符串类型，因为对象加入容器时都被转化为Object类型，因此在调用list的get方法时，需要把Object类型强制转换为字符串类型，这种类型转换称为向下类型转换。向下类型转换时，如果父类不能转换为子类，则抛出ClassCastExceptionClassCastException异常。在泛型出现之前，这种现象在编程中会经常发生，因为有时程序员在获取集合元素时，并不能够完全明确集合中存储的是属于什么类型的元素。那么有什么办法可以让装入集合容器的数据保存自己的类型，而不被转化为Object对象呢？这就需要用到JDK  5.0后支持的一项新功能——Java泛型。泛型在Java代码编译时被用到，是提供给编译器语法检查用的。泛型允许用户在定义类、类方法、形式参数、成员变量时，指定它为通用类型，也就是数据类型可以是任意的类型，如“List list=null;”,具体调用的时候，要将通用类型转换成指定的类型使用。泛型这个概念类似于大学自习时的占座行为，在课桌上丢一本书或某个相关的标记，表明此座位已经有人了，这个座位上究竟是那位同学，可能只有到上课才知道。泛型也就是给参数类型指定的一个占位符，就像方法的形式参数是运行时传递的值的站位符一样。下面结合List集合的定义，对泛型概念进一步说明。

从List定义可以看出，接口List后跟有，这个E就与方法中的形参类似，E限定了放在容器中元素的类型。采用泛型之后，上面的例子代码就不再需要做类型转换了。

代码实例化List集合时，将List中的E替换为String类型，同时new运算符后面的ArrayList中的E也要替换为String类型。这样，在调用List集合的get方法获取字符串对象时，就不需要做类型的强制转换了。下面从泛型的声明和泛型的使用来学习泛型的相关内容。泛型的声明在定义一个泛型的时候，在<>之间定义形式类型参数，例如，“class  Point”，其中E不代表值，而是表示类型。声明一个具有泛型的Point类，代码如下：

代码了定义了Point类，Point类名后面有泛型参数，因此外部代码在实例化Point类时，需要传入类型参数，类中所有的E在编译过程中都会被传入的参数替换。泛型的使用使用具有泛型定义的类时，在外部实例化该类时，需要传入实际的类型参数用于指定该类所使用的数据类型，如果没有指定传入的参数，编译器会给出警告，加入的数据类型被转化为Object类型，外部访问该类存储的元素时，需要做类型的强制转换。使用泛型的示例代码如下：