Почему интерфейс Java не может быть реализован менее специфичной функцией

Question

Почему я не могу сделать это в Java:

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

Разве Subclass.add уже не реализовал бы Context.add, поскольку add (Object) может выполнить все, что может добавить (Integer)?

Какой хороший способ обойти это?

Прямо сейчас я делаю некрасивый способ:

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

РЕДАКТИРОВАТЬ: это не дубликат вышеупомянутого вопроса.В данном вопросе суперкласс является тем, который имеет более общий «Объект» в качестве параметра, в то время как подкласс является более конкретным.Это не работает, так как более конкретный метод может не справиться с любым объектом.В моем вопросе подкласс менее специфичен, чем суперкласс, то есть подкласс всегда способен обрабатывать все, что требуется суперклассу.

Answer 1

Это происходит потому, что компилятору Java требуется, чтобы подписи переопределяющих методов были «подписями» переопределенного метода.То есть, либо типы параметров идентичны, либо стирание типов параметров идентично.

JLS, раздел 8.4.8.1 , утверждает это следующим образом:

Метод экземпляра m _C , объявленный или унаследованный классом C, переопределяет из C другой метод m _I , объявленный в интерфейсе I, если все из следующегоистинны:

...

• Подпись m _C является подписью (§8.4.2) подписим _I .

Раздел 8.4.2 :

Подпись метода m ₁ - это подпись метода m ₂ , если либо:

• m ₂ имеет такую ​​же подпись, что иm ₁ или

• подпись m ₁ совпадает с удалением (§4.6) подписи m ₂ .

Вы можете обойти это, объявивВызовите параметр универсального типа, как показывает другой ответ, хотя неясно, исходная цель интерфейса - взять Integer или просто какой-то определенный, но еще неизвестный тип.

Answer 2

Вы можете попробовать дженерики:

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

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