Тип стирания предотвращает перегрузку, но позволяет переопределять

Question

Может ли кто-нибудь объяснить мне, почему это запрещено на Java? У меня есть эти три файла (разделенные и упрощенные для StackExchange):

Суперкласс в моем случае для общих графиков. Параметр type указывает, как представлены дуги: либо с определенным классом дуги, либо с помощью целых чисел, указывающих уникальные идентификаторы.

public interface Base<A> { 
    public boolean removeArc(A arc); 
} 

Подкласс, имеющий конкретную реализацию для дуги.

public interface Sub<B> extends Base<Arc<B>> { 
    @Override 
    public boolean removeArc(Arc<B> arc); 

    public Arc<B> removeArc(B value); //Removes an arc with this specific value. 
} 

Реализация дуги.

public interface Arc<B> { 
} 

Netbeans дает мне следующие ошибки времени компиляции в Sub. В @Override:

name clash: removeArc(Arc<B>) in Sub overrides a method whose erasure is the same as another method, yet neither overrides the other 
    first method: removeArc(B) in Sub 
    second method: removeArc(A) in Base 
    where B,A are type-variables: 
    B extends Object declared in interface Sub 
    A extends Object declared in interface Base 

На втором методе:

name clash: removeArc(B) in Sub and removeArc(A) in Base have the same erasure, yet neither overrides the other 
    where B,A are type-variables: 
    B extends Object declared in interface Sub 
    A extends Object declared in interface Base 

Проблема, кажется, что removeArc(Arc<B>) и removeArc(B) имеют один и тот же стиранию, но я не вижу, почему это происходит. Удаление removeArc(Arc<B>) компилируется в порядке, без предупреждения о @Override, поэтому он должен понимать, что Arc<B> равно A в Base.

Почему Java не может отличить Arc<B> и B в этом случае?

Answer 1

Компилятор удаляет общие классы во время компиляции. Он заменит владельца места его ограниченным классом.

В этом случае Base заменит любой экземпляр A с Object и Sub заменит любой экземпляр B с Object.

это дает конфликтующих Методы

в Базе public boolean removeArc(Object arc);

и в Суб public Arc removeArc(Object value);

однако если вы сделали

public interface Base<A extends Arc<?>> { 
    public boolean removeArc(A arc); 
} 

тогда экземпляры A будут заменены Arc и сигнатуры метода больше не будут конфликтовать.