上界:
上界用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没有类型信息
}
为什么会无法编译呢,实际调用时传入的list可能是java.util.Date的某个子类的参数化类型,如:
Java代码
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);
}
这里方法声明中的T作为一种参数化信息,会存储在java字节码中,T的实际类型由调用时的参数决定的。比如:
Java代码
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。如下面的代码:
Java代码
public void lowerBound(List<? super Timestamp> list)
{
Timestamp now = new Timestamp(System.currentTimeMillis());
list.add(now);
//Timestamp time = list.get(0); //不能编译
}
这又为什么不能通过编译呢,看看调用代码:
Java代码
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泛型实现的擦拭法解释,编译后会是如下的伪代码:
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,编译器无法保证向下类型转换的安全,所以这一句自然就无法编译了。
上界add可以用,只限于null,下界get方法可以用,限于Object。
分享到:
相关推荐
谈谈关于Microsoft Visual Studio 2008中C#和java泛型的区别
* 一个参数通配符的实例 * 说明:对一个包含了数值元素的集合进行汇总运算。在这种情况下,用户并不关心 * 集合中的每一个对象... * 方法声明了一个参数变量values是List类型,该集合中的元素必须是Number的子类对象
下面小编就为大家带来一篇浅谈Java泛型让声明方法返回子类型的方法。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
泛型的知识,请自己参考吧。主要介绍java泛型的知识。
它提供了便捷的访问泛型对象类型(java.reflect.Type)的反射方法。 本文假设你已经了解java反射知识,并能熟练的应用。如果还不了解java反射知识,那么你可以先移步到Oracel反射课程,这可能是你开始学习反射的好...
无涯教程网(learnfk)整理提供:Java泛型方法使程序可以使用单个方法声明来指定一组相关方法来指定一组相关类型。
名词解释 泛型 答即参数化类型允许程序创建集合时指定集合元素的类型在定义方法类接口时使用类型形参类型形参将在声明变量调用方法创建对象时动态地指定.如:List,ArrayList 2. 多态 答Java引用变量分为编译时的类型...
extends T>的声明,是什么意思呢?<? super T>表示包括T在内的任何T的父类,<? extends T>表示包括T在内的任何T的子类,下面我们详细分析一下两种通配符具体的区别。 extends List<? extends Number...
自定义的泛型声明在返回值之前,保证返回值以及参数都可以使用自定义的泛型。 在方法上定义的泛型,需要通过调用方法时通过给定的参数来进行约束,所以在方法参数列表内必须要有一个参数是对应声明的自定义泛型。 ...
所谓泛型,就是变量类型的参数化。泛型是JDK1.5中一个最重要的特征。通过引入泛型,我们将获得编译时类型的安全和运行时更小的抛出ClassCastException的...在JDK1.5中,你可以声明一个集合将接收/返回的对象的类型。
throwsException.java 声明抛出异常 useMyException.java 使用自定义异常 第7章 示例描述:本章学习Java的输入和输出。 CopyFile.java 文件复制实例 dir.java 显示目录下的所有文件和目录 encrypt.java 文件...
泛型与集合 使用 进行初步翻译. 将利用碎片时间进行整理和校对,完整的时间段适合做其他需要大量思考的事,如果你有兴趣欢迎提交PR。 TODO 数据校对 目录 2.4 获取和放置原则 2.5 数组 2.6 通配符与类型参数 2.7 ...
相当于一个标签,声明我这里只能放什么样的数据类型泛型里面只能放类,所以基本数据类型要转换成包装类如果实例化的过程中没有指明数据类型,则默认为object表示:
1.Java泛型(约束类型) 2.Java中函数式编程-Stream流-Lambda表达式 3.JVM虚拟机 4.Springcloud里面的组件 5.说一下你对分布式理解是什么样的? 6.多线程 7. java集合 8.数据库事务 9.Mybatis 10.JVM、JRE、JDK的...
一个泛型的小例子,他是java的一个新特性。原理很简单,即将不确定类型的变量或类声明为泛型,使用它是根据具体的类型来确定你后面不同的操作!
泛型:理解泛型的概念及其在Java中的应用,如泛型类和泛型方法。 并发编程:了解Java中的线程、同步、锁等机制,以及Java并发包中的工具类。 JVM与性能调优:对Java虚拟机(JVM)有一定了解,包括内存管理、垃圾回收...
泛型是Java SE 1.5的新特性,好处是在编译时检查类型安全,并且所有的强制转换都是自动和隐式的,以提高代码的重用率。...可声明在包、类、字段、方法、局部变量、方法参数等前面,用来对这些元素进行说明,注释。
泛型方法4. 泛型类型的继承规则5. 通配符类型5.1 没有限制的通配符5.2有限制的通配符 1. 泛型的用处 集合容器类在设计阶段/声明阶段不能确定这个容器到底实际存的是什么类型的对象,所以在JDK1.5之前只能把元素类型...
Java中的变量必须先声明后使用。 Java中的数组是对象,可以使用new关键字创建。 Java中的字符串是不可变的,可以通过加号进行连接操作。 Java中的条件语句使用关键字if-else实现,也可以使用switch语句。 Java中的...
声明静态泛型方法,将泛型类型\置于方法中关键字static之后public static <E> void functionName(E[] list)示