3.深入java泛型

在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

Java语言引入泛型的好处是简单安全:在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高代码的重用率。

规则和限制

1、泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。

2、同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

3、泛型的类型参数可以有多个。

4、泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上称为“有界类型”。

5、泛型的参数类型还可以是通配符类型。例如Class<?> classType =Class.forName("java.lang.String");

泛型类语法

使用<T>来声明一个类型持有者名称，就可以把T当作一个类型代表来声明成员、参数和返回值类型。T仅仅是个名字，这个名字可以自定义。

声明

         class GenericsFoo<T> 声明了一个泛型类，这个T没有任何限制，实际上相当于Object类型，实际上相当于 classGenericsFoo<T extends Object>。

使用

       与Object泛型类相比，使用泛型所定义的类在声明和构造实例的时候，可以使用“<实际类型>”来一并指定泛型类型持有者的真实类型。

比如： GenericsFoo<Double>douFoo=new GenericsFoo<Double>(new Double("33"));

       当然，也可以在构造对象的时候不使用尖括号指定泛型类型的真实类型，但是你在使用该对象的时候，就需要强制转换了。

比如： GenericsFoodouFoo=new GenericsFoo(new Double("33"));

        实际上，当构造对象时不指定类型信息的时候，默认会使用Object类型，这也是要强制转换的原因。

有界类型

class GenericsFoo<T extends Collection>，这样类中的泛型T只能是Collection接口的实现类，传入非Collection接口编译会出错。

　　注意：<T extends Collection>这里的限定使用关键字 extends，后面可以是类也可以是接口。但这里的extends已经不是继承的含义了，应该理解为T类型是实现Collection接口的类型，或者T是继承了XX类的类型。

public class CollectionGenFoo<Textends Collection> {

　　 private T x;

　　 public CollectionGenFoo(T x) {

　　 this.x = x;

　　 }

　　 …getter/setter方法

　　}

　　实例化的时候可以这么写：

　　public class CollectionGenFooDemo {

　　  public static void main(String args[]) {

　　  CollectionGenFoo<ArrayList>listFoo = null;

　　  listFoo= new CollectionGenFoo<ArrayList>(new ArrayList());

　　  //出错了,不让这么干。

　　  //CollectionGenFoo<Collection> listFoo = null;

　　  //listFoo=new CollectionGenFoo<ArrayList>(new ArrayList());

　　  System.out.println("实例化成功!");

　　  }

　　}

通配符泛型

为了解决类型被限制死了不能动态根据实例来确定的缺点，引入了“通配符泛型”，针对上面的例子，使用通配泛型格式为<? extends Collection>，“？”代表未知类型，这个类型是实现Collection接口。那么上面实现的方式可以写为：

　　public class CollectionGenFooDemo {

　　 public static void main(String args[]) {

　　 CollectionGenFoo<ArrayList> listFoo= null;

　　 listFoo = newCollectionGenFoo<ArrayList>(new ArrayList());

　　 //现在不会出错了

　　 CollectionGenFoo<? extendsCollection> listFoo1 = null;

　　 listFoo=newCollectionGenFoo<ArrayList>(new ArrayList());

　　 System.out.println("实例化成功!");

　　 }

　　}

　　说明：

　　1、如果只指定了<?>而没有extends，则默认是允许Object及其下的任何Java类了。也就是任意类。

　　2、通配符泛型不单可以向下限制，如<? extends Collection>，还可以向上限制，如<? super Double>，表示类型只能接受Double及其上层父类类型，如Number、       Object类型的实例。

      如果你想从一个数据类型里获取数据，使用? extends 通配符。

      如果你想从一个数据类型里获取数据，使用? super 通配符。

      如果你既想存，又想取，那就别用通配符。

        3、泛型类定义可以有多个泛型参数，中间用逗号隔开，还可以定义泛型接口，泛型方法。这些都泛型类中泛型的使用规则类似。

泛型方法

是否拥有泛型方法，与其所在的类是否泛型没有关系。要定义泛型方法，只需将泛型参数列表置于返回值前。如：

public class ExampleA{

public <T> void f(T x){

System.out.println(x.getClass().getName());

}

}

使用泛型方法时，不必指明参数类型，编译器会自己找出具体的类型。泛型方法除了定义不同，调用就像普通方法一样。

应用示例

/*

 *DAO操作基类 :本DAO层实现了通用的数据操作

 *@param <T> POJO实体对象

 *@param <ID> ID

 */

public class BaseHibernateDAOImpl<T, ID extends Serializable>extends HibernateDaoSupport implements BaseHibernateDao<T, ID> {

  privateClass<T> entityClass;

  publicvoid setEntityClass(Class<T> entityClass) {

  this.entityClass= entityClass;

  }

  …

}