Java泛型小计

Java里的泛型主要是针对类来用的，因为Object的原因，所有的类都可以赋给Object类，但是在取出来时往往需要进行强制类型转换，但是转换时如果不提前定义class的类型往往会出错，所以在1.5里有了泛型这一概念，所有的集合都用到了泛型，其符号是<e>的形式，其中尖括号里的字母可以任意定义。看下面的例子。

在定义GenericTest这个类时，加了泛型的定义，用T来代表将要传进来的class类型，第19,20行具体实现里定义，foo1和foo2分别实现了Boolean和Integer，这样在编译时就明确了set和get方法的类型，如果有错在编译时就可以提示，而不会等到执行时再抛错，保证了安全性。

 

泛型还可以有其他形式比如：

Public class GenericTest<? Extends List>

它的意思是可以加进去的类型只能是实现了List这个接口的类，里面的extends不是继承的意思。

所以对于上面的声明可以有如下使用方式：

 

对于上面的例子 第22行声明方式和上面说的相同。但是第31行却是错误的，因为通过<? Extends List>限定的类，只能是取得它的内容或者移除内容，而不能添加。如果试图添加的话报错，因为这样的方式和不同泛型没什么区别，所以系统直接在编译时就认为这是错误的。