首页  >  文章  >  Java  >  为什么我们不能在 Java 泛型中使用“implements”作为类型参数界限?

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

DDD
DDD原创
2024-11-02 03:40:30946浏览

Why Can't We Use

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

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

为什么没有“实现 T”?

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

考虑下面的示例:

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

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

“扩展 T”的原因

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

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

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

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn