Oracle Java SE 8u20 JDK 中泛型静态方法调用的 Java 泛型不兼容类型编译错误

Question

使用 Oracle Java SE 8u20 JDK 编译以下代码时，前三个赋值编译正常（对于 works* 变量），但第四个赋值（对于 fails1 变量）生成以下编译错误：

错误：

incompatible types: Set<Set<Object>> cannot be converted to Set<Set<? extends Object>>

代码：

import java.util.Set;
import java.util.Collections;

...

Set<? extends Object>      works1 = Collections.<Object>emptySet();
Set<Set<Object>>           works2 = Collections.<Set<Object>>emptySet();
Set<Set<? extends Object>> works3 = Collections.<Set<? extends Object>>emptySet();
Set<Set<? extends Object>> fails1 = Collections.<Set<Object>>emptySet();

我认为这是正确的（可能是由于 Java 语言规范中定义的某种类型擦除），而不是错误，但我不确定。

有谁知道为什么fails1 编译失败？对 Java 规范的适用部分或 JDK 错误报告的引用将不胜感激。

感谢您的帮助。

Answer 1

< 和 > 之间的任何内容都是类型不变的，除非您使用 ? 通配符。

Set<? extends Object> 和 Set<Object> 的类型不同，因此需要类型变化才能被认为是兼容的。

如果它们在顶层，对于works1，顶层Set 在< 和> 之外，因此正常的Java 类型差异有效，但对于fails1，它们在< 和> 内，所以类型是不变的。

可以在< 和> 中启用类型差异，方法是将类型声明的最外层部分从Set<Set<...>> Set<? extends Set<...>> 更改。

因此，以下代码编译正确：

Set<? extends Set<? extends Object>> works4 = Collections.<Set<Object>>emptySet();

我从以下问题的答案中得出我的答案（@MarkoTopolnik 在上面提到过）：

multiple nested wildcard - arguments not applicable

以下问题的答案提供了更详细的解释：

Can't cast to to unspecific nested type with generics

Answer 2

您在fails1 上的输入过于严格，这与在声明时对其施加的相对宽松的通配符约束相矛盾。

? extends T 形式的upper-bounded wildcard 表示您愿意接受T 及其所有子类型。但是，您将右侧明确限制为 Object。

本质上，您正在尝试采取：

Set<Set<? extends Object>>

这是一组集合，其中包含 Object 或扩展 Object...

...把它变成这样：

Set<Object>

这只是一组Object类型。

works1 不会发生这种情况是有原因的：它定义了一个 Set，其中包含 Object 或 Object 的后代的元素，并且由于 Object 满足至少其中一项要求，在后台执行的capture conversion 将满足此规则。

再一次，这是您正在使用的 Java 8 - 除非 Java 的编译器无法在此处进行类型推断，否则您传递这些类型几乎没有什么收获。