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;