Java - 衝突的接口類型參數

Question

我正在研究涉及從字符串/流中讀取結構的項目。 作爲我設計的一部分，我試圖創建這些方針的東西：

• public class Thing;
• public class SpecialThing extends Thing;
• public class ShinyThing extends Thing;
• public abstract class ThingDeserialiser implements Iterable<Thing>;
• public abstract class GenericThingDeserialiser<T extends Thing> extends ThingDeserialiser implements Iterable<T>;
• public class SpecialThingDeserialiser extends GenericThingDeserialiser<SpecialThing>;
• public class ShinyThingDeserialiser extends GenericThingDeserialiser<ShinyThing>;

但是我得到GenericThingDeserialiser錯誤，因爲有

• ThingDeserialiser實施Iterable<Thing>和
• GenericThingDeserialiser試圖實現Iterable<T>之間的衝突。

我能夠在C#中創建像這樣的設置，爲什麼我無法在Java中做到這一點？

有沒有辦法解決這個問題？

---

我也認爲，希望ShinyThingDeserialiser和SpecialThingDeserialiser可能都被強制轉換爲GenericThingDeserialiser<Thing>去除ThingDeserialiser，但預計這不會工作。

我有另一個涉及接口的想法，但我想在繼續之前停下來尋求建議。

如果不明顯，總體思路是基於合理的微不足道的模式從字符串/流中檢索Thing對象。

Answer 1

我肯定會建議刪除ThingDeserialiser。你說你想將ShinyThingDeserialiser和SpecialThingDeserializer投射到GenericThingDeserialiser < Thing>，但那不行。你應該可以將它們投射到GenericThingDeserialiser <？延伸Thing>。這有幫助嗎？

Answer 2

我能夠在C＃中創建這樣的設置，爲什麼我無法在Java中執行此操作？

因爲Java中的泛型不是協變的。

也就是說，即使你有類型A和B和B擴展A，類Foo<B>不會是Foo<A>一個亞型。由於類型擦除，在運行時，兩者都將是Foo。

正如已經暗示的那樣，您應該在這裏擺脫ThingDeserialiser，並且僅僅使用GenericThingDeserializer<T extends Thing> implements Iterable<T>。然後，您可以創建，例如，MyThingDeserialiser implements GenericThingDeserialiser<MyThing>。