Java泛型?superInteger为何不能直接赋给Number？

本文探讨Java泛型中`? super Integer`类型通配符的用法及限制，解答为什么`Pair`类型的变量不能直接赋值给`Number`类型变量的问题。`? super Integer`表示上限通配符，它可以是Integer或其任何超类，但编译器在编译阶段无法确定其具体类型，只能视为`Pair>`。为了保证类型安全，编译器禁止将`Pair super Integer>`直接赋值给`Number`类型，即使运行时实际类型为`Pair`，避免潜在的类型转换错误。 理解`? super Integer`的含义以及编译器对类型安全的严格检查，是正确使用Java泛型的关键。

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