Java Generic Тип возвращаемого файла Проблема

Question

Я получаю очень странную ошибку компиляции в приведенном ниже Java-коде.

У меня есть простой интерфейс, имеющий API с родовым типом возвращаемого значения:

public interface AttributeGenerator { 

    <T> T generateAttribute(Record record); 
} 

Я могу написать реализацию, и это одна отлично компилируется:

public class StringAttributeGenerator implements AttributeGenerator { 

    @Override 
    public String generateAttribute(Record record) { 
      return "Test"; 
    } 
} 

Теперь, позволяет сказать, я добавить еще параметр к указанному интерфейсу.

public interface AttributeGenerator { 

    <T> T generateAttribute(Record record, Set<Integer> indices); 
} 

И я обеспечиваю другую реализацию, как:

public class StringAttributeGenerator implements AttributeGenerator { 

    @Override 
    public String generateAttribute(Record record, Set<Integer> indices) { 
     return "Test"; 
    } 

} 

Компиляция терпит неудачу и жалобы компилятора, что:

Метод не отменяет из своего суперкласса.

Я не могу понять, почему компилятор не может скомпилировать второй экземпляр, и если это не так, я хотел бы понять, почему Java не может предоставить пользователю возможность написать такой код.

Answer 1

AFAIK Проблема заключается в том, что в первом случае вы фактически отключите генерики. Это приведет к тому, что T будет принуждено к Object в этом случае и в связи с возвратом типа covariace, возвращающим String, является штраф. Однако это должно вызывать предупреждение, поскольку вы в основном вынуждаете компилятор игнорировать дженерики и использовать «традиционный» способ, который был бы эквивалентен прямому написанию Object generateAttribute(Record record).

Во втором случае, если вы отключите генераторы таким образом, как я описал выше, подпись будет выглядеть как generateAttribute(Record record, Set indices), где второй параметр будет эквивалентен Set<Object> и, следовательно, подпись больше не соответствует.

Также обратите внимание, что, хотя ваш первый фрагмент будет скомпилирован, вы можете получить проблемы во время выполнения, например. если вы сделали что-то вроде этого:

AttributeGenerator unknownGenerator = new StringAttributeGenerator(); 

//You'd get a string and the system would try to cast to Integer, which clearly will fail 
Integer iWontCompile = unknownGenerator.generateAttribute(someRecord); 

Что вы можете сделать, это определить T в интерфейсе, например, как это:

public interface AttributeGenerator<T> { 
    T generateAttribute(Record record, Set<Integer> indices); 
} 

public class StringAttributeGenerator implements AttributeGenerator<String> { 
@Override 
    public String generateAttribute(Record record, Set<Integer> indices) { 
    return "Test"; 
    } 
}