通配符（?）与类型参数（T）的差异及适用场景详解，兼释类定义与泛型方法中语法有效性差异的原因

咱们把泛型里这几个容易搞混的点拆解清楚——先从本质上区分通配符（?）和类型参数（比如T），再逐个分析你给出的代码为啥合法或非法。

一、本质区别：有名占位符 vs 匿名占位符 #

泛型里的这俩东西，核心差异在于是否有可复用的“名字”：

• 类型参数（T、E等）是「有名的类型占位符」：你给某个未知类型起了个名字，在整个类/方法的作用域里可以反复引用它。比如定义class Employee<T extends Number>后，你可以在类里写private T salary;或者public T getSalary()——因为T是一个明确的（虽然编译时还不确定具体类型）变量，能被直接使用。
• 通配符（?）是「匿名的类型占位符」：它只表示“某个属于特定范围的未知类型”，但你没法给它赋值、也没法用它定义变量（比如你不能写? x = new Integer(10)）。它的唯一作用是缩小或扩大泛型的兼容范围，没法被直接复用。

二、适用场景对比 #

用类型参数（T）的情况 #

• 当你需要在类/方法的多个地方复用同一个未知类型时：比如ArrayList<E>里的E，在add(E e)和E get(int index)里都被用到，保证了存入和取出的类型一致；再比如泛型方法<T> T getFirst(List<T> list)，输入的List类型和返回值类型绑定为同一个T。
• 当你需要对类型加约束，同时还要在代码里引用这个约束后的类型时：比如T extends Number，既限定了T必须是数字类型，又能在方法里用T作为参数/返回值类型。

用通配符（?）的情况 #

• 只读场景（上界通配符? extends X）：比如写一个打印所有数字的方法printNumbers(List<? extends Number> nums)，你可以安全取出Number类型的元素，但不能往列表里加元素（除了null），避免类型不安全。
• 只写场景（下界通配符? super X）：比如写一个往列表里加整数的方法addIntegers(List<? super Integer> list)，你可以往里加Integer或其子类，但取出的元素只能按Object处理，保证写入的类型安全。
• 不需要复用未知类型，只想让方法兼容更多泛型类型时：通配符能让方法接收更广泛的参数类型，不用为每个可能的类型都写重载方法。

三、逐个解析代码的语法合法性 #

咱们对着你给出的代码片段逐一分析：

1. class Employee<T extends Number> { // valid } #

✅ 合法：这里的T是泛型类的类型参数，泛型类的定义必须用有名字的类型参数——因为类作为可复用的模板，需要在内部引用这个泛型类型（比如定义成员变量、方法）。T extends Number是给类型参数加的上界约束，完全符合Java泛型语法。

2. class Employee<? extends Number> { // invalid } #

❌ 非法：泛型类不能用通配符作为类型参数。通配符是匿名的，你没法在类内部定义任何和这个泛型类型相关的成员或方法——比如你总不能写private? salary;吧？这样的泛型类没有实际使用价值，Java编译器直接禁止这种写法。

3. private static void test(List<? super Number> list1) { // valid } #

✅ 合法：这里的? super Number是方法参数中的通配符下界。在方法参数里用通配符是完全允许的，因为我们不需要在方法内部引用这个通配符的具体类型——只需要知道list1可以接收List<Number>、List<Object>这类容器，并且能安全往里面添加Number或其子类元素。通配符在这里的作用是扩大方法的适用范围，语法没问题。

4. private static <T>void test(List<T super Number> list1) { // invalid } #

❌ 非法：类型参数的约束只能用extends（上界），不能用super（下界）。Java语法规定，定义类型参数（比如<T>）时，只能指定上界（T extends X），不能指定下界。因为类型参数是要被复用的变量，下界约束对它来说没有实际意义——如果允许T super Number，T可以是Number、Object等，但你没法在代码中确定T的具体范围，也没法保证编译时的类型安全。而通配符的? super X是允许的，因为它不需要被复用，只是用来限定容器的类型范围。

内容的提问来源于stack exchange，提问作者user4811324