泛型说明

java 泛型的几点说明

• 泛型有三种：泛型类，泛型接口，泛型方法。这三种泛型声明的位置是不同的。泛型类是在创造类实例的时候需要指明泛型，泛型方法时在调用方法的时候需要指明泛型。
• 泛型又有字母泛型 T 和泛型通配符 ?。
• 通配符 ? 在编译器中不是Java的实际类型，编译器将把? 类型识别为临时类型，比如“CAP#1”。这种类型是无法用于任何变量的赋值的。
• extends和super关键字更常和泛型通配符 ? 使用。<? extends Object> 常常有用于函数入参的声明。
• extends的用法是一种泛型声明方式，extends这种也只能出现在声明地方。super关键字也是一样。

在类上声明泛型的方式（泛型类）

public class MyClass<T> {  // 在此处进行类的泛型声明
  private T value;
  public T getValue() {
    return value;
  }
  public void setValue(T val) {
    value = val;
  }
}

在方法上声明泛型的方式（泛型方法）

public class MyClass{
  int value;
  public int getValue() {
    return value;
  }

  public <T> T setValue(T val) { // <T> 是泛型方法的声明，返回值是 T
    return val;
  }

  public <T extends Object> T setValue(T val) { // 带有extends的泛型声明
    return val;
  }
}

? 通配符

• 通配符常常用于变量引用、函数入参的引用声明
• 通配符无法用于泛型类、泛型接口、泛型函数的声明。
• 编译器将通配符 ? 类型识别为临时类型，比如“CAP#1”，此时无法为任何Java实际类型赋值。

public void set(List<? extends Object> value) {}  // 函数入参的引用声明
List<? super T> list; // 变量引用
publc class MyClass<? extends Object> {} // 这种使用通配符进行泛型类的声明是错误的，编译报错。

PECS规则

• Producter Extends, Consumer Super。
• Extends 对应get方法，Super对应set方法。
  List<? extends T> list list只有get方法能生效，没有办法set
  List<? super T> list list只有set方法能生效，没有办法get