覆盖泛型类的方法时名称冲突

Question

我正在尝试理解使用以下代码得到的名称冲突错误：

import java.util.*;
import javax.swing.*;

class Foo<R extends Number> {
    public void doSomething(Number n, Map<String, JComponent> comps) {
    }
}

class Bar extends Foo {
    public void doSomething(Number n, Map<String, JComponent> comps) {
    }
}

错误消息：

错误：名称冲突：doThings（数字，地图

我知道我可以通过从Foo中删除泛型类型，或者将Bar声明更改为class Bar extensed Foo来修复它

我知道我之前已经向父类添加了泛型类型，但只得到了关于子类的警告，而没有错误。有人能解释一下这种情况吗？




Answer 1

Luiggi的评论是对的。这是原始类型的结果。

类的超类型可以是原始类型。类的成员访问被视为正常，超类型的成员访问被视为原始类型。在类的构造函数中，对super的调用被视为对原始类型的方法调用。

这在调用超类型方法时适用，但在重写超类型方法时也适用。

以以下为例

class Bar extends Foo {
    public Bar() {
        doSomething(1, new HashMap<Number, String>());
    }
}

您会注意到它编译，即使HashMap

未从其超类或超接口继承的原始类型C的构造函数（§8.8）、实例方法（§8.4、§9.4）或非静态字段（§8.3）的类型是原始类型，对应于在与C相对应的泛型声明中删除其类型。

（请注意，在我们的例子中，C是Bar。）

尝试重写方法时也会发生同样的情况。试图覆盖Foo doSomething（..）时方法，您的Bar类实际上看到它被声明为

public void doSomething(Number n, Map comps) {
}

换句话说，类型参数的每次使用都会被删除。因此，尝试声明该方法

public void doSomething(Number n, Map<String, JComponent> comps) {
}

在子类型Bar中，实际上是尝试重载，而不是覆盖。这会因为类型擦除而失败。您可以使用@Overder验证正确的覆盖是

public void doSomething(Number n, Map comps) {
}

进一步阅读：

• 什么是原始类型？为什么我们不应该使用它