Java泛型

1. 泛型概述（Generic）

集合容器类在设计阶段、声明阶段不能确定这个容器到底实际存的是什么类型的对象，
所以在JDK1.5之前只能把元素类型设计为Object，JDK1.5之后使用泛型来解决。
因为此时除了元素的类型不确定，其他部分是确定的，例如关于这个元素如何保存、如何管理等是确定的，
因此把元素的类型设计成一个参数，这个类型参数叫做泛型。

Collection<E>，List<E>，ArrayList<E> ，**<E>就是类型参数，即泛型**。

把一个集合中的内容限制为一个特定的数据类型，这就是Generic背后的核心思想

2. 集合中使用泛型

1. 使用泛型之前可能出现的问题

• 添加数据时可能添加类型不安全的数据
• 在进行强转的时候可能出现ClassCastException的异常

@Test
public void test1(){
    ArrayList list = new ArrayList();
    //存放学生的成绩
    list.add(78);
    list.add(76);
    list.add(89);
    list.add(88);
    //问题一：类型不安全
    //list.add("Tom");
    for(Object score : list){
        //问题二：强转时，可能出现ClassCastException
        int stuScore = (Integer) score;
        System.out.println(stuScore);
    }
}

2. 在集合中使用泛型：以ArrayList为例

@Test
public void test2(){
    ArrayList<Integer> list =  new ArrayList<Integer>();
    list.add(78);
    list.add(87);
    list.add(99);
    list.add(65);
    //编译时，就会进行类型检查，保证数据的安全
    //list.add("Tom");

    //遍历方式一：
//        for(Integer score : list){
//            //避免了强转操作
//            int stuScore = score;
//            System.out.println(stuScore);
//        }

    //遍历方式二：
    Iterator<Integer> iterator = list.iterator();
    while(iterator.hasNext()){
        int stuScore = iterator.next();
        System.out.println(stuScore);
    }
}

3. 在集合中使用泛型：以HashMap为例

@Test
public void test3(){
//        Map<String,Integer> map = new HashMap<String,Integer>();
    //jdk7新特性：类型推断
    Map<String,Integer> map = new HashMap<>();
    map.put("Tom",87);
    map.put("Jerry",87);
    map.put("Jack",67);
//        加入泛型之后，数据不匹配时编译不通过
//        map.put(123,"ABC");

    //泛型的嵌套
    Set<Map.Entry<String,Integer>> entry = map.entrySet();
    Iterator<Map.Entry<String, Integer>> iterator = entry.iterator();
    while(iterator.hasNext()){
        Map.Entry<String, Integer> e = iterator.next();
        String key = e.getKey();
        Integer value = e.getValue();
        System.out.println(key + "----" + value);
    }
}

4. 在TreeSet中使用泛型

TreeSet、Comparable、Comparator都可以指定泛型
因为泛型指定了类型，所以

• 重写compare()或者compareTo()时不需要使用instanceof判断类型，也不需要进行类型强转
• 同时也无需抛出类型不一致的异常

//问题二：使用定制排序，按生日日期的先后排序
@Test
public void test2(){

    TreeSet<Employee> set = new TreeSet<>(new Comparator<Employee>() {
        //使用泛型以后的写法
        @Override
        public int compare(Employee o1, Employee o2) {
            MyDate b1 = o1.getBirthday();
            MyDate b2 = o2.getBirthday();
            return b1.compareTo(b2);
        }
        // //使用泛型之前的写法
        // @Override
        //    public int compare(Object o1, Object o2) {
        //        if(o1 instanceof Employee && o2 instanceof Employee){
        //            Employee e1 = (Employee)o1;
        //            Employee e2 = (Employee)o2;
        //            MyDate b1 = e1.getBirthday();
        //            MyDate b2 = e2.getBirthday();
        //            return b1.compareTo(b2);
        //        }
        //        throw new RuntimeException("传入的数据类型不一致！");
        //    }
    });

    Employee e1 = new Employee("liudehua",55,new MyDate(1965,5,4));
    Employee e2 = new Employee("zhangxueyou",43,new MyDate(1987,5,4));
    Employee e3 = new Employee("guofucheng",44,new MyDate(1987,5,9));
    Employee e4 = new Employee("liming",51,new MyDate(1954,8,12));
    Employee e5 = new Employee("liangzhaowei",21,new MyDate(1978,12,4));

    set.add(e1);
    set.add(e2);
    set.add(e3);
    set.add(e4);
    set.add(e5);

    Iterator<Employee> iterator = set.iterator();
    while (iterator.hasNext()){
        System.out.println(iterator.next());
    }
}

总结：

1. 集合接口或集合类在jdk5.0时都修改为带泛型的结构。在实例化集合类时，可以指明具体的泛型类型
2. 指明类型后，在集合类或接口中凡是定义类或接口时，内部结构（比如：方法、构造器、属性等）使用到泛型的位置，都指定为实例化的泛型类型。
   比如：add(E e) —>实例化以后：add(Integer e)
3. 注意点：泛型的类型必须是类，不能是基本数据类型。需要用到基本数据类型的位置，应使用包装类
4. 如果实例化时，没有指明泛型。默认为Object类型。

3. 自定义泛型结构

泛型结构有：泛型类、泛型接口、泛型方法

3.1 泛型类

public class Order<T> {
    String orderName;
    int orderId;
    T orderT;   //类的内部结构就可以使用类的泛型

    public Order() {
        //编译不通过
//        T[] arr = new T[10];
        //编译通过
        T[] arr = (T[]) new Object[10];
    }

    public Order(String orderName, int orderId, T orderT) {
        this.orderName = orderName;
        this.orderId = orderId;
        this.orderT = orderT;
    }

    //如下的三个方法都不是泛型方法
    public T getOrderT() {
        return orderT;
    }

    public void setOrderT(T orderT) {
        this.orderT = orderT;
    }

    @Override
    public String toString() {
        return "Order{" +
                "orderName='" + orderName + '\'' +
                ", orderId=" + orderId +
                ", orderT=" + orderT +
                '}';
    }
    //静态方法中不能使用类的泛型。
//    public static void show(T orderT){
//        System.out.println(orderT);
//    }

    //异常类不能是泛型
    public void show() {
        //编译不通过
//        try{
//    
//        }catch(T t){
//
//        }
    }

}

泛型类的子类

泛型类的子类可能是泛型类，也可能是普通类

//SubOrder不是泛型类，而是普通类
public class SubOrder extends Order<Integer> {
    public static <E> List<E> copyFromArrayToList(E[] arr) {
        ArrayList<E> list = new ArrayList<>();
        for (E e : arr) {
            list.add(e);
        }
        return list;
    }
}

//SubOrder1<T>仍然是泛型类
public class SubOrder1<T> extends Order<T> {

}

子类必须是“富二代”，子类除了指定或保留父类的泛型，还可以增加自
己的泛型

class Father<T1, T2> {
}
// 子类不保留父类的泛型
// 1)没有类型 擦除
class Son1 extends Father {// 等价于class Son extends Father<Object,Object>{
}
// 2)具体类型
class Son2 extends Father<Integer, String> {
}
// 子类保留父类的泛型
// 1)全部保留
class Son3<T1, T2> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2> extends Father<Integer, T2> {
}

子类额外定义泛型的情况

class Father<T1, T2> {
}
// 子类不保留父类的泛型
// 1)没有类型 擦除
class Son<A, B> extends Father{//等价于class Son extends Father<Object,Object>{
}
// 2)具体类型
class Son2<A, B> extends Father<Integer, String> {
}
// 子类保留父类的泛型
// 1)全部保留
class Son3<T1, T2, A, B> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2, A, B> extends Father<Integer, T2> {
}

---

3.2 泛型方法

区分概念：

1. 泛型方法
2. 使用类的泛型的方法

泛型方法：在方法中出现了泛型的结构，泛型参数与类的泛型参数没有任何关系。即泛型方法既可以放在泛型类中，也可以放在普通类中。

对比

1. 泛型方法可以声明为静态。
   原因：泛型参数是在调用方法时确定的。并非在实例化类的对象时确定。
2. 使用类的泛型的方法不能为静态的
   原因：类的泛型需要创建对象的时候指定，而静态方法的早于对象的创建

泛型方法的格式：
[访问权限] <泛型> 返回类型 方法名([泛型标识 参数名称]) 抛出的异常

public static <E> List<E> copyFromArrayToList(E[] arr) {
    ArrayList<E> list = new ArrayList<>();
    for (E e : arr) {
        list.add(e);
    }
    return list;
}

3.3 泛型类和泛型方法的应用场景

3.3.1 DAO：Data Access Object

操作数据库中的数据

//表的共性操作的DAO
public class DAO<T> {

    //添加一条记录
    public void add(T t){

    }

    //删除一条记录
    public boolean remove(int index){

        return false;
    }

    //修改一条记录
    public void update(int index,T t){

    }

    //查询一条记录
    public T getIndex(int index){

        return null;
    }

    //查询多条记录
    public List<T> getForList(int index){

        return null;
    }

    //泛型方法
    //举例：获取表中一共有多少条记录？获取最大的员工入职时间？
    public <E> E getValue(){

        return null;
    }

}

//操作Customer信息表的DAO
public class CustomerDAO extends DAO<Customer>{

}

4. 泛型在继承上的体现

1. 类A是类B的父类，但是G<A> 和G<B>二者不是子父类关系，二者是并列关系。不能进行赋值
2. 类A是类B的父类，A<G> 是 B<G> 的父类

List<Object> list1 = null;
List<String> list2 = new ArrayList<String>();
//此时的list1和list2的类型不具有子父类关系
//编译不通过
//        list1 = list2;

@Test
    public void test2() {
        AbstractList<String> list1 = null;
        List<String> list2 = null;
        ArrayList<String> list3 = null;

        list1 = list3;
        list2 = list3;

        List<String> list4 = new ArrayList<>();
    }

5. 通配符

5.1 通配符的使用

通配符：? (英文格式下的问号)
因为上面所说的G<A>和G<B>是并列关系（A和B是子父类），不能进行赋值
导致类似于多态的性质无法使用，为了解决这个不便，我们映入了通配符
G<A>和G<B>的公共父类是G<?>

1. list<?>不可以添加数据（除了null）
   原因：如果允许写，有可能导致数据类型不一致，这样通过泛型指定数据类型的目的又被破坏了。所以不允许往list<?>中添加数据
2. list<?>可以读取数据，读取的数据为Object类型
   Object obj = list<?>.get(0);

@Test
public void test3() {
    List<Object> list1 = null;
    List<String> list2 = null;

    List<?> list = null;

    list = list1;
    list = list2;
    //编译通过
//        print(list1);
//        print(list2);
    
    List<String> list3 = new ArrayList<>();
    list3.add("AA");
    list3.add("BB");
    list3.add("CC");
    list = list3;
    //添加(写入)：对于List<?>就不能向其内部添加数据
    //只能添加null。
//        list.add("DD");
    list.add(null);

    //获取(读取)：允许读取数据，读取的数据类型为Object。
    Object o = list.get(0);
    System.out.println(o);

}

public void print(List<?> list) {
    Iterator<?> iterator = list.iterator();
    while (iterator.hasNext()) {
        Object obj = iterator.next();
        System.out.println(obj);
    }
}

5.2 有限制条件的通配符

1. 指定上限 <? extends A> (<=A)
   上限extends(<=)：使用时指定的类型必须是继承某个类，或者实现某个接口。
   即该list中存储的数据必须A或A的子类对象
2. 指定下限 <? super B> (>=B)
   下限super：指定的类型不能小于操作的类B，即>=
   即该list中存储的数据必须是B或B的父类对象

举例：

• <? extends Number> (无穷小 , Number]

只允许泛型为Number及Number子类的引用调用

• <? super Number> [Number , 无穷大)

只允许泛型为Number及Number父类的引用调用

• <? extends Comparable>

只允许泛型为实现Comparable接口的实现类的引用调用

@Test
public void test4() {

    List<? extends Person> list1 = null;
    List<? super Person> list2 = null;

    List<Student> list3 = new ArrayList<Student>();
    List<Person> list4 = new ArrayList<Person>();
    List<Object> list5 = new ArrayList<Object>();

    list1 = list3;
    list1 = list4;
//        list1 = list5;

//        list2 = list3;
    list2 = list4;
    list2 = list5;

    //读取数据：
    list1 = list3;
    Person p = list1.get(0);
    //编译不通过
    //Student s = list1.get(0);

    list2 = list4;
    Object obj = list2.get(0);
    //编译不通过
//        Person obj = list2.get(0);


    //写入数据：
    //编译不通过
//        list1.add(new Student());

    //编译通过
    list2.add(new Person());
    list2.add(new Student());

}

理解核心：只能将子类的对象赋给父类的引用