如何使接口扩展与通用参数兼容？

Question

跟进这个问题 ，但我会尽力使它成为独立的。

假设我有一个名为Animal的接口，由于各种原因，该接口具有一个表示实现类的通用类型参数：

public interface Animal<A extends Animal<A>>

我还有一个子接口Dinosaur ，其行为方式相同：

public interface Dinosaur<D extends Dinosaur<D>> extends Animal<D>

现在我有一个实现Animal Lizard类：

public class Lizard implements Animal<Lizard>

还有一个实现了Dinosaur的子类Trex ：

public class Trex extends Lizard implements Dinosaur<Trex>

这四个声明现在产生一个错误。 这是因为Trex类两次实现了Animal接口，但是具有不同的类型参数：由于它扩展了Lizard ，因此实现了接口Animal<Lizard> ，并且由于实现了Dinosaur<Trex> ，因此实现了Animal<Trex> 。

即使Trex是Lizard的子类， Animal<Trex>也不是Animal<Lizard>的子接口，因此我们会遇到编译器错误。

我确定使用通配符可以解决此问题，但是我无法弄清楚它是什么。

您可以编译以下内容以获得相同的错误：

public class InterfaceTest
{
  private interface Animal<A extends Animal<A>> {}

  private interface Dinosaur<D extends Dinosaur<D>> extends Animal<D> {}

  private class Lizard implements Animal<Lizard> {}

  private class Trex extends Lizard implements Dinosaur<Trex> {}
}

Answer 1

这是因为Trex类两次实现了接口Animal，但是具有不同的类型参数

是的，确实是这种情况，并且无法直接解决-这是一个技术限制，因为泛型是使用擦除来实现的。 您永远不能在具有不同通用参数的多个类上实现同一接口。 当泛型类型被删除时，您将最终以相同的方式扩展两个接口，无法区分使用这些不同泛型类型的方法，因此运行时也无法确定执行哪种方法。

对于您的特定用例，可能有一种解决方法，这意味着您不必使用不同的类型参数来实现相同的接口，但是如果没有更多细节，就无法说出可能的含义。

编辑：查看链接的问题，看起来您可以通过使用以这种方式指定返回值而不是在类中声明返回值的另一个答案（您尚未接受的答案）来解决此问题：

public <T extends JNumber> T add(T addend);

然后，这应该意味着您不需要在类和接口上声明泛型类型参数，因此也就不会出现此问题。