Java泛型详解

一、泛型类

首先定义一个简单的BBox类：

public class BBox{
    private String date;

    public void setDate(String date){
        this.date=date;
    }

    public String getDate(){
        return date;
    }
}

这个盒子类可以装String数据，如何我们又要一个能装Integer数据的盒子呢？以此方式的话需要再写一个新的类，之后又要装Byte,Short,Long,Float,Double,Character,Boolean类型的数据呢？那么我们有要写这么多新的类难道不累吗？为了提高工作效率，这时候泛型类就登场了：

public class BBox<T>{
    private T date;

    public void setDate(T date){
        this.date=date;
    }

    public T getDate(){
        return date;
    }
}

我们需要什么类型的盒子就自己new就可以了：

 BBox<Integer> intbox=new BBox<Integer>();
 BBox<Double> doubleBBox=new BBox<Double>();
 BBox<Character> charbox= new BBox<Character>(); 

---

二、泛型方法

根据刚才那个类改一下：

public class BBox<K,V>{
    private K key;
    private V value;

    public BBox(K key,V value){
        this.key=key;
        this.value=value;
    }

    public static <K,V> boolean compare(BBox<K,V> box1,BBox<K,V> box2){
        return box1.getKey().equals(box2.getKey())&&box1.getValue().equals(box2.getValue());
    }

    public void setKey(K key){
        this.key=key;
    }

    public void setValue(V value){
        this.value=value;
    }

    public K getKey(){
        return key;
    }

    public V getValue(){
        return value;
    }
}

注意这个泛型方法在声明的时候需要用<>加上泛型声明

然后可以如下调用方法：

BBox<Integer,String> box1=new BBox<Integer, String>(1,"sean");
BBox<Integer,String> box2=new BBox<Integer, String>(1,"sea");
System.out.println(BBox.compare(box1,box2));

---

三、类型擦除

下面来说说泛型的本质作用：泛型的约束于表面，只在编译器检查的时候充当一把枷锁，约束代码的书写规范，在编译后泛型会被擦除，用原始类型取而代之：

编译（擦除）前：

public class BBox<T>{
    private T date;

    public void setDate(T date){
        this.date=date;
    }

    public T getDate(){
        return date;
    }

}

编译（擦除）后：

public class BBox{
    private Object date;

    public void setDate(Object date){
        this.date=date;
    }

    public Object getDate(){
        return date;
    }

}

通常没有边界符的时候，泛型被擦除后直接被Object类取代，因为根据多态特性它可以指向任何类嘛，泛型为何对它都是无压力的。

---

四、边界符

如果我们想修改类型擦除后的类型，可按如下形式：

public class BBox<T extends Number> {
    private T date;

    public BBox() {
    }

    public void setDate(T date) {
        this.date = date;
    }

    public T getDate() {
        return this.date;
    }
}

则编（擦除）译后：

public class BBox {
    private Number date;

    public BBox() {
    }

    public void setDate(Number date) {
        this.date = date;
    }

    public Number getDate() {
        return this.date;
    }
}

---

五、PECS原则(Producer Extends Consumer Super)

1、Producer Extends

先看一段代码：

public class Main {

     static class Animal{}
     static class Cat extends Animal{}
     static class Dog extends Animal{}

     static class Read<T>{
         public T read(List<T> list){
         return list.get(0);
      }
     }


    public static void main(String[] args) {
         List<Animal> listanimal=new ArrayList<Animal>();
         List<Cat>    listcat=new ArrayList<Cat>();
         listanimal.add(new Animal());
         listcat.add(new Cat());

        Read<Animal> readanimal=new Read<Animal>();
        Cat cat=readanimal.read(listcat); //此处会报错
    }
}

咋一看好像没有问题，因为根据以往的经验容易认为List< Animal >和List< Cat>有继承关系，所以认为Read< Animal>的read()方法可以读取List,其实不然，虽然Animal和Cat有继承关系但是List< Animal>和List< Cat>什么关系都没有，类型不匹配会出现报错的情况。

为了解决这个问题，增加代码的灵活性我们可以对Read这么改：

public class Main {

     static class Animal{}
     static class Cat extends Animal{}
     static class Dog extends Animal{}

     static class Read<T>{
         public T read(List<? extends T> list){
         return list.get(0);
      }
     }


    public static void main(String[] args) {
         List<Animal> listanimal=new ArrayList<Animal>();
         List<Cat>    listcat=new ArrayList<Cat>();
         listanimal.add(new Animal());
         listcat.add(new Cat());

        Read<Animal> readanimal=new Read<Animal>();
        Cat cat= (Cat) readanimal.read(listcat);
    }
}

< ? extends T>是指由T的所以子孙类包括T在内，这样一来我们使用Read< Animal>也可以读取List< Cat>了包括其他继承Animal类的List，貌似就是又实现了多态。

使用< ? extends T>只能往外取，不能忘里面添加,就像producer生产者一样，故曰Producer Extends,看看这面这段：

    static class Read<T>{
         public T read(List<? extends T> list){
         list.add(new Animal());  //报错
         list.add(new Cat());     //报错
         list.add(new Dog());     //报错
         return list.get(0);

      }

可以看到无论是往list中添加什么都会报错的，因为List< ? extends T>可以指向List< Animal>,List< Cat>,List< Dog>,所以加哪个进来都不合适，就是这个道理。

2、Consumer Super

既然< ? extends T>修饰的类不能忘里边添加东西，那么如果就需要往里面添加呢？那么需要作如下修改：

public class Main {

     static class Animal{}
     static class Cat extends Animal{}
     static class Dog extends Animal{}

     static class Read<T>{
         public T read(List<? extends T> list){
         return list.get(0);
      }
     }

     static class Add<T>{
         public <T> void add(List<? super T> list, T t){
             list.add(t);
         }
     }


    public static void main(String[] args) {
         List<Animal> listanimal=new ArrayList<Animal>();
         List<Cat>    listcat=new ArrayList<Cat>();

        Add<Cat> addcat=new Add<Cat>();
        addcat.add(listcat,new Cat());      //即可以把Cat放入listcat中
        addcat.add(listanimal,new Cat());   //也可以把Cat放入listanimal中
    }
}

< ? super T>是指T的所有长辈类包括T在内，这样使Cat既可以放入List< Cat>中，又可以放入List< Animal>中，貌似又正确实现了多态。

和< ? extends T>正好相反，被< ? super T>修饰的类的缺点是不能从其中取东西，就像是Consumer顾客一样只能往里要不能往外取，故曰Consumer Super,看看下面的代码说明：

     static class Add<T>{
         public <T> void add(List<? super T> list, T t){
             list.add(t);
             Animal animal=list.get(0);    //报错
             Cat cat=list.get(0);          //报错
             Object object=list.get(0);
         }
     }

这里的道理也很简单，< ? super T>所指的类可能是T类的长辈，所以List< ? super T>中可能就有T类的长辈但是具体是什么也不知道，所以用Animal类，Cat类引用都不对，唯独用Object类引用才可以，因为Object是所有类的长辈。

---

六、泛型数组问题

在java中不允许创建泛型数组，例如这样的：

List<Integer>[] arrayOfLists = new List<Integer>[2]; //报错