Java通用返回類型問題

Question

我在下面的Java代碼中遇到了一個非常奇怪的編譯錯誤。

我有具有通用返回類型的API一個簡單的界面：

public interface AttributeGenerator { 

    <T> T generateAttribute(Record record); 
} 

我可以寫一個實現，這在一個晴朗的編譯：

public class StringAttributeGenerator implements AttributeGenerator { 

    @Override 
    public String generateAttribute(Record record) { 
      return "Test"; 
    } 
} 

現在，讓我們說，我再添參數到上述接口。

public interface AttributeGenerator { 

    <T> T generateAttribute(Record record, Set<Integer> indices); 
} 

我提供了另一種實現方式爲：

public class StringAttributeGenerator implements AttributeGenerator { 

    @Override 
    public String generateAttribute(Record record, Set<Integer> indices) { 
     return "Test"; 
    } 

} 

的編譯失敗，編譯器抱怨：

該方法不從其超覆蓋。

我不明白爲什麼編譯器不能編譯第二個實例，如果不是，我想了解爲什麼Java不能爲用戶提供編寫這樣的代碼的工具。

Answer 1

AFAIK問題是，在第一種情況下，您確實禁用了泛型。這將導致T在這種情況下被強制爲Object，並且由於返回類型協方差返回String沒有問題。不過，這應該會產生一個警告，因爲你基本上迫使編譯器忽略泛型，並使用「傳統」的方式，直接編寫Object generateAttribute(Record record)。

在第二種情況下，如果您按照上述方式禁用泛型，則簽名將看起來像generateAttribute(Record record, Set indices)，其中第二個參數等於Set<Object>，因此簽名不再匹配。

另請注意，儘管您的第一個代碼段可以編譯，但您可能會遇到運行時問題，例如，如果你做了這樣的事情：

AttributeGenerator unknownGenerator = new StringAttributeGenerator(); 

//You'd get a string and the system would try to cast to Integer, which clearly will fail 
Integer iWontCompile = unknownGenerator.generateAttribute(someRecord); 

你可以做的是在界面，例如定義T像這樣：

public interface AttributeGenerator<T> { 
    T generateAttribute(Record record, Set<Integer> indices); 
} 

public class StringAttributeGenerator implements AttributeGenerator<String> { 
@Override 
    public String generateAttribute(Record record, Set<Integer> indices) { 
    return "Test"; 
    } 
}