Параметр дополнительного типа позволяет избежать ошибочной ошибки переопределения?

Question

У меня есть интерфейс, как

public interface AnInterface { 
    Consumer<Object> getConsumer(); 
} 

И класс реализации как

public class AClass implements AnInterface { 
    @Override 
    public Consumer<String> getConsumer() { 
     return System.out::println; 
    } 
} 

это (правильно) не компилируется, поскольку Consumer<String> не распространяется Consumer<Object>.

Однако, если я изменить интерфейс, чтобы иметь дополнительный неиспользуемый параметр типа на getConsumer, ошибка исчезнет, ​​и он отлично компилируется:

<T> Consumer<Object> getConsumer(); 

Что здесь происходит ?!

Это происходит с javac в JDK 1.8 u20 и компилятором Eclipse в Luna.

Answer 1

Причина код компилируется, когда вы добавляете параметр типа <T>, является то, что в этом случае вы перекрывая сыройgetConsumer() метод , т.е. вы не переопределения параметра типа (<T>), но вы просто игнорируя это.

Стоит отметить, что при расширении сырых классов или верховные сырых методов, всей общей информация просто игнорируются, что означает, что в этом случае компилятор не будет проверять, если параметр типа методы замещения (<String>) совместим с параметром типа абстрактного метода (<Object>).

Если бы вы держали метод, как общий, он будет выглядеть так:

@Override 
public <T> Consumer<String> getConsumer() { 
    ... 
} 

, а затем компилятор исправит поднять ошибку во время компиляции.

Answer 2

вы должны написать так:

public interface AnInterface<T> { 
    Consumer<T> getConsumer(); 
} 

public class AClass implements AnInterface<String> { 
    @Override 
    public Consumer<String> getConsumer { 
     return System.out::println; 
    } 
}