泛型

前言

Java中的泛型支持是从JDK1.5开始的，目的是 让集合能够记住其元素的数据类型 。在没有泛型之前，将元素放在集合中，此元素会被当成Object类型来处理，但是用泛型可以让集合记住元素的数据类型（当然，此时集合只能存放同种类型的元素）。

初识泛型

一个使用泛型的例子如下：

@Test
public void test11(){
    //①不使用泛型时，集合中的元素都被当成Object类型的元素
    ArrayList listOne = new ArrayList();
    listOne.add(1);
    //必须将Object类型的元素强转为Integer，编译才能通过
    Integer a=(Integer)listOne.get(0);
    //②使用泛型时，集合可以记住元素的类型
    ArrayList<Integer> listTwo = new ArrayList<>();
    listTwo.add(1);
    //此时不需要进行强制类型转换，应为取出元素时，可以记住其元素类型：Integer
    Integer b=listTwo.get(0);
}

Java7支持的泛型菱形语法

上一节的例子当中使用泛型时，调用构造器时给出了完整的泛型信息，其实我们声明变量便已经给了泛型信息了，此做法显得多余，所以构造器后的泛型信息可以省略。如：List<Integer> a=new ArrayList<>(); ，这样的语法中，省略了构造器后的菱形中的泛型信息，此所谓泛型的菱形语法（仅支持Java7以上的版本）。

泛型接口、泛型类和泛型方法

泛型就是在定义此接口、类和方法的时候使用了类型形参，这个类型形参将在声明变量，创建对象，调用方法时动态的指定（类似给函数形参赋形参的过程），类型形参能够在整个接口、类体、方法体内当成类型使用。一个简单的例子如下：

@Test
public void test12(){
    class Test<E>{
        public void say(E e){
            System.out.println("类型实参的类型为："+e.getClass());
        }
        public ArrayList<E> get(){
            ArrayList<E> list = new ArrayList<>();
            return list;
        }
    }
    //传入的泛型实参为Object，所以E为Object，在泛型类内都可以使用此泛型参数
    Test<Object> testOne = new Test<>();
    //E为Object，所以sya()方法的形参e能够是任何类型的值（都是Object的子类）
    testOne.say(1);
    //E为Object，所以啥都能添加，编译能通过
    testOne.get().add("Hiahia~");
}

泛型类派生子类

1. 可以派生泛型接口和泛型类，也可以实现泛型接口，但是不能出现这样的情况：class A extends B<E> ，其实也很好理解，此时E根本不能确定是什么类型，当然是错误的；但是可以出现这种情况：class A<E> extends B<E> ，此时当定义A类对象时，将根据传入的类型实参确定父类B的类型实参，所以两者的E都能够确定，所以编译能够通过。
2. 如果派生子类时， 不指定父类（或接口）的类型实参，那么父类的类型实参将被当成Object来处理。
3. List不是List