java - 继承带有冲突的通用 super 接口(interface)的原始类型

Question

我遇到了一段有趣的 Java 代码，IntelliJ 将其标记为错误，但是 javac接受为合法的。要么 IntelliJ 错了，代码是合法的，要么编译器“错了”，无论是由于错误还是有意放宽规则。

我认为我对 Java 类型系统相当理解得很好，我自己的推理让我怀疑 IntelliJ 是错误的并且 javac是对的。但是，我花了很多时间摸索 JLS，我想确定地知道。

在我们进入有问题的代码之前，让我们看一些类似绝对非法的代码:

interface A<T> {}
interface X extends A<String> {}
interface Y extends A<Object> {}

interface Z extends X, Y {} // COMPILE ERROR

如我所料，IntelliJ 和 javac 正确地将此标记为错误:'A' 不能用不同类型的参数继承:'java.lang.String' 和 'java.lang.Object'。 p>

没问题。但是如果我们制作 X 会怎样？和 Y通用的，带Z扩展他们的原始形式？

interface X<T> extends A<String> {}
interface Y<T> extends A<Object> {}

interface Z extends X, Y {}  // OK according to javac, ERROR according to IntelliJ

在这里，IntelliJ 急切地报告与第一个代码段相同的错误，但是 javac愉快地接受编写的代码。

我的理解是原始类型被递归删除，这意味着原始类型的所有父类(super class)和超接口(interface)都被替换为它们递归删除的形式，等等。因此，在有问题的代码中，Z最终扩展(原始)A通过两个 X和 Y ，与第一个示例相反，其中 Z延伸A<String>通过X和 A<Object>通过Y .

如果情况确实如此，那么我会得出结论，IntelliJ 是错误的，并且 javac是正确的:第二个代码片段是合法的。

Stack Overflow 专家，您怎么看？

Answer 1

规范在 JLS-8.1.5 中说:

A class may not at the same time be a subtype of two interface types which are different parameterizations of the same generic interface (§9.1.2), or a subtype of a parameterization of a generic interface and a raw type naming that same generic interface, or a compile-time error occurs.

请注意，它特别注意了 “通用接口(interface)参数化的子类型和命名相同通用接口(interface)的原始类型” 的情况，这将转换为类似 interface Z extends A<String>, A {} 的内容。未提及 2 个原始超接口(interface)的情况。

此外，规范给出了这个例子:

interface I<T> {}
class B implements I<Integer> {}
class C extends B implements I<String> {}

Class C causes a compile-time error because it attempts to be a subtype of both I<Integer> and I<String>.

问题在于，如果 A 和 X 都在您的第一个编译代码段中扩展 Y，则 A<Object> 使用不同类型的参数进行扩展。

JLS-4.8 说(正如你已经提到的):

The superclasses (respectively, superinterfaces) of a raw type are the erasures of the superclasses (superinterfaces) of any of the parameterizations of the generic type.

这意味着 Z 扩展原始类型 A 两次，不是具有不同参数化的 A。此外，一个类可以两次具有相同的(间接)超接口(interface)(参见 JLS-8.1.5-2 中的第二个示例)。

所以我得出结论，Intellij 在这里是错误的。