'super”关键字如何影响 Java 泛型中的类型安全和使用？

Java 泛型：深入研究“Super”关键字

泛型允许开发人员通过引入类型参数来编写更灵活、可重用的代码。泛型的一方面是在类型边界中使用“super”关键字。

集合声明中的 Super

使用带“super”的有界通配符声明集合时'，如：

List<? super Number> list = null;

它指定集合可以保存类型为 Number 子类型的元素。然而，这并不意味着它可以容纳 Number 的任何超类型。在这种情况下，会观察到以下行为：

• list.add(new Integer(0)) 编译并正常工作。 Integer 是 Number 的子类型，因此可以将其添加到列表中。
• list.add(new Object()) 无法编译。 Object 是 Number 的超类型，但列表未声明为保存 Number 的超类型。

'Super' 关键字和类型安全

考虑以下内容code:

static void test(List<? super Number> param) {
  param.add(new Integer(2));
}

public static void main(String[] args) {
  List<String> sList = new ArrayList<String>();
  test(sList);
}

直观上，代码似乎应该编译，因为 String 也是 数字。但是，由于类型安全的原因，这是不允许的。 Java 强制执行类型安全以防止运行时错误。将 String 添加到声明为仅包含 Number 子类型的列表中会违反类型安全性。

为什么不使用 ''构造？

Java 不允许同时使用“super”和“extends”关键字进行类型限制，因为这会导致类型约束冲突并难以确保类型安全。例如，如果“”被允许，并且您声明了 List，则不清楚 'S' 是 'T' 的子类型还是超类型。

泛型中 'super' 的关键注意事项

• 带有 'super' 的有界通配符捕获指定的子类型类型。
• 类型安全规定添加到超级有界集合的元素必须是指定类型的子类型。
• 由于潜在类型，'super' 和 'extends' 不能在类型边界中组合违反安全规定。

以上是'super”关键字如何影响 Java 泛型中的类型安全和使用？的详细内容。更多信息请关注PHP中文网其他相关文章！