Java 泛型使用（类、方法、接口协议、类型通配符、通配符上下限）

一、简介

• 泛型：是 JDK5 中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型，它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

• 一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型。

• 这种参数类型可以用在类、方法和接口中，分别被称为泛型类泛型方法、泛型接口。

• 泛型 定义格式:

  • <类型>：指定一种类型的格式，这里的类型可以看成是形参。

  • <类型1,类型2...>：指定多种类型的格式，多种类型之间用逗号隔开，这里的类型可以看成是形参。

  • 将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型。

• 泛型 的好处:

  • 把运行时期的问题提前到了编译期间

  • 避免了强制类型转换

二、泛型类

• 泛型类 的定义格式:

  • 格式: 修饰符 class 类名<类型> { }

  • 范例: public class Generic<T> { }

  • 此处 T 可以随便写为任意标识，常见的如 T、E、K、 V 等形式的参数常用于表示泛型。

• 定义一个公用泛型类 Generic.java

  public class Generic<T> {
    // 定义私有属性
    private T t;
    // 重写 get 方法
    public T getT() {
      return t;
    }
    // 重写 set 方法
    public void setT(T t) {
      this.t = t;
    }
  }
  

• main 函数中使用，指定泛型为 String，在使用泛型类的时候，所有泛型指向的就是 String。

  public class test {
    public static void main(String[] args) {
      // 新建对象
      Generic<String> g1 = new Generic<String>();
      // 使用 set 方法
      g1.setT("dzm");
    }
  }
  

  

三、泛型方法

• 泛型方法 的定义格式:

  • 格式：修饰符 <类型> 返回值类型 方法名(类型量名){ }

  • 范例：public <T> void show(T t){ }

• 案例：

  public class test {
    public static void main(String[] args) {
      // 使用泛型方法
      DZMLog("dzm");
      DZMLog(88);
      DZMLog(true);
    }
  
    // 泛型方法
    static <T> void DZMLog(T t) {
      System.out.println(t);
    }
  }
  

  输出：

  dzm
  88
  true
  

四、泛型接口协议

• 泛型接口协议 的定义格式:

  • 格式：修饰符 interface 接口名<类型>{ }

  • 范例：public interface Generic<T>{ }

• 定义一个 Generic.java 接口协议

  public interface Generic<T> {
    // 接口方法定义
    public default void show(T t) {
      System.out.println(t);
    }
  }
  

• 定义一个 GenericPro.java 类去遵守 Generic.java 接口协议

  public class GenericPro<T> implements Generic<T> {
    // 继承协议并实现协议方法
    @Override
    public void show(T t) {
      // 实现协议方法
    }
  }
  

五、类型通配符

• 为了表示各种泛型 List 的父类，可以使用 类型通配符

• 类型通配符 的定义格式：

  • 类型通配符：<?>

  • List<?>：表示元素类型未知的 List，它的元素可以匹配 任何的类型。

  • 这种带通配符的 List 仅表示它是各种泛型 List 的父类，并不能把元素添加到其中。

• 通配符的 上下限：

  • 如果说我们不希望 List<?> 是任何泛型 List 的父类，只希望它代表某一类泛型 List 的父类，可以使用类型通配符的上限。

  • 类型通配符 - 上限： <? extends 类型>

  • 范例 List<? extends Number>：它表示的类型是 Number或者其子类型，一定不能是父类型。

  • 类型通配符 - 下限：<? super 类型>

  • 范例 List<? super Number>：它表示的类型是 Number或者其父类型，一定不能是子类型。

• 案例：

  import java.util.List;
  import java.util.ArrayList;
  
  public class test {
    public static void main(String[] args) {
      // 类型通配符: <?>
      List<?> list1 = new ArrayList<String>();
      List<?> list2 = new ArrayList<Number>();
      List<?> list3 = new ArrayList<Integer>();
  
      // 类型通配符 上线: <? extends 类型>
      List<? extends Number> list5 = new ArrayList<String>(); // 这个会报错，因为 String 不属于 Number或者其子类型
      List<? extends Number> list6 = new ArrayList<Number>();
      List<? extends Number> list7 = new ArrayList<Integer>();
  
      // 类型通配符 下线: <? super 类型>
      List<? super Number> list5 = new ArrayList<String>(); // 这个会报错，因为 String 不属于 Number或者其父类型
      List<? super Number> list6 = new ArrayList<Number>();
      List<? super Number> list7 = new ArrayList<Integer>(); // 这个会报错，因为 Integer 不属于 Number或者其父类型
    }
  }