转换为泛型变量

Question

我了解泛型和转换，但我不了解泛型转换。我以为我只能通过继承树向上或向下转换为特定类型，但这证明我错了：

ArrayList<?> cislo = (ArrayList<? extends Number>) new ArrayList<Integer>();

这可能不是最好的例子，但希望你能明白我的意思。这是如何运作的？它被转换成什么类型​​？

Answer 1

演员表是不必要的。

任务

ArrayList<?> list = new ArrayList<Integer>();
ArrayList<? extends Number> list2 = new ArrayList<Integer>();

不需要任何显式转换。

通配符类型比具体类型“更通用”/“不太具体”，upper bounded wildcard types（如? extends Number）比unbounded ones（?）更具体。

有关通配符类型之间关系的更多信息，请参见Oracle Tutorial on Wildcards and Subtyping。

JLS 的相关部分指定这是4.10.2. Subtyping among Class and Interface Types

给定一个泛型类型声明 C (n > 0)，参数化类型 C 的直接超类型，其中 Ti (1 ≤ i ≤ n) 是一个类型，如下：

• D，其中 D 是泛型类型，它是泛型类型 C 的直接超类型，θ 是替换 [F1:=T1,...,Fn:=Tn]。
• C，其中 Si 包含 Ti (1 ≤ i ≤ n) (§4.5.1)。

[...]

指的是 4.5.1. Type Arguments of Parameterized Types

如果 T2 表示的类型集在自反和传递闭包下可证明是 T1 表示的类型集的子集，则称一个类型参数 T1 包含另一个类型参数 T2，写作 T2

• ？扩展 T

扩展 S

• ？扩展 T

[...]

所以根据这个定义，ArrayList<? extends Number> 是 ArrayList<Integer> 的超类型，ArrayList<?> 是除原始类型之外的任何 ArrayList<> 的超类型。

为超类型类型的变量赋值不需要强制转换。

---

如果您想分配不同类型的东西，则需要强制转换：

Object list = new ArrayList<Integer>();
//...somewhere else - the compiler does not know that list is always an ArrayList, but we tell it that we know what we are doing
List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning, but works

在那次演员之后，你可以例如从列表中获取元素并将它们视为Numbers。如果您为list 引用分配了其他不是List<? extends Number> 子类型的引用，则强制转换将在运行时失败

    Object list = new HashSet<Integer>();
    List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning

在运行时抛出失败

java.lang.ClassCastException: java.util.HashSet cannot be cast to java.util.List

---

当泛型类型不匹配时问题开始出现：

List<String> stringList = new ArrayList<String>();
stringList.add("hi");
Object list = stringList;
List<? extends Number> numbers = (List<? extends Number>) list; //unchecked cast warning, but (sadly) works

Number n = numbers.get(0); //fails: java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Number

这是因为在运行时，列表类型的擦除匹配。另见the tutorial on erasure