JAVA泛型总结

泛型是JDK1.5的新东西，总结了一下，以后备忘，

泛型也叫generics，泛型分泛型方法和泛型类，两种定义方式，泛型还有上界下界的说法，

先看看什么叫泛型方法和泛型类，一下是网上的一个解释，个人觉得已经讲的很清楚了：

2、我们将Dao层的类写成范型的形式，有两种写法： 
其一、 
package com.test; 

public class EntityDao1 { 
    
    public <T> void add(T t){ 
        //查询实体的代码 
    } 
    
    public <T,ID> T get(ID id){ 
        //.保存实体的代码 
        return null; 
    } 

}        范型一般用于方法的参数或者方法的返回值，上面的写法，我们要使范型有效，就须在方法的返回类型前加入强制范型转换。其中，add(T t)的参数用了范型，它的返回值是void型，就在void 前用强制类型转换，即加上<T>，强制转换成范型的形式，这样就不会报错了。而T get(ID id)，由于它的参数和返回类型都用了范型，故要在返回类型T前强制转换，即<T,ID>。 

其二，范型也可写成以下形式： 
package com.test; 

public class EntityDao2<T,ID> { 
    
    public void add(T t){ 
        //..保存实体的代码 
    } 
    
    public T get(ID id){ 
        //.查询实体的代码 
        return null; 
    } 

}这种形式，是把范型声明放在类中了，就不需每个方法都写强制类型转换。 

看实际需要，哪种方法方便就用哪种吧！范型给Java编程带来了许多方便，好好利用，会达到事半功倍的效果。

 

再看看什么叫上界和下界：

 

上界: 
上界用extends关键字声明，表示参数化的类型可能是所指定的类型，或者是此类型的子类。如下面的代码： 

public void upperBound(List<? extends Date> list, Date date)
{
    Date now = list.get(0);
    System.out.println("now==>" + now);
    //list.add(date); //这句话无法编译
    list.add(null);//这句可以编译，因为null没有类型信息
}

为什么会无法编译呢，实际调用时传入的list可能是java.util.Date的某个子类的参数化类型，如: 

public void testUpperBound()
{
    List<Timestamp> list = new ArrayList<Timestamp>();
    Date date = new Date();
    upperBound(list,date);
}

也就是说，现在upperBound方法中实际的list是List<Timestamp>，向它添加一个Date类型，肯定是不行的。相反，读取数据时，不管实际的list是什么类型，但可以知道它至少会返回一个Date类型，所以用foreach，get等没有问题。 

那么如何解决呢，可以使用泛型方法 

public <T extends Date> void upperBound2(List<T> list, T date)
{
    list.add(date);
}

这里方法声明中的T作为一种参数化信息，会存储在java字节码中，T的实际类型由调用时的参数决定的。比如： 

public void testUpperBound2()
{
    List<Timestamp> list = new ArrayList<Timestamp>();
    Date date = new Date();
    Timestamp time = new Timestamp(date.getTime());
    upperBound2(list,time);
    //upperBound2(list,date);//这句同样无法编译
}

上面代码中的list的类型参数决定了方法中T的类型，所以会看到注释掉的内容不能编译。而换成这样： 
List<Date> list2 = new ArrayList<Date>(); 
upperBound2(list2,date); 
编译就没有任何问题了。 


下界 
下界用super进行声明，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至Object。如下面的代码： 

public void lowerBound(List<? super Timestamp> list)
{
    Timestamp now = new Timestamp(System.currentTimeMillis());
    list.add(now);
    //Timestamp time = list.get(0); //不能编译
}

这又为什么不能通过编译呢，看看调用代码: 

public void testLowerBound()
{
    List<Date> list = new ArrayList<Date>();
    list.add(new Date());
    lowerBound(list);
}

lowerBound方法中的List<? super Timestamp>表示这个list的参数类型可能是Timestamp或Timestamp的父类，如后面测试代码里，实际传入的是一个List<Date>类型。向List<Date>中add一个Timestamp肯定是没有问题的，但list.get()方法返回的对象类型可能是Date甚至是Object，你不能说list.get(0)返回的就是一个Timestamp，这里是向下类型转换了，编译器无法处理，所以这里不能编译。用java泛型实现的擦拭法解释，编译后会是如下的伪代码： 

public void lowerBound(List list)
{
    Timestamp now = new Timestamp(System.currentTimeMillis());
    list.add(now);
    Timestamp time = (Timestamp)list.get(0); //①
}
public void testLowerBound()
{
    List list = new ArrayList();
    list.add(new Date());
    lowerBound(list);
}

代码①进行了强制类型转换，但实际添加进去的是一个Date类型，肯定会报ClassCastException，编译器无法保证向下类型转换的安全，所以这一句自然就无法编译了。