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>。