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。