在 Java 的泛型中实现 vs 扩展答案

【问题标题】：implements vs extends in generics in Java在 Java 的泛型中实现 vs 扩展
【发布时间】：2012-06-13 20:57:17
【问题描述】：

谁能告诉我第一个和第二个代码之间的区别是什么？ MaxPQ 代表优先级队列，它是可以相互比较的“Key”对象的集合。

代码 1：

public class MaxPQ<Key extends Comparable<Key>>{
...
}

代码 2：

public class MaxPQ<Key implements Comparable<Key>>{
...
}

第二个代码无法编译，但我不直观为什么在使用泛型时我们需要扩展而不是实现接口。

【问题讨论】：

【解决方案1】：

区别很简单：第二个代码 sn-p 不会编译，也永远不会。对于泛型，您总是对类和接口使用extends。 super 关键字也可以在那里使用，但语义不同。

【讨论】：

@MarkX：不是真的，这就是泛型的设计和指定方式。简单吗？
@Mark 一个原因是：Key 本身可能是一个接口，然后即使 Comparable 是一个接口，它也会突然变成extends。因此，由于您无法在所有情况下都做到绝对正确，因此最好始终保持不一致。

【解决方案2】：

泛型中没有实现。第二个代码无效。你可能会混淆：

public class MaxPQ implements Comparable<Key> {
   ...
}

【讨论】：

【解决方案3】：

我假设决定对接口和类都使用extends，因为在泛型类声明的情况下，类型参数绑定到接口或类没有任何区别。

当然extends 的含义与其在类定义中的典型用法完全不同。 Angelika Langer 确实有关于 Java 中 extends 不同含义的精彩文字：Does "extends" always mean "inheritance"?

【讨论】：