java编程之泛型

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。