Java(十三)泛型

泛型的引入

集合没有做任何限定，是可以存放任意对象的，只要把对象存储集合后，那么这时他们都会被提升成Object类型。当我们在取出每一个对象，并且进行相应的操作，这时必须采用类型转换。

泛型的定义和使用

JDK1.5 出现新的安全机制,保证程序的安全性，泛型指明了集合中存储数据的类型 <数据类型>

public class GenericDemo {
  public static void main(String[] args) {
    List list = new ArrayList();
    list.add("abc");
    list.add("itcast");
    list.add(5);//由于集合没有做任何限定，任何类型都可以给其中存放
                //相当于:Object obj=new Integer(5);
    
    Iterator it = list.iterator();
    while(it.hasNext()){
      //需要打印每个字符串的长度,就要把迭代出来的对象转成String类型
      String str = (String) it.next();
      //String str=(String)obj;
      //编译时期仅检查语法错误,String是Object的儿子可以向下转型
      //运行时期String str=(String)(new Integer(5))
      //String与Integer没有父子关系所以转换失败
      //程序在运行时发生了问题java.lang.ClassCastException
      System.out.println(str.length());
    }
  }
}

Java中的伪泛型

Java中的伪泛型：泛型只在编译时存在,编译后就被擦除,在编译之前我们就可以限制集合的类型,起到作用
例如:ArrayList al=new ArrayList(); 编译后:ArrayList al=new ArrayList();

泛型类

定义格式： 修饰符 class 类名<代表泛型的变量> { }

 class ArrayList<E>{ 
        public boolean add(E e){ }
        public E get(int index){  }
      }

使用格式：创建对象时，确定泛型的类型

ArrayList<String> list = new ArrayList<String>();      
//此时，变量E的值就是String类型，也可是Integer类型，其他任何类型

泛型方法

定义格式： 修饰符 <代表泛型的变量> 返回值类型 方法名(参数){ }

泛型方法的使用：

例如，API中的ArrayList集合中的方法：

 public <T> T[] toArray(T[] a){  } 
 //该方法，用来把集合元素存储到指定数据类型的数组中，返回已存储集合元素的数组

使用格式：调用方法时，确定泛型的类型

//此时，变量T的值就是String类型。变量T，可以与定义集合的泛型不同
public <String> String[] toArray(String[] a){  }

泛型接口

带有泛型的接口，

/*
 *  带有泛型的接口
 *  
 *  public interface List <E>{
 *    abstract boolean add(E e);
 *  }
 * 
 *  实现类,先实现接口,不理会泛型
 *  public class ArrayList<E> implements List<E>{
 *  }
 *  调用者 : new ArrayList<String>() 后期创建集合对象的时候,指定数据类型
 *  
 *  
 *  实现类,实现接口的同时,也指定了数据类型
 *  public class XXX implements List<String>{
 *  }
 *  new XXX()
 */

泛型的好处

将运行时期的ClassCastException，转移到了编译时期。
避免了类型强转的麻烦。

当集合明确类型后，存放类型不一致就会编译报错
集合已经明确具体存放的元素类型，那么在使用迭代器的时候，迭代器也同样会知道具体遍历元素类型

Iterator<String> it = list.iterator();
        while(it.hasNext()){
           String str = it.next();
           System.out.println(str.length()); 
           //当使用Iterator<String>  
           //控制元素类型后，就不需要强转了。获取到的元素直接就是String类型
        }

泛型的通配符

? 泛型的通配,匹配所有的数据类型

public static void main(String[] args) {
        ArrayList<String> array = new ArrayList<String>();
        HashSet<Integer> set = new HashSet<Integer>();
        array.add("123");
        array.add("456");

        set.add(789);
        set.add(890);

        iterator(array);
        iterator(set);
    }
    /*
     *  定义方法,可以同时迭代2个集合
     *  参数: 怎么实现 , 不能写ArrayList,也不能写HashSet
     *  参数: 或者共同实现的接口
     *  泛型的通配,匹配所有的数据类型  ?
     */
    public static void iterator(Collection<?> coll){
        Iterator<?> it = coll.iterator();
        while(it.hasNext()){
            //it.next()获取的对象,什么类型
            System.out.println(it.next());
        }
    }

泛型的限定

? extends E 限制的是父类, 上限限定
    ----E 代表 父类 ， ？代表 子类 ， 所有父类E 可以 使用到的功能 E的所有的子类 都可以使用，如：addAll（? extends E）, addAll可以向集合中添加E类的对象元素，同时也可以向集合中添加 E类 所有子类的对象元素 。 

? super   E 限制的是子类, 下限限定
   ----里面存的是C和其父类，具体是啥不确定，只知道范围。

使用案例：

public static void main(String[] args) {
    //创建3个集合对象
    ArrayList<ChuShi> cs = new ArrayList<ChuShi>();
    ArrayList<FuWuYuan> fwy = new ArrayList<FuWuYuan>();
    ArrayList<Employee> jl = new ArrayList<Employee>();

    //每个集合存储自己的元素
    cs.add(new ChuShi("张三", "后厨001"));
    cs.add(new ChuShi("李四", "后厨002"));

    fwy.add(new FuWuYuan("翠花", "服务部001"));
    fwy.add(new FuWuYuan("酸菜", "服务部002"));

    jl.add(new JingLi("小名", "董事会001", 123456789.32));
    jl.add(new JingLi("小强", "董事会002", 123456789.33));

    //   ArrayList<String> arrayString = new ArrayList<String>();
    iterator(jl);
    iterator(fwy);
    iterator(cs);

}

/*
 * 定义方法,可以同时遍历3集合,遍历三个集合的同时,可以调用工作方法 work
 * ? 通配符,迭代器it.next()方法取出来的是Object类型,怎么调用work方法
 * 强制转换:  it.next()=Object o ==> Employee
 * 方法参数: 控制,可以传递Employee对象,也可以传递Employee的子类的对象
 * 泛型的限定  本案例,父类固定Employee,但是子类可以无限?
 *   ? extends Employee 限制的是父类, 上限限定, 可以传递Employee,传递他的子类对象
 *   ? super   Employee 限制的是子类, 下限限定, 可以传递Employee,传递他的父类对象
 */
public static void iterator(ArrayList<? super Employee> array) {
    Iterator<? super Employee> it = array.iterator();
    while (it.hasNext()) {
        //获取出的next() 数据类型,是什么Employee
        Employee e = (Employee) it.next();
        e.work();
    }
}

结论

如果你想从一个数据类型里获取数据，使用 ? extends 通配符
如果你想把对象写入一个数据结构里，使用 ? super 通配符
如果你既想存，又想取，那就别用通配符。