为什么 Java 泛型中的“super”关键字仅限于通配符而不是类型参数？

泛型与 'super' 关键字绑定

有人可能想知道为什么 super 关键字只适用于通配符，而不适用于 Java 泛型中的类型参数。考虑 Collection 接口中的以下示例，其中 toArray 方法不是这样声明的：

interface Collection<T> {
    <S super T> S[] toArray(S[] a);
}

此语法将导致非法声明，要理解其原因，需要探索将 super 与命名一起使用的含义类型参数。

类型参数中 'super' 的限制

使用 super 绑定命名类型参数 () 将无法实现预期的效果。由于 Object 是所有引用类型的最终超类，因此任何引用类型数组都可以转换为 Object[]。这意味着即使使用假设的语法，以下代码仍然会编译并在运行时导致 ArrayStoreException：

List<Integer> integerList;
integerList.toArray(new String[0]);  // should be disallowed, but compiles

因此，不允许使用 super 与命名类型参数，以防止无法强制执行的错觉

泛型和数组：复杂的关系

另一个需要考虑的方面是泛型和数组之间的复杂交互。在 Java 中，数组的处理方式与其他集合类型不同，导致在强制类型安全方面受到限制。这解释了为什么泛型类型边界无法阻止给定示例中的 ArrayStoreException。

使用 'super' 进行非法边界的示例

为了进一步说明该问题，请考虑一种假设方法声明：

<T super Integer> void add(T number)  // hypothetical! currently illegal

使用此语法，人们可能期望它接受 Integer 和 Number 实例，但不接受 String。然而，由于 String 是 Object 的子类，而 Object 是 Integer 的超类，因此 add(aString) 仍然有可能编译，从而导致潜在的错误。

结论

总之，使用具有命名类型参数的 super 受到限制，以确保类型安全并防止无效假设。 Java 中的泛型和数组具有独特的特征，这些特征限制了使用 super 绑定类型参数的有效性。

以上是为什么 Java 泛型中的“super”关键字仅限于通配符而不是类型参数？的详细内容。更多信息请关注PHP中文网其他相关文章！