java之泛型的使用

在java中,普通的类和方法只能用具体的类型,这对代码的限制很大,代码的可重用性大大降低。

那么如何才能让同一个类和方法使用不同类型的对象呢?在接触泛型之前我们可能会想到通过类型转换的方法来实现。

public class Test {
    Object o;

    public Test(Object o) {
        this.o = o;
    }

    public void set(Object o){
        this.o=o;
    }
    
    public Object get(){
        return o;
    }
    
    public static void main(String[] args) {
        String str="hello world";
        Test test=new Test(str);
        String str2=(String) test.get();
    }
    
}

但是这种方法有很大的缺陷,容易在类型转换过程中出现错误,而使用泛型能很好地避免这个错误的出现。

 


 

 

泛型能够能够指定容器容器要装什么类型的对象,无须类型转换。

泛型类:

public class Test<T> {
    private T a;

    public Test(T a) {
        this.a = a;
    }

    public T getA() {
        return a;
    }

    public void setA(T a) {
        this.a = a;
    }

    public static void main(String[] args) {
        Test<String> test = new Test<>("test");
        System.out.println(test.getA());
    }
}

 

泛型方法:

    public <T> String getClassName(T t) {
        return t.getClass().getSimpleName();
    }

 

对于泛型方法和泛型类,我们通常首先选择泛型方法,毕竟,泛型类的束缚更大,它表示我们在整个类中都要使用着这类型;相对而言泛型方法就灵活许多,我们可以在不同的方法中使用不同的类型。

 


 

 

泛型擦除:

public static void main(String[] args) {
        List<Integer> list1 = new ArrayList<>();
        List<String> list2 = new ArrayList<>();
        System.out.println(list1.getClass()==list2.getClass());
        /*
        output:
        true
        */
}

 

list1和list2的泛型参数类型不相同,但从上面的结果中不难看出,系统认为它们是相同的类型,因为泛型只在编译过程起作用,当程序运行时泛型参数的具体信息都被擦除。

 


边界:

class Animal{
    void eat(){}
}

class Bird extends Animal {
}

 

 

当我们已经确认此泛型参数为一固定类型Animal或Animal的子类时,我们希望能够调用Animal对象中的eat方法, 那我们又该如何实现呢?

这里我们需要用到泛型边界,它通过extends关键字来实现:

public class Test<T extends Animal> {
    public void test(T t) {
        t.eat();
    }
}

这里声明了边界Animal,它可以调用Animal中的成员。如果没有声明边界,则默认边界为Object。

当然如果只是实现这个目的,我们无需使用泛型:

public class Test{
    public void test(Animal a){
        a.eat();
    }
}

好像这里使用泛型没什么用处,其实并非如此。当泛型方法有泛型类型的返回值时,它能返回确切的类型:

public class Test<T extends Animal> {
    public T get(T t) {
        t.eat();
        return t;
    }

    public static void main(String[] args) {
        Animal a = new Test<>().get(new Animal());
        Bird b = new Test<Bird>().get(new Bird());
    }
}

这比不使用泛型灵活许多,所以,我们在考虑是否使用泛型时要根据具体情况而定,看看结构是否足够复杂,使用泛型是否会给我们带来方便。

 


 

通配符:

我们再来看一个错误例子:

List<Animal> list=new ArrayList<Bird>(); //error:Type mismatch: cannot convert from ArrayList<Bird> to List<Animal>

想当初第一次运行类似的代码时,我有些无法理解,Bird是Animal的子类,为何就不能向上转型呢呢,这泛型也太呆板了。仔细一想才发现,这根本就不是向上转型,List<Animal>代表Animal类型的列表,而ArrayList<Bird>代表Bird类型的列表。

可是我们就是想要实现这样的功能,那该怎么做?这里就需要用到通配符:

List<? extends Animal> list=new ArrayList<Bird>();

 


 

 泛型与数组:

我们无法直接创建泛型数组实例,因为你数组类型必须是确定的,以此确保类型安全,但是擦除却使类型参数信息消失。

List<String>[] lists=new ArrayList<String>[12]; //error

但是们可以声明一个泛型数组:

List<String>[] lists;

根据以上两个特性,我们可以创建一个非泛型数组,再进行转型,从而获得泛型数组:

List<String>[] lists=(List<String>[])new ArrayList[12];
        //或简化为:List<String>[] lists=new ArrayList[12];

 

posted @ 2016-03-16 22:08  maozs  阅读(295)  评论(0编辑  收藏  举报