Java泛型擴展仍然會生成未經檢查的轉換警告

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，但它適合你的代碼。