Java 泛型\' super` 关键字如何与有界通配符一起使用，它有什么限制？

Java 泛型的 super 关键字：了解其用法和限制

泛型允许自定义数据类型，从而扩展了 Java 集合的功能，而无需牺牲类型安全。 super 关键字在这些泛型集合中起着至关重要的作用。

了解有界通配符

声明泛型集合时，super 关键字可以与有界通配符一起使用。这种类型的通配符允许集合保存特定类型或其超类型。例如：

List<? super Number> list = null;

此声明意味着列表可以包含 Number 对象或其任何超类，例如 Object。

向有界通配符集合添加元素

需要注意的是，向有界通配符集合添加元素遵循严格的类型安全规则。在上面的示例中：

• list.add(new Integer(0)) 有效，因为 Integer 扩展了 Number。
• list.add(new Object()) 无效，因为 Object不是 Number 的子类型。

测试 Super 的极限通配符

与预期相反，以下代码将无法编译：

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); // Compile error
}

虽然 String 是 Object 的子类型，并且 Object 是 Number 的超类型，但此代码仍然失败来编译。原因是通配符捕获了特定类型 Number（如 List super Number> 中定义）及其超类型，其中不包括 String。

为什么 Java 允许 但不是

Java 不允许使用下限通配符（例如 ）的原因是 Java 的类型系统。下界通配符允许创建可以包含给定类型的任何超类型的集合，这可能会导致不安全的转换和类型违规。

总之，Java 泛型中的 super 关键字允许创建泛型可以保存特定类型或其超类型的对象的集合。了解与有界通配符相关的类型安全限制对于确保 Java 代码的有效性和正确性非常重要。

以上是Java 泛型\' super` 关键字如何与有界通配符一起使用，它有什么限制？的详细内容。更多信息请关注PHP中文网其他相关文章！