为什么这个覆盖方法声明会产生编译错误？ [复制]

Question

以下代码：

class Parent {
    public void method(List parameter){
    }
}

class Child extends Parent {

    public void method(List<String> parameter) {
    }
}

编译失败，出现以下错误：

Parent.java:12: error: name *: method(List<String>) in Child and method(List) in Parent have the same erasure, yet neither overrides the other
    public void method(List<String> parameter) {
                ^
1 error

但我正在检查第 8.4.8.1 节中的 JLS8 是否说：

在类 C 中声明或继承的实例方法 mC，覆盖 来自 C 类 A 中声明的另一个方法 mA，当且仅当满足以下所有条件时 是真的：

...

mC 的签名是 mA的签名。

...

在 §8.4.2 中它说：

如果满足以下任一条件，方法 m1 的签名是方法 m2 签名的子签名：

...

m1 的签名与 m2 签名的擦除（第 4.6 节）相同。

在这种情况下，原始方法声明和覆盖方法声明都具有相同的擦除，那么为什么编译会失败？

Answer 1

因为，在类型擦除之后，只有List（如果你愿意，List<Object>）。我想你想要一个通用的Parent 喜欢

class Parent<T> {
    public void method(List<T> parameter){
    }
}

class Child extends Parent<String> {
    public void method(List<String> parameter) {
    }
}

Answer 2

在这种情况下，原始方法声明和覆盖方法声明都具有相同的擦除，那么为什么编译会失败？

同样的擦除是不够的。再看看你引用的 JLS 部分：

方法 m1 的签名是 a 的签名的子签名 方法 m2，如果：

...

m1 的签名与签名的擦除（§4.6）相同 平方米。

这并不是说擦除必须相等。也就是说m1的签名必须是m2的签名的擦除。我们不会在这里删除 m1 的签名。