Я расширяю класс, определенный в библиотеке, которую я не могу изменить:
public class Parent
{
public void init(Map properties) { ... }
}
Если я определяю класс "Ребенок", который расширяет Parent, и я использую Java 6 с generics, как лучше всего переопределить метод init без получения предупреждений без предупреждения?
public class Child extends Parent
{
// warning: Map is a raw type. References to generic type Map<K,V> should be parameterized
public void init(Map properties) { }
}
Если я добавлю общие параметры, я получаю:
// error: The method init(Map<Object,Object>) of type Child has the same erasure as init(Map) of type Parent but does not override it
public void init(Map<Object,Object>) { ... }
// same error
public void init(Map<? extends Object,? extends Object>) { ... }
// same error
public void init(Map<?,?>) { ... }
Эта ошибка возникает независимо от того, используется ли я конкретный тип, ограниченный шаблон или неограниченный шаблон. Есть ли правильный или идиоматический способ переопределить неосновный метод без предупреждений и без использования @SuppressWarnings ( "unchecked" )?
Да, вы должны объявить переопределяющий метод с той же сигнатурой, что и в родительском классе, без добавления информации о генериках.
Я считаю, что лучше всего добавить аннотацию @SuppressWarnings("unchecked") к параметру raw-type, а не к методу, поэтому вы не будете подавлять другие предупреждения генераторов, которые могут иметься в вашем собственном коде.
Короткий ответ: нет способа сделать это.
Неудовлетворительный ответ: отключите (конкретные) предупреждения в IDE/build.xml.
Если вы не можете изменить библиотеку, увы, вы должны придерживаться не общих методов.
Проблема заключается в том, что, несмотря на стирание типа, как init() имеют одну и ту же подпись, они могут быть разными способами - или одинаковыми (*). Компилятор не может сказать, должен ли он переопределять или перегружать, поэтому он запрещен.
(*) Предположим, что разработчик библиотеки означал init (Map < String, Integer > ). Теперь вы выполняете init (Map < String, String > ). Это перегрузка, и в vtable класса Child должны существовать два метода.
Но что, если разработчик библиотеки имел в виду init (Map < String, String > )? Затем он переопределяет, и ваш метод должен заменить оригинальный init в классе Child, и в vtable Child будет только один метод.
P.S. Я ненавижу, как Generics реализованы в Java: - (
Я думаю, что выше ответ должен был сказать @SuppressWarnings ( "rawtypes" ) вместо этого.
Вы должны объявить метод с той же сигнатурой, что и родительский, и поэтому при компиляции вы получите предупреждения. Вы можете подавить их с помощью @SuppressWarnings ( "unchecked" )
Причина, по которой невозможно избавиться от этого, заключается в том, что предупреждения содержат информацию о возможности создания в них коллекций с недопустимыми типами. Предупреждения должны уходить только тогда, когда весь код, который может позволить, был удален. Поскольку вы наследуете от не-универсального класса, всегда можно создать коллекцию с недопустимым содержимым.