Расширение Java Generics по-прежнему генерирует предупреждение без предупреждения

Question

Определяет отношение наследования параметризованных генерических типов недостаточно для обеспечения безопасности типа? Например:

public class ListCastFunction<F, T extends F> implements Function<F, T> { 
    public final T apply(final F from) { 
     return (T) from; 
    } 
} 

Это все еще генерирует предупреждение о компиляторе. Если мы знаем T extends F, разве это действительно не проверено?

Answer 1

Вы литья и F к T, но так как T extends F, вы явно понижающее приведение. Невозможно гарантировать, что F, указанный в методе, равен T. Предположим, что я делаю это, предполагая, что подразумеваемые родитель-потомок сделаны:

ListCastFunction<Animal, Mammal> lcf = new ListCastFunction<>; 
Mammal i = lcf.apply(new Fish()); 

Это нарушило бы при выполнении, так как Fish не Mammal, но он подходит для вашего кода.