java泛型中的上界下界(上限下限)
2012-05-10 15:21
281 查看
Java泛型中的super关键字不太常用,也不太好理解,今天又从头看了看java的泛型机制,作一记录。
为什么会无法编译呢,实际调用时传入的list可能是java.util.Date的某个子类的参数化类型,如:
也就是说,现在upperBound方法中实际的list是List<Timestamp>,向它添加一个Date类型,肯定是不行的。相反,读取数据时,不管实际的list是什么类型,但可以知道它至少会返回一个Date类型,所以用foreach,get等没有问题。
那么如何解决呢?可以使用泛型方法。
这里方法声明中的T作为一种参数化信息,会存储在java字节码中,T的实际类型由调用时的参数决定的。比如:
上面代码中的list的类型参数决定了方法中T的类型,所以会看到注释掉的内容不能编译。而换成这样:
这又为什么不能通过编译呢,看看调用代码:
lowerBound方法中的List<? super Timestamp>表示这个list的参数类型可能是Timestamp或Timestamp的父类,如后面测试代码里,实际传入的是一个List<Date>类型。向List<Date>中add一个Timestamp肯定是没有问题的,但list.get()方法返回的对象类型可能是Date甚至是Object,你不能说list.get(0)返回的就是一个Timestamp,这里是向下类型转换了,编译器无法处理,所以这里不能编译。用java泛型实现的擦拭法解释,编译后会是如下的伪代码:
代码①进行了强制类型转换,但实际添加进去的是一个Date类型,肯定会报ClassCastException,编译器无法保证向下类型转换的安全,所以这一句自然就无法编译了。
转载地址:/article/4476707.html
上界:
上界用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 void testUpperBound() 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,编译器无法保证向下类型转换的安全,所以这一句自然就无法编译了。
转载地址:/article/4476707.html
相关文章推荐
- [转载]java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- java泛型中的上界下界(上限下限)
- Java泛型的上限和下限
- java泛型上限下限
- java泛型中的上界与下界
- 编写一个程序,要求用户输入下限整数和一个上限整数,然后,依次计算从下限到上限的每一个整数的平方的加和,最后显示结果
- Java笔记2 : 泛型的体现,及其上限、下限、通配符
- 用“道”的思想解决费用流问题---取/不取皆是取 (有下界->有上界) / ACdreamoj 1171
- UVA10487二分查找上界和下界
- Scala类型参数中协变(+)、逆变(-)、类型上界(<:)和类型下界(>:)的使用
- Scala类型参数中协变(+)、逆变(-)、类型上界(<:)和类型下界(>:)的使用
- 【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界(上确界)、最大下界(下确界)
- 二分法(查找、求上界、求下界)
- java 泛型中的上界(extend)和下界(super)