Java 泛型上下界问题

java泛型中的super关键字不太常用，也不太好理解，今天又从头看了看java的泛型机制，作一记录。
上界:
上界用extends关键字声明，表示参数化的类型可能是所指定的类型，或者是此类型的子类。如下面的代码：
Java代码
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没有类型信息   
}  
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的某个子类的参数化类型，如:
Java代码
public void testUpperBound()   
{   
    List<Timestamp> list = new ArrayList<Timestamp>();   
    Date date = new Date();   
    upperBound(list,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等没有问题。
那么如何解决呢，可以使用泛型方法
Java代码
public <T extends Date> void upperBound2(List<T> list, T date)   
{   
    list.add(date);   
}  
publi