为什么我们不能在 Java 泛型中使用带有命名类型参数的“Super”关键字？

使用逆变“Super”关键字限制泛型

在 Java 泛型中，“super”关键字在建立子类型方面起着至关重要的作用类型参数。但是，它只能与通配符一起使用，而不能与命名类型参数一起使用。这提出了一个常见问题：为什么？

为什么不使用类型参数？

'super' 不能与类型参数一起使用的原因是这样的约束将是无法有效防止意外行为。 Object 是所有引用类型的终极超类，在实践中会使任何假设的“超级”界限变得毫无意义。

例如，考虑 Collection 接口中的以下假设方法：

<code class="java"><S super T> S[] toArray(S[] a);</code>

尝试声明这样的方法将在编译时失败。即使允许，也达不到预期的目的。由于所有引用类型数组都是对象数组，因此任何数组类型都可以用作参数，从而使“超级”绑定无效。

数组的后果

泛型和数组具有复杂的关系，命名类型参数缺乏“超级”界限反映了这一点。虽然将参数数组限制为仅具有参数化类型超类的参数数组似乎是可取的，但这对于数组来说是不可能的。

例如，“List”理论上，应该只接受 Integer[]、Number[] 或 Object[] 作为 'toArray' 的参数。但是，由于数组协变性，所有引用类型数组也是对象数组。因此，不是“Integer[]”子类的“String[]”仍然可以传递给“toArray”，可能会在运行时导致“ArrayStoreException”。

结论

最终，“super”关键字从 Java 泛型中的命名类型参数中排除是由于固有的泛型上下文中数组的局限性。通过禁止此类界限，Java 可以防止开发人员创建潜在的误导性约束，从而最终无法提供所需的安全保证。

以上是为什么我们不能在 Java 泛型中使用带有命名类型参数的“Super”关键字？的详细内容。更多信息请关注PHP中文网其他相关文章！