泛型

泛型

泛型方法

• 声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的）。

  public static <T> void sort(T[] a, Comparator<? super T> c) {}
  

• 每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。

  public interface Function<T, R> {}
  default <V> Function<T, V> andThen(Function<? super R, ? extends V> after) {
          Objects.requireNonNull(after);
          return (T t) -> after.apply(apply(t));
      }
  

• 类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。

• 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。

泛型类

在类名后面添加了类型参数声明部分

public class ArrayList<E> extends AbstractList<E>
        implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
    
    public boolean add(E e) {
        // ensureCapacityInternal(size + 1);  // Increments modCount!!
        // elementData[size++] = e;
        return true;
    }
}

类型通配符

• 使用?代替具体的类型参数，例如： List<?> 在逻辑上是List，List 等所有List<具体类型实参>的父类。
• 类型通配符上限，通配符泛型值接受继承类型及其下层子类类型。List<? extends Number> data
• 类型通配符下限通过形如 **List<? super Number>**来定义，表示类型只能接受Number及其三层父类类型，如 Object 类型的实例。