2020-01-22 泛型

1. 泛型类是有一个或者多个参数的类，被用作实例变量的类型，方法的参数类型，返回值的类型

tips：类型参数不能用基本类型实例化

public class Entry  {

    private  K key;
    private  V value;

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

    public K getKey() {
        return key;
    }

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

    public V getValue() {
        return value;
    }

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

构造泛型类的对象, 钻石语法中的类型是被推测出来的

public static void main(String[] args) {

        Entry example = new Entry<>(23, "broccoli");

    }

2. 泛型方法，泛型方法是带参数类型的方法，可以是普通类或者是泛型类的方法

声明一个泛型方法的时候，类型参数要放在修饰符（如 public或者static）之后，返回类型之前

 public static  void swap(T[] array, int i , int j){
        
  //logic code
        
    }

3. 类型限定， 泛型类或者方法的类型参数需要满足某些要求

限定 元素类型是 AutoCloseable 的子类型， 可以有多个限定 通过 & 并操作符，这里区别异常使用多个 或 连接的，然后 限定只能有一个是类，接口可以多个，如果有一个限定是类必须放在限定列表的第一位

public  static   void TaAge(Employee[] array){

    }
    public  static   void TaAge2(ArrayList list){

    }

    //报错因为只能 extends 一个类，但是可以extends 多个接口
    public  static   void TaAge3(Employee[] array){

    }

    //通配符号，对于统配符号的对象，你只能进行读取，不能进行写数据
    public  static   void TaAge3(ArrayList list){

    }
    //通配符号，传递父类型
    public  static   void TaAge4(ArrayList list){

    }

4. 变异类型和通配符

协变性

//假如manager类是子类，那么在这里传入 Manager[]对象也可以
    public  static void  process(Employee[] stuff){
        
    }

    //但是ArrayList不是ArrayList的子类型
    ArrayList managers = new ArrayList<>();
    //非法
    ArrayList employees = managers;

子类型通配符：为什么这么设计，如果一个方法不对数组列表进行写操作，不会损坏数组列表

可以将 ? extends Employee 转换成 Employee，但是不能讲任何对象转换成 ? extends Employee， 所以你可以从 ArrayList arrayList中读数据而不能写数据

   public  static void printNames(ArrayList arrayList){

       for (int i = 0; i< arrayList.size(); i++){
           // get方法会返回一个 ? extends Employee 的对象，？表示 Employee的子类型
           Employee e = arrayList.get(i);
           System.out.println(e.getName());

       }

       //这个方法没办法执行，因为 ？ 可以是任何子类
       arrayList.add();

    }

父类型通配符： ? super Employee 代表了 Employee 的一个父类型，当给方法指定一个泛型函数式接口的参数时，一般使用super

生产者读取数据，使用extends ， 消费者 使用 super

带类型变量的通配符

  public  static  void testList(T[] elements, Predicate filter){

    }

无限定通配符: ?

  public static  boolean  hasNulls(ArrayList list){
        for (Object o : list) {
            if(o == null) {
                return true;
            }
        }
        return false;
    }

通配符捕获：可以将　？　当做一个类型的参数，但是不能用作为一个类型

记住一点，所有有关泛型的接口都是不变的

image.png