为什么在类型参数边界中允许'扩展 T”但不允许'实现 T”？

为什么类型参数边界中允许“extends T”但不允许“implements T”？

在 Java 中，定义类型边界时参数，可以使用“extends T”但不能使用“implements T”。这看起来像是任意的区别，但它有一个根植于 Java 泛型实现的特定原因。

这种差异的原因在于继承和实现的语义。在Java中，一个类只能实现一个接口，但它可以扩展多个类。因此，在类型参数边界中使用“extends”可以更灵活地指定允许的类型。

示例：

考虑以下代码：

<code class="java">public interface C {}
public class A<B extends C> {}</code>

如果我们允许在类型参数边界中“实现”，则此代码将有效。然而，这会引发类 B 应该实现哪个接口的问题。由于在此上下文中不支持多个接口，因此会导致歧义。

另一方面，在边界中使用“extends”可确保类 B 必须是接口 C 的子类型。这是一个更通用的约束，不会引入任何歧义。

因此，通过限制接口类型参数边界中“extends”的使用，Java 确保了其泛型实现的一致性和清晰性。

以上是为什么在类型参数边界中允许'扩展 T”但不允许'实现 T”？的详细内容。更多信息请关注PHP中文网其他相关文章！