Java泛型擴展返回類型的方法

Question

看看這三個類。 Minatchi允許自己擴展，以便其方法的返回類型也可以擴展。爲了說明，我使用了一種靜態方法。

public class Minatchi<T extends Minatchi<?>>{ 

    static public <T extends Minatchi<?>> 
    List<T> listAll(){ 
     return 
     (List<T>) query(); 
    } 
} 

於是我繼承Minatchi到夫人

public class Lady 
extends Minatchi<Lady>{ 

} 

這是可疑的行爲發生。

public class HelloMinatchi{ 

    private void listA(){ 
    List<Lady> uvs = Lady.listAll(); 
    for (Lady uv: uvs){ 
     logger.info(uv.getName()); 
    } 
    } 

    private void listB(){ 
    for (Lady uv: Lady.listAll()){ 
     logger.info(uv.getName()); 
    } 
    } 
} 

方法listA和listB基本相同。 listA將列表放入中間變量uvs， 而列表B直接將listAll放入for-loop標頭。

但是，對於listB，編譯器抱怨無法將Minatchi <？>轉換爲Lady。

所以這個問題是關於Java泛型的設計完整性。還有另一種泛型抱怨。

這是一個故意的設計功能還是Java通用設計人員不知道如何解決的無意設計錯誤。如果有意爲之，他們爲什麼這樣做？如果有錯誤，他們是否打算解決它？

或者這是我個人的問題，我不知道更好的方式來聲明泛型？如果是這樣，告訴我如何。

（我使用的通用Minatchi類，因爲我已非靜態方法暴露於類擴展過，這是我在這個問題排除在外。）

Answer 1

靜態方法不接受類中的泛型類型定義。即listAll()方法不知道Lady（在extends Minatchi<Lady>中）。

它的返回類型由表達式的左側推斷：

• 在listA()左手側限定，它預計List<Lady>
• 在listB() foreach循環看起來也應該期望Lady，但似乎編譯器沒有正確指示forEach循環。

使listB()工作的方式是告訴它使用的泛型類型：

for (Lady uv : Lady.<Lady>listAll()) {..} 

Answer 2

你的問題是，你讓編譯器推斷通用參數給listAll方法，在第一種情況下，它推斷出你想要的，因爲你將結果存儲在一個變量中，並且它只能查看變量的類型。在第二它不能自動推斷出「正確」的類型，所以你需要自己指定：

for (Lady uv: Lady.<Lady>listAll()){ 
    logger.info(uv.getName()); 
} 

請注意，在這個例子中，我們沒有理由對Minatchi類是通用爲不完全影響靜態方法。

請注意，調用Lady.listAll與調用Minatchi.listAll完全相同（即，它不影響編譯器可以或將推斷爲通用參數的類型）。

Answer 3

不幸的是，我在另一個問題中提到：Why implicit type inference only works in an assignment?，在Java中的隱式類型推斷只能在分配中。

我還是不知道原因。儘管如此，它對我來說似乎仍然很愚蠢。

Answer 4

這是由於類型擦除而發生的。

從Java Generic tutorial

當一般類型被實例化， 編譯器通過 翻譯這些類型的技術稱爲類型擦除 - 一個 方法，其中，編譯器將刪除輸入參數 相關所有 信息和在類中輸入參數或 方法。

，因爲呼叫Lady.ListAll的原始類型Minatchi執行時，編譯器無法知道具體的類型是Minatchi使用

類型消除仿製藥，使泛型類型是兼容在將泛型添加到庫之前編譯Java庫。已經有一些努力來擁有reification added to Java，但它並不在Java 7的路線圖中。