为什么我们不能在 Java 泛型中使用'implements”作为类型参数界限？

Java 泛型中的超类型绑定差异

在 Java 中，在定义类型参数的边界时，您可能已经注意到“extends”的存在但不是“实施”。这种差异激发了我们理解为什么会出现这种情况的好奇心。

为什么没有“实现 T”？

与“扩展”不同，“扩展”表示超类型关系，其中子类共享相同的接口，“实现”表示类实现接口指定的方法的实现关系。这种区别在编译过程中变得很明显。

考虑下面的示例：

<code class="java">interface C {}
class A<b extends c> {} // Allowed
class A<b implements c> {} // Not allowed</b></b></code>

在第一个示例中，类型参数 B 使用“扩展”由类 C 界定。这允许 B 等于 C 或 C 的子类。在第二个示例中，使用“implements”，它只允许 B 是实现 C 的接口。但是，类型参数不能指定实现接口。

“扩展 T”的原因

Java 的泛型约束语言侧重于超类型关系。 “extends”允许您将类型参数限制为特定的超类或接口，确保该类型始终可分配给该超类型。这维护了 Java 中的类型安全和继承原则。

另一方面，“implements”不适合这种范式，因为它定义的是实现关系而不是超类型关系。因此，“extends”是定义类型参数边界的首选且唯一的选项。

以上是为什么我们不能在 Java 泛型中使用'implements”作为类型参数界限？的详细内容。更多信息请关注PHP中文网其他相关文章！