Java泛型錯誤理解

Question

爲什麼通用T不能用作返回類型class如果T extends Class。

例子：

public class Foo<T extends Bar> { 
    Bar[] array = new Bar[200]; 

    Optional<T> forIndex(int index) { 
     return Optional.ofNullable(array[index]); 
    } 
} 

T需要延長Bar這意味着T不應該有一個鑄造的問題，還是我弄錯呢？有人能詳細說明嗎？

Answer 1

你弄錯了。每個T是Bar，但不是每個Bar都是T。 T比Bar更專門（每隻達克斯獵犬是一隻狗，但不是每隻狗都是達克斯獵犬）。這意味着，return Optional.ofNullable(array[index]);嘗試匹配Bar上的T，這是不可能的。

你可以做的是使只有方法通用：

public class Main { 
    Bar[] array = new Bar[200]; 

    Optional<? super Bar> forIndex(int index) { 
     return Optional.ofNullable(array[index]); 
    } 
} 

你可能想看看this wiki-page和谷歌搜索PECS也會有所幫助。