java泛型机制剖析

Java中我们经常会用到强制转换，这是不安全的，有些时候我们进行了违法的强转，编译时会通过，但是运行时会报错，这绝对不是我们想要的，我们想要的是一种在编译时就能避免掉这些错误的机制，这就用到了Java泛型。

学过C++的朋友都知道，C++中有类模板，通过类模板，可以实现类型的多样化，参数化，那么在Java中，Java泛型就是这样的一种机制，即实现了变量类型的参数化。

我们来看一个例子，

public class test {    public static void main(String[] args) {        ArrayList list=new ArrayList();        list.add("string");        list.add(Integer.valueOf(4));        for (Iterator iter=list.iterator();iter.hasNext();) {            String str=(String) iter.next();        }    }}

这段代码执行之前是不会报错的，但是执行后就会报错，原因很简单，类型转换错误，那么我们怎样去在编译时让它报错呢。

public class test {    public static void main(String[] args) {    //这里加一个泛型<String>        ArrayList<String> list=new ArrayList<String>();        list.add("string");        //这里会报错，编译不通过        list.add(Integer.valueOf(4));        for (Iterator iter=list.iterator();iter.hasNext();) {            String str=(String) iter.next();        }    }}

这样一来，我们就把错误发现在运行之前，提高了程序的安全性。

下面我们来介绍一下Java泛型的使用方法，看例子：

//我们自定义一个带泛型<T>的类，public class Test<T> {    private T some;    public T getSome() {        return some;    }    public void setSome(T some) {        this.some = some;    }}

我们写一下ｍａｉｎ函数：

public static void main(String[] args) {        Test<String> test=new Test<String>();        //这里test.getSome()返回的类型系统认为是String，        //所以不用进行类型转换        String some=test.getSome()；    }

即一旦在new出对象时指定了参数类型，那么系统在编译时就会认定是String的，不需要强转，同时，如果强转成其他类型，系统也会报错。

那么当我们想限制一下泛型的类型时怎么办呢，这就用到了一个通配符“？”，看例子：

//这里限制一下T必须是List的子类public class Test <T extends List<?>>{    private T some;    public T getSome() {        return some;    }    public void setSome(T some) {        this.some = some;    }    public static void main(String[] args) {        Test test=new Test();        //这里加入ArrayList的元素不会报错        test.setSome(new ArrayList<>());        //这里就会报错，以为Object不是List的子类        test.setSome( new Object());    }}

Java泛型是jdk5.0中出现的新特性，也不算是什么新鲜事物了，只不过大家以后可以尝试多用泛型，这也是一种趋势。