Java非泛型方法隐藏具有交集类型的泛型方法

Question

如果三个公共接口定义为：

public interface One{}
public interface Two{}
public interface Three{}

另外一个类 Super 被定义为：

public class Super {
    public static <E extends One & Two & Three> void hmm(E item) {}
}

为什么Super下面的子类会报编译错误？

public class Subber extends Super{
    public static void hmm(One item) {}
}

我希望上述方法可以简单地对 Super 隐藏该方法，但事实并非如此。

JLS (8.4.8.2) 说：

如果类 C 声明或继承静态方法 m，则称 m 隐藏任何方法 m'，其中 m 的签名是 m' 签名的子签名（第 8.4.2 节），在超类中和 C 的超接口，否则这些超接口可以访问（第 6.6 节）以用 C 编写代码。

其中子签名在 8.4.2 中定义为：

如果两个方法或构造函数 M 和 N 具有相同的名称、相同的类型参数（如果有）（第 8.4.4 节），并且在将 N 的形式参数类型调整为M的类型参数，形式参数类型相同。

如果满足以下任一条件，方法 m1 的签名是方法 m2 签名的子签名： m2 与 m1 具有相同的签名，或者 m1 的签名与 m2 签名的擦除（第 4.6 节）相同.

根据 JLS 4.6，类型变量的擦除是其最左边界的擦除，因此： 据我了解，Subber 的 hmm 方法与 Super 的 hmm 方法的擦除相同，因此将是 Super 的 hmm 的子签名，因此意味着它会隐藏 Super 的 hmm。但是，我收到的错误消息（来自 eclipse），鉴于上述情况，这似乎没有意义：“Subber 类型的方法 hmm(One) 与 Super 类型的 hmm(E) 具有相同的擦除，但没有把它藏起来。”我错过了什么？

编辑：准确的错误消息，主要方法只包含Subber.hmm(null); 是：

Exception in thread "main" java.lang.Error: Unresolved compilation problem: 
    Name clash: The method hmm(One) of type Subber has the same erasure as hmm(E) of type Super but does not hide it

    at base/testpack4.Subber.hmm(Subber.java:4)
    at base/testpack4.Main.main(Main.java:5)

有人可以解释为什么 Subber 的方法无法编译，并引用可靠的来源（最好是 JLS）吗？

Answer 1

„...谁能解释一下为什么 Subber 的方法无法编译...“

我implemented the code you listed; 逐字逐句。我的 Main.main(String[]) 通过调用 Subber.hmm(null) 和 Subber.hmm(One) 可以正常编译。

我唯一不同的是引入了一个新的Four接口，它满足<E extends One & Two & Three> void Super.hmm(E)的类型参数部分的要求。

然后我将 Four 的实例传递给 Subber.hmm(One) 以确认 Super.hmm(E) 没有被调用；证明它实际上是隐藏的。

„...引用可靠来源（最好是 JLS）？...“

That implementation 的行为与您引用的 JLS 规范完全一样。

Answer 2

E 的类型还没有定义，你可以通过设置 Super 类的 E 泛型来参数化它，并在 Subber 类中定义它：

public class Super<E> {
    public static <E extends One & Two & Three> void hmm(E item) {}
}

public class Subber extends Super<One> {
    public static void hmm(One item) {}
}