Java 泛型总结
2016-10-28 15:18
281 查看
泛型是JDK1.5的新东西,总结了一下,以后备忘,
泛型也叫generics,泛型分泛型方法和泛型类,两种定义方式,泛型还有上界下界的说法,
先看看什么叫泛型方法和泛型类,一下是网上的一个解释,个人觉得已经讲的很清楚了:
2、我们将Dao层的类写成范型的形式,有两种写法:
其一、
package com.test;
public class EntityDao1 {
public <T> void add(T t){
//查询实体的代码
}
public <T,ID> T get(ID id){
//.保存实体的代码
return null;
}
} 范型一般用于方法的参数或者方法的返回值,上面的写法,我们要使范型有效,就须在方法的返回类型前加入强制范型转换。其中,add(T t)的参数用了范型,它的返回值是void型,就在void 前用强制类型转换,即加上<T>,强制转换成范型的形式,这样就不会报错了。而T get(ID id),由于它的参数和返回类型都用了范型,故要在返回类型T前强制转换,即<T,ID>。
其二,范型也可写成以下形式:
package com.test;
public class EntityDao2<T,ID> {
public void add(T t){
//..保存实体的代码
}
public T get(ID id){
//.查询实体的代码
return null;
}
}这种形式,是把范型声明放在类中了,就不需每个方法都写强制类型转换。
看实际需要,哪种方法方便就用哪种吧!范型给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,编译器无法保证向下类型转换的安全,所以这一句自然就无法编译了。
泛型也叫generics,泛型分泛型方法和泛型类,两种定义方式,泛型还有上界下界的说法,
先看看什么叫泛型方法和泛型类,一下是网上的一个解释,个人觉得已经讲的很清楚了:
2、我们将Dao层的类写成范型的形式,有两种写法:
其一、
package com.test;
public class EntityDao1 {
public <T> void add(T t){
//查询实体的代码
}
public <T,ID> T get(ID id){
//.保存实体的代码
return null;
}
} 范型一般用于方法的参数或者方法的返回值,上面的写法,我们要使范型有效,就须在方法的返回类型前加入强制范型转换。其中,add(T t)的参数用了范型,它的返回值是void型,就在void 前用强制类型转换,即加上<T>,强制转换成范型的形式,这样就不会报错了。而T get(ID id),由于它的参数和返回类型都用了范型,故要在返回类型T前强制转换,即<T,ID>。
其二,范型也可写成以下形式:
package com.test;
public class EntityDao2<T,ID> {
public void add(T t){
//..保存实体的代码
}
public T get(ID id){
//.查询实体的代码
return null;
}
}这种形式,是把范型声明放在类中了,就不需每个方法都写强制类型转换。
看实际需要,哪种方法方便就用哪种吧!范型给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,编译器无法保证向下类型转换的安全,所以这一句自然就无法编译了。
相关文章推荐
- Java基础加强总结(3)(泛型)
- java中泛型创建数组的总结
- 黑马程序员 java泛型学习总结(一)
- 黑马程序员:Java基础总结----泛型(高级)
- 黑马程序员:Java基础总结----泛型(高级)
- Java 5.0 新特性总结 三 泛型
- 黑马程序员--Java基础加强--04.代码简化 书写规律III_数组参数【重载】【数组】【可变参数数组】【泛型可变参数数组】【个人总结】
- 基于java中泛型的总结分析
- 黑马程序员_java的泛型机制(第十五课总结)
- 黑马程序员--Java基础加强--02.代码简化 书写规律I_原始数据类型【重载】【多态】【泛型】【泛型限定】【个人总结】
- 关于Java的泛型在所声明的对象中如何获取class或者实例的方法的总结
- java泛型的学习总结
- java 泛型总结
- 黑马程序员_Java第15天知识总结_TreeSet_泛型
- 全面总结Java泛型
- 泛型总结 - JAVA课堂笔记整理
- java中的泛型总结
- Java中关于泛型的总结(转)
- Java总结(8)集合里的泛型
- 黑马程序员--Java基础加强--03.代码简化 书写规律II_参数化数据类型【重载】【多态】【泛型】【泛型限定】【个人总结】