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中出现的新特性，也不算是什么新鲜事物了，只不过大家以后可以尝试多用泛型，这也是一种趋势。