java泛型实现了“参数化类型”的概念,所谓“参数化类型”是指将操作的数据类型指定为一个参数,这点在容器中用的最多,例如:List<String> strlist=new ArrayList<String>(),List<Integer> intlist=new ArrayList<Integer>();strlist可以操作的数据类型是String类型,intlist可以操作的数据类型是int类型,泛型在容器中得到了充分的应用。
泛型是使得代码重用得到很大的提升,我们在程序中也会想一些办法设计代码重用的方法,例如输出一个内容,我们要用System.out.println(...),敲这么多东西还是麻烦,我们可以定义一个println()方法,如下:
static void println(Object o){
System.out.println(o);
}
再在程序中输出东西时,只需调用println(...)即可,这个println()方法就有了“泛化”的机制,它可以输出任何System.out.println()可以输出的东西,该方法的参数类型被设置为基类Object类型,我们知道,Java中的基本数据类型都有相对应的类类型的数据,比如int类型的数据对应的有Integer类类型的数据,java有“自动装箱”功能,也就是将对应的基本类型的数据转化为对应类类型的对象,例如上面的println(3),在编译后会变成println(Integer.valueOf(3));而所有的java类都是继承自Object类,所以当然可以用println()方法了。
那么将数据类型都定义为Object类型不就可以设计一个泛化类型的方法,类和接口了吗?答案是可以的,但是“太泛化”了,以至于没了边界。这里先给出代码:
public class gen{ public static void main(String[] args){
myList list=new myList();
list.push("helloworld");
list.push(12);
Object val;
while((val=list.pop())!=null){
System.out.println(val.getClass());
}
}
} class myList{
class Node{
Object val=null;
Node next=null;
Node(Object val,Node next){
this.val=val;
this.next=next;
}
Node(){
val=null;
next=null;
}
boolean end(){
return val==null && next==null;
}
}
private Node top=null;
myList(){
top=new Node();
}
//插入新值
public void push(Object val){
top=new Node(val,top);
}
//返回头结点的值
public Object pop(){
Object val=top.val;
if(!top.end()){
top=top.next;
}
return val;
}
}
我们自定义了一个list链表,为了使这个链表有更好的普遍使用性,我们将链表类内部的数据定义为Object类型,这样我们可以插入String类型数据、int类型数据....。但是这个设计“太泛化”了,你甚至可以“混插”,比如上面的执行结果,int类型的数据和String类型的数据插到了一起,显然在后续的操作中可能出现错误,例如你创建了一个自以为全是int类型的链表并对它们求和,但是不小心插入了字符串类型的数字"123",程序编译也能通过,你以为你的程序是对的,结果运行的时候出错了!你深受打击,自挂东南枝,全球计算机行业从此一蹶不振.....
为了防止上面悲剧的发生,我们还是希望错误在编译时期就能暴露出来,以便将错误及时地扼杀与萌芽状态,泛型设计的一项重大功能体现出来了:提前指定我们的链表可以插入什么样的数据类型,并由编译器验证其类型的正确性!这时,我们可以这样设计:
public class gen{
public static void main(String[] args){
//这里指定list2中的数据类型为String类型,也就是将T设置为String类型
myList2<String> list2=new myList2<String>();
list2.push("hello world");
list2.push("hello code");
//list2.push(23);//编译时便会提醒错误
String s;
while((s=list2.pop())!=null){
System.out.println(s);
}
}
}
class myList2<T>{
class Node<U>{
U val=null;
Node<U> next=null;
Node(U val,Node<U> next){
this.val=val;
this.next=next;
}
Node(){
val=null;
next=null;
}
boolean end(){
return val==null && next==null;
}
}//这里将Node中的值类型设定为U类型,也就是将U传递给T
private Node<T> top=null;
myList2(){
top=new Node<T>();
}
public void push(T val){
top=new Node<T>(val,top);
}
public T pop(){
T val=top.val;
if(!top.end()){
top=top.next;
}
return val;
}
}
当我们不小心执行list2.push(23)时,编译器在编译阶段就会提醒:你错啦!于是我们很愉快地就可以将错误的代码修正过来。
Java容器类可以说是Java代码重用设计的一个重要体现,而Java容器类设计的基础就是泛型,这就是Java泛型的重要之处。
注:以上代码设计部分参考自《Thinking In Java》,感谢Bruce Eckel。