【转】java泛型中的上界下界(上限下限)

转自:http://fyting.iteye.com/blog/122732

java泛型中的super关键字不太常用,也不太好理解,今天又从头看了看java的泛型机制,作一记录。 
上界: 
上界用extends关键字声明,表示参数化的类型可能是所指定的类型,或者是此类型的子类。如下面的代码: 

【转】java泛型中的上界下界(上限下限)
1 public void upperBound(List<? extends Date> list, Date date)  
2 {  
3     Date now = list.get(0);  
4     System.out.println("now==>" + now);  
5     //list.add(date); //这句话无法编译  
6     list.add(null);//这句可以编译,因为null没有类型信息  
7 }  
【转】java泛型中的上界下界(上限下限)

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

1 public void testUpperBound()  
2 {  
3     List<Timestamp> list = new ArrayList<Timestamp>();  
4     Date date = new Date();  
5     upperBound(list,date);  
6 } 

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

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

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

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

【转】java泛型中的上界下界(上限下限)
1 public void testUpperBound2()  
2 {  
3     List<Timestamp> list = new ArrayList<Timestamp>();  
4     Date date = new Date();  
5     Timestamp time = new Timestamp(date.getTime());  
6     upperBound2(list,time);  
7     //upperBound2(list,date);//这句同样无法编译  
8 }  
【转】java泛型中的上界下界(上限下限)

上面代码中的list的类型参数决定了方法中T的类型,所以会看到注释掉的内容不能编译。而换成这样: 

1 List<Date> list2 = new ArrayList<Date>(); 
2 upperBound2(list2,date); 

编译就没有任何问题了。 

 

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

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

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

1 public void testLowerBound()  
2 {  
3     List<Date> list = new ArrayList<Date>();  
4     list.add(new Date());  
5     lowerBound(list);  
6 }  

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

【转】java泛型中的上界下界(上限下限)
 1 public void lowerBound(List list)  
 2 {  
 3     Timestamp now = new Timestamp(System.currentTimeMillis());  
 4     list.add(now);  
 5     Timestamp time = (Timestamp)list.get(0); //
 6 }  
 7 public void testLowerBound()  
 8 {  
 9     List list = new ArrayList();  
10     list.add(new Date());  
11     lowerBound(list);  
12 }
【转】java泛型中的上界下界(上限下限)

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

【转】java泛型中的上界下界(上限下限),布布扣,bubuko.com

【转】java泛型中的上界下界(上限下限)

上一篇:Python 字符串操作(string替换、删除、截取、复制、连接、比较、查找、包含、大小写转换、分割等)


下一篇:java中抽象类跟接口的区别