JAVA学习笔记——泛型

1、泛型概述
　　　是一种把明确类型的工作推迟到创建对象或者调用方法的时候才去明确的特殊的类型。

2、格式：
　　　<数据类型>
　　　　注意：该数据类型只能是引用类型。

3、优点：
　　　A:把运行时期的问题提前到了编译期间
　　　B:避免了强制类型转换
　　　C:优化了程序设计，解决了黄色警告线问题，让程序更安全

4、用处：
　　　在API中，所有的类或者接口带有的地方都是使用的泛型。通常用于集合中。
　　　例如：ArrayList array = new ArrayList ;

5、泛型类和泛型接口
　　　泛型类：把泛型定义在类上
　　　泛型接口：把泛型定义在接口上，但是通常实现类实现接口的时候，依旧把该类定义为泛型类

6、泛型通配符
　　　通常泛型明确了类型后，前后都必须是一致的，但是如果不一致，则用到泛型通配符。
　　　< ? > ：表示任意类型，如果没有明确，那么就是Object以及任意Java类了。
　　　< ? extends E > ： 向下限定，只能是E及其子类。
　　　< ? super E > ：

如下：

    //泛型如果明确了类型，new的时候必须保持一致
        Collection<Object> c1 = new ArrayList<Object>() ; //正确写法
        Collection<Object> c2 = new ArrayList<Animal>() ; //报错
        Collection<Object> c3 = new ArrayList<Dog>() ;    //报错
        Collection<Object> c4 = new ArrayList<Cat>() ;    //报错

        // <?> 表示任意类型都可以
        Collection<?> c5 = new ArrayList<Object>() ; //正确
        Collection<?> c6 = new ArrayList<Animal>() ; //正确
        Collection<?> c7 = new ArrayList<Dog>() ;    //正确
        Collection<?> c8 = new ArrayList<Cat>() ;    //正确

        // <? extends E> 表示向下限定，只能是E及其子类
        Collection<? extends Animal> c9 = new ArrayList<Object>() ; //报错，这是向上转型了
        Collection<? extends Animal> c10 = new ArrayList<Animal>() ; //正确
        Collection<? extends Animal> c11 = new ArrayList<Dog>() ;    //正确
        Collection<? extends Animal> c12 = new ArrayList<Cat>() ;    //正确

        // <? super E> 表示向上转型，只能是E及其父类
        Collection<? super Animal> c13 = new ArrayList<Object>() ; //正确
        Collection<? super Animal> c14 = new ArrayList<Animal>() ; //正确
        Collection<? super Animal> c15 = new ArrayList<Dog>() ;    //报错，这是向下转型了
        Collection<? super Animal> c16 = new ArrayList<Cat>() ;    //报错，这是向下转型了