如何使用通配符实例化泛型？

Question

让我们研究一些使用通配符的通用实例化情况：

1

这段代码

List<?> list = new ArrayList<?>();

产生以下错误：

required: class or interface without bounds
found:    ?

2

但是这个

List<?> list = new ArrayList< Set<?> >();

编译成功。

3

还有这个：

List<Set<?>> list = new ArrayList< Set<?> >();

编译也成功了。

4

但是这个：

List<Set<Map<?,?>>> list = new ArrayList< Set<Map<String,String>> >();

生成

required: List<Set<Map<?,?>>>
found:    ArrayList<Set<Map<String,String>>>

5

List<Set<?>> list = new ArrayList< HashSet<?> >();

生成

required: List<Set<?>>
found:    ArrayList<HashSet<?>>

---

我对这些输出感到非常困惑。

我看到以下规律：

我只能在第一级从左侧部分到右侧部分替换?，并且类型应该在 内部相同，只是？和 ？是禁止的。

但我不明白为什么？

您能否提供如何使用通配符实例化泛型的通用规则？

Answer 1

1. 您不能使用通配符直​​接实例化一个类型。实例化时类型参数需要是实际类型，因此会产生编译器错误。

代码：

List<?> list = new ArrayList<?>();

1. 以下编译成功。

代码：

List<?> list = new ArrayList< Set<?> >();

您可以使用通配符作为类型参数的泛型类型参数，例如Set<?>，一组任何东西。此外，任何类型参数都将匹配左侧的通配符 ?。

1. 这也成功编译：

代码：

List<Set<?>> list = new ArrayList< Set<?> >();

类型参数匹配，? 没有像上面的（1）那样直接使用。

4. 以下内容无法编译：

代码：

List<Set<Map<?,?>>> list = new ArrayList< Set<Map<String,String>> >();

这是因为即使 Map<String, String> 是 Map<?, ?>，List<Set<Map<String, String>>> 也不是 List<Set<Map<?, ?>>>。 Java 泛型是不变的，这意味着类型参数必须匹配； “is-a”关系必须在上限中使用通配符明确指定。例如。通过在左侧引入上限通配符来编译此更改。

List<? extends Set<? extends Map<?,?>>> list = new ArrayList< Set<Map<String,String>> >();

5. 由于与上述 (4) 相同的原因，以下内容无法编译：

代码：

List<Set<?>> list = new ArrayList< HashSet<?> >();

即使HashSet<?> 是Set<?>，由于Java 的不变泛型，ArrayList<HashSet<?>> 也不是List<Set<?>>。在左侧引入通配符作为上限也适用：

List<? extends Set<?>> list = new ArrayList< HashSet<?> >();

Answer 2

1. 您不能使用通配符进行实例化。您必须指定类型。 “？”不是类型。
2. 这没关系，因为你给List<?> 一个类型，即Set<?>。 Set<?> 是一种类型。
3. 正确。 ArrayList<T> 是 List<T> 的子类型。
4. 这就是事情变得丑陋的地方。右手不是左手的子类型，因为 Java 处理类型参数的方式很奇怪。类型参数必须完全匹配，或者您必须使用协方差/逆变（<A extends B> 或 <A super B> 的东西）。 List<String> 不是 List<Object> 的子类型。它是List<? extends Object> 或只是List<?> 的子类型。
5. 同上。如果您将其声明为 List<? extends Set<?>>，它将起作用。