Столкнулся с непониманием между мной и явой в вопросе вывода типа. А именно: не могу написать метод, возвращающий не просто коллекцию, а конкретного потомка коллекции.
public static <T, L extends Collection<T>> L genList(){
return (L)new ArrayList<T>();
}
По задумке, этот метод вернет потомка Collection, причем все методы потомка будут доступны. На практике, этот код вообще не работает, пока не кастанешь в L. А если кастанешь - распрощаешься с методами потомка. Как же так, если по-идее ArrayList является потомком Collection?
На код выше меня сподвиг рабочий код:
public static <T, L extends Collection<T>> L getCollection(L list, T t1, T t2, T t3){
list.add(t1);
list.add(t2);
list.add(t3);
return list;
}
Смысл этого кода в том же - получить объект, с которым можно работать, как с коллекцией. А на выходе получить этот же объект с сохранением типа.
Почему этот код работает, а код выше - нет? Не пойму.
Ну и на закуску очень странный для меня код шреденгера, который работает и не работает одновременно.
public static <T, L extends Collection<T>> L genCollection(Supplier<L> gen, T t1, T t2, T t3){
L list = gen.get();
list.add(t1);
list.add(t2);
list.add(t3);
return list;
}
Отличие от предыдущего кода в том, что мы на вход подаем не коллекцию, а лямбду, возвращающую коллекцию. И, в зависимости от того, что мы туда передадим, у нас код будет возвращать как конкретный тип, так и обобщенный.
Возьмем к примеру, следующий тип:
public class ItWorks<T> extends ArrayList<T> {
public void itWorks(){
System.out.println("It works!");
}
}
И применим к нему методы:
getCollection(new ItWorks<>(), 1,2,3).itWorks();
genCollection(ItWorks::new,1,2,3);
genCollection(() -> new ItWorks<>(),1,2,3).itWorks();
Первый и третий методы возвращают сам тип, а второй - обобщенную коллекцию. Что не так?