Java泛型中的? super Integer通配符：为什么不能直接赋值给Number？

Java泛型中的类型通配符：深入理解? super Integer

Java泛型是一个强大的特性，但其类型通配符的使用常常令人困惑。本文将针对一个具体的例子，深入探讨? super Integer类型通配符的含义及其在赋值中的限制。

问题描述如下：一段代码中，param 的实际类型是 Pair，但尝试将其赋值给一个类型为 number 的变量时，编译器却报错。 代码中使用了? super Integer 作为泛型参数，有人认为既然param 的实际类型已知是 Pair，那为什么不能赋值给 Number 呢？ 疑惑的焦点在于? super Integer的含义以及编译器是如何处理这种类型的。

让我们分析一下? super Integer的含义。 ? super Integer 表示一种上限通配符，它可以代表 Integer 本身，也可以代表 Integer 的任何超类型，例如 Number、Object 等。 关键在于，编译器在编译时并不能完全确定? super Integer的具体类型。虽然在运行时，param 的实际类型是 Pair，但在编译时，编译器只能知道它是一个 Pair>，其中? 可以是 Integer 或其任何超类型。

因此，即使运行时param 是 Pair，编译器仍然无法保证? super Integer 一定就是 Number。 它可能仍然是 Object，而 Pair

立即学习“Java免费学习笔记（深入）”；

以上就是Java泛型中的? super Integer通配符：