java泛型学习

一、什么是泛型

1.背景：

JAVA推出泛型以前，程序员可以构建一个元素类型为Object的集合，该集合能够存储任意的数据类型对象，而在使用该集合的过程中，需要程序员明确知道存储每个元素的数据类型，否则很容易引发ClassCastException异常。
如下面的例子

public class demo {
    public static void main(String[] args) {
        ArrayList list = new ArrayList();
        list.add("java");
        list.add(132);
        list.add(true);

        for (int i = 0; i < list.size(); i++) {
             Object o = list.get(i);
             String str = (String)o;
             System.out.println(str);
        }
    }
}

运行后会报错

报错信息为数据类型转化异常，Integer不能被转化为String类型，这个不是编译过程的中的错误，是代码运行时候的错误。

2.概念：

Java泛型（generics）是JDK5中引入的一个新特性，泛型提供了编译时类型安全监测机制，该机制允许我们在编译时检测到非法的类型数据结构。泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数。

3.好处：

编译期间检查类型
消除了强制类型的转换

如图

输入int和boolean类型都会报错

 ArrayList<String> list1 = new ArrayList<>();
        list1.add("a");
        list1.add("b");
        list1.add("c");

        for (int i = 0; i < list1.size(); i++) {
            String str = list1.get(i);
            System.out.println(str);
        }

运行结果为

消除了强制类型转化

二、泛型类、接口

1.泛型类

（1）使用语法

类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();

（2）Java1.7以后，后面的<>中的具体的数据类型可以省略不写

类名<具体的数据类型> 对象名 = new 类名<>(); 菱形语法

2.泛型类注意事项：

泛型类，如果没有指定具体的数据类型，此时，操作类型是Object。
泛型的类型参数只能是类类型，不能是基本数据类型，因为在编译的时候，类都会被视为Object类去进行编译，基本数据类型没有继承自Object所以不能用基本数据类型。
泛型类型在逻辑上可以看成是多个不同的类型，但实际上都是相同类型

可以结合后面的泛型擦除理解，泛型擦除之后 Generic < String > 和Generic< Integer >都是Generic类。

泛型类：

/**
 * 泛型类的定义
 * @param <T>泛型标识——类型形参
 *           T创建对象的时候里指定的数据类型
 */
public class Generic<T> {
    //T是由外部类来指定

    private T key;

    public Generic(T key) {
        this.key = key;
    }

    public T getKey() {
        return key;
    }

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

    @Override
    public String toString() {
        return "Generic{" +
                "key=" + key +
                '}';
    }
}

测试类：

public class demo {
    public static void main(String[] args) {
        //泛型类在创建对象的时候来指定操作的具体数据类型
        Generic <String> generic1 = new Generic<>("abc");
        Generic <Integer> generic2 = new Generic<>(123);
        System.out.println(generic1.toString());
        System.out.println(generic2.toString());
        System.out.println(generic1.getClass());
        System.out.println(generic2.getClass());
        System.out.println(generic1.getClass() == generic2.getClass());
    }
}

打印结果

3.从泛型类派生子类

• 子类也是泛型类，子类和父类的泛型类型要一致

• //父类是泛型类
  public class father<T> {
      private T key;
  
      public T getKey() {
          return key;
      }
  }
  //子类继承的时候必须要和父类保持一致
  public class son<E> extends father<E>{
      private E key;
  
      @Override
      public E getKey() {
          return super.getKey();
      }
  }
  

• 子类不是泛型类，父类要指定泛型类型

• //父类是泛型类
  public class father<T> {
      private T key;
  
      public T getKey() {
          return key;
      }
  }
  //父类要指定泛型类型
  public class son extends father<String>{
      private String key;
  
      @Override
      public String getKey() {
          return super.getKey();
      }
  }
  

4.泛型接口

泛型接口的定义语法

interface 接口名称 <泛型标识，泛型标识，…> {
	泛型标识 方法名(); 
	.....
}

5.泛型接口的使用

• 实现类也是泛型类，实现类和接口的泛型类型要一致

/**
 * 泛型接口
 * @param <T>
 */
public interface Generator<T> {
    T getKey();
}
/**
 * 泛型接口的实现类，是一个泛型类，
 * 那么要保证实现接口的泛型类泛型标识包含泛型接口的泛型标识
 * @param <T>
 * @param <E>
 */
public class Pair<T,E> implements Generator<T> {

    private T key;
    private E value;

    public Pair(T key, E value) {
        this.key = key;
        this.value = value;
    }

    @Override
    public T getKey() {
        return key;
    }

    public E getValue() {
        return value;
    }
}

• 实现类不是泛型类，接口要明确数据类型

/**
 * 实现泛型接口的类，不是泛型类，需要明确实现泛型接口的数据类型。
 */
public class Apple implements Generator<String> {
    @Override
    public String getKey() {
        return "hello generic";
    }
}

三、泛型方法

1.用法

泛型方法是在调用方法的时候指明泛型的具体类型。

2.语法:

//修饰符 <T，E, ...> 返回值类型 方法名(形参列表) { 方法体... }
    public <T> void Getkey(ArrayList<T> key_list){
       
    }

3.说明：

• public与返回值中间非常重要，可以理解为声明此方法为泛型方法。
• 只有声明了的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
• < T >表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
• 与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。

4.泛型方法与可变参数

public class Test {
    public <E> void print(E... e){
        for (int i=0;i<e.length;i++){
            System.out.println(e[i]);
        }
    }
}
public class demo {
    public static void main(String[] args) {
        Test test = new Test();
        test.print(1,2,3);
        test.print("a","b","c");
    }
}

打印结果

5.泛型方法总结

• 泛型方法能使方法独立于类而产生变化
• 如果static方法要使用泛型能力，就必须使其成为泛型方法

 /**
     * 静态的泛型方法，采用多个泛型类型
     * @param t
     * @param e
     * @param k
     * @param <T>
     * @param <E>
     * @param <K>
     */
    public static <T,E,K> void printType(T t, E e, K k) {
        System.out.println(t + "\t" + t.getClass().getSimpleName());
        System.out.println(e + "\t" + e.getClass().getSimpleName());
        System.out.println(k + "\t" + k.getClass().getSimpleName());
    }

四、类型通配符

1.什么是类型通配符

类型通配符一般是使用"?"代替具体的类型实参。
public static void showBox(Test<?> test){
        System.out.println(test.getKey());
    }

所以，类型通配符是类型实参，而不是类型形参。

2.类型通配符的上限

语法：

类/接口<? extends 实参类型>
 public static void showBox(Test<? extends Number> test){
        System.out.println(test.getKey());
    }

要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

3.类型通配符的下限

语法：

//类/接口<? super 实参类型>
    public static void showBox(Test<? super Integer> test){
        System.out.println(test.getKey());
    }

要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

五、类型擦除

1.概念

泛型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是泛型代码能够很好地和之前版本的代码兼容。那是因为，泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为–类型擦除。

2.分类：

• 无限制类型擦除
  

• 有限制类型擦除
  

• 擦除方法中类型定义的参数
  

• 桥接方法
  

六、泛型与数组

• 泛型数组的创建
  可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象

//错误方式
ArrayList<String>[] listArr = new ArrayList<5>(); 
//正确方式
ArrayList[] list = new ArrayList[5];
ArrayList<String>[] listArr = list;
//或者
ArrayList<String>[] listArr = new ArrayList[5];

• 可以通过java.lang.reflect.Array的newInstance(Class,int)创建T[]数组

public class Fruit<T> {
    private T[] array;

    public Fruit(Class<T> clz, int length){
        //通过Array.newInstance创建泛型数组
        array = (T[])Array.newInstance(clz, length);
    }
}