泛型通配符怎么用

在 Java 里，**泛型通配符（wildcard）**主要解决的是：

“泛型类型不确定，但又想安全地使用它” 的问题。

通配符只有三种：?、? extends T、? super T。
下面用通俗解释 + 代码说明怎么用。

一、?：无界通配符（Unbounded Wildcard）

含义

我不知道也不关心具体是什么类型，只要是一个泛型就行。

常见使用场景

• 只读取，不关心具体类型
• 方法参数只做“通用处理”

示例

void printList(List<?> list) {
    for (Object o : list) {
        System.out.println(o);
    }
}

✅ 可以接收：

List<String>
List<Integer>
List<Double>

❌ 不能往里加元素（除了 null）：

list.add("abc"); // 编译错误

原因：编译器不知道 ? 到底是什么类型。

二、? extends T：上界通配符（Upper Bounded）

含义

类型是 T 或 T 的子类

典型场景：只读（Producer）

示例

void printNumbers(List<? extends Number> list) {
    for (Number n : list) {
        System.out.println(n);
    }
}

✅ 可以接收：

List<Integer>
List<Double>
List<Number>

❌ 不能添加元素：

list.add(1); // 编译错误

原因：
? extends Number 可能是 List<Integer>，也可能是 List<Double>，
加 Integer 不安全。

✅ 适合读取，不适合写入

三、? super T：下界通配符（Lower Bounded）

含义

类型是 T 或 T 的父类

典型场景：只写（Consumer）

示例

void addNumbers(List<? super Integer> list) {
    list.add(1);
    list.add(2);
}

✅ 可以接收：

List<Integer>
List<Number>
List<Object>

❌ 读取时只能当 Object：

Object o = list.get(0); // 只能这样

原因：
编译器只知道下限是 Integer，但不知道具体是什么父类。

✅ 适合写入，不适合读取

四、PECS 原则（重点，面试常考）

Producer → Extends，Consumer → Super

经典例子（Collections.copy）

public static <T> void copy(
    List<? super T> dest,
    List<? extends T> src
) {
    for (int i = 0; i < src.size(); i++) {
        dest.set(i, src.get(i));
    }
}

• src：生产者 → extends
• dest：消费者 → super

五、通配符 vs 泛型方法

什么时候用通配符？

✅ 如果只是使用泛型，不关心类型参数

void print(List<?> list)

什么时候用泛型方法？

✅ 需要返回具体类型或类型之间有约束

<T> T getFirst(List<T> list) {
    return list.get(0);
}

六、一句话总结

• ?：啥都行，只能读
• ? extends T：只读（生产者）
• ? super T：只写（消费者）
• PECS 原则是核心

如果你愿意，我可以：

• 用 集合 / 真实业务例子再讲一遍
• 或帮你答 Java 泛型面试题