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>限定的类,只能是取得它的内容或者移除内容,而不能添加。如果试图添加的话报错,因为这样的方式和不同泛型没什么区别,所以系统直接在编译时就认为这是错误的。