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中文网其他相关文章!