JAVA泛型继承关系

相同泛型参数的继承关系

当泛型参数相同时，类型的继承关系取决于原生类型。

List<String> list = new ArrayList<>();
// 编译通过
Collection<String> father = list;
// 编译失败
Collection<Integer> father = list;

不同泛型参数的继承关系

不同泛型参数的类的继承关系并不是由泛型参数的关系决定的，但可以使用通配符来限定关系。

• 通配符的上下界定义，只能用于返回值或形参，不能在类或方法声明中

// 编译正常
List<? super Object> superObjList = new ArrayList<>();
List<? extends Object> extendObjList = new ArrayList<>();

// 编译失败 Unexpected wildcard
public <? extends String> void print(String msg) {
  System.out.println(msg);
}

• 具体泛型T的上下界定义，只能存在于类或方法声明中，不能在返回值中

// 编译失败 Unexpected bound
List<T super String> superList = new ArrayList<>();
List<T extends Number> extendList = new ArrayList<>();

// 编译正常
public <U extends String> U print(U msg) {
   System.out.println(msg);
    return msg;
}

泛型数组

• 遵循原生类型的继承关系
  String extends Object，那么String[] extexds Object[]成立。但String和String[]是两个不同的类型，不存在任何关系
• 类型转换并不关心底层存储的真实类型，而是关注数组初始声明定义的类型

String[] s1 = {"abc", "efg", "hij"};
Object[] s2 = s1;
String[] s3 = (String[]) s2;  // 可以强转

Object[] s4 = {"abc", "efg", "hij"};
String[] s5 = (String[]) s4;  // 报错，不可以强转

基于以上的事实，在初始化泛型数组时，可以使用下面的代码

// 底层数组类型是int[]
int[] nums = (int[]) Array.newInstance(int.class, 10);
// 底层数组类型是String[]
String[] strings = (String[]) Array.newInstance(String.class, 10);
// 底层数组类型是String[]
Object[] origins = strings;