java泛型中的上界下界(上限下限)

java泛型中的super关键字不太常用，也不太好理解，今天又从头看了看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，编译器无法保证向下类型转换的安全，所以这一句自然就无法编译了。

评论

9 楼 sunwang810812 2012-05-30  

读编程思想4,读到这里一直就读不下去,看了你的文章,豁然开朗......做人的差距实在是太大了...

8 楼 7_iroy 2012-05-23  

写的很通俗易懂，很好，

7 楼 fyting 2011-11-10  

呵呵，谢谢，很多年前写的啦，希望没错

6 楼 fsk215 2011-11-08  

ricoyu 写道

fsk215 写道

下界用super进行声明，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至Object。  这句话错误，添加的是该类型或者该类型的子类

搞笑了,你自己写代码试试吧

很久没上了，理解错误，我的错，不好意思。谢谢你的文章

5 楼 ricoyu 2011-10-22  

fsk215 写道

下界用super进行声明，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至Object。  这句话错误，添加的是该类型或者该类型的子类

搞笑了,你自己写代码试试吧

4 楼 fsk215 2011-09-21  

下界用super进行声明，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至Object。  这句话错误，添加的是该类型或者该类型的子类

3 楼 f_zongjian 2009-10-28  

文章读起来很是流畅，赞一个。哈哈

2 楼 王世纪 2009-06-02  

哦，知道了，上界add可以用，只限于null，下界get方法可以用，限于Object。

1 楼 王世纪 2009-06-02  

不错，上界不能用add方法，不知道add对应的类型，下界不能用get方法，不知道得到的对应类型，但是不知道add和get都用Object返回如何？？？