为什么Java接口不能用不太具体的函数实现

Question

为什么我不能在Java中做到这一点：

interface Context{
    void add(Integer o);
}
class Subclass implements Context{
    @Override
    public void add(Object o){...}
}

不会是子类。add已经实现Context。add，因为它add（Object）可以执行add（Integer）可以执行的所有操作？

解决这个问题的好方法是什么？

现在我正在做一种丑陋的方式：

private void actuallyAdd(Object o){...}
public void add(Object o){actuallyAdd(o);}
public void add(Integer o){actuallyAdd(o);}

编辑：这不是上述问题的副本。在给定的问题中，超类是以更一般的“Object”作为参数的类，而子类则更具体。这不起作用，因为更具体的方法可能无法处理任何对象。在我的问题中，子类不如超类具体，这意味着子类总是能够处理超类所需的任何内容。

Answer 1

你可以试试泛型:

interface Context<T> {
    void add(T t);
}

class Subclass implements Context<Object> {
    @Override
    public void add(Object o){...}
}

Answer 2

这是因为Java编译器要求重写方法的签名是重写方法的“子签名”。也就是说，要么参数的类型相同，要么参数类型的擦除相同。

8.4.8.1 JLS分部对此声明如下:

在类C中声明或由类C继承的实例方法m_C，从C重写在接口I中声明的另一个方法m_I

…

< Li > m < sub > C 的签名是m _I的签名的子签名(8.4.2)。

第8.4.2节：

方法 m₁ 的签名是方法 m₂ 签名的子签名，如果出现以下任一情况：

> M

₂ 与 M₁ 具有相同的签名，或

m₁的签名与m₂的签名的擦除（§4.6）相同。

您可以通过声明一个泛型类型参数来解决这个问题，正如另一个答案所指出的那样，尽管不清楚接口的原始目的是采用Integer还是只是一些特定但未知的类型。