Java 泛型进阶：通配符 <?>、<? extends T> 与 <? super T> 的实战抉择指南

引言

Java 泛型通配符是提升代码灵活性与安全性的关键工具，但不当使用易引发编译错误或设计缺陷。本文将深入解析三种核心通配符的适用场景，结合实战案例揭示其设计哲学与抉择逻辑。

---

一、无界通配符 <?>：只读操作的万能钥匙

本质：接受任意泛型类型，但放弃写入权限。
适用场景：

1. 纯读取操作（如打印集合内容）
2. 不依赖具体类型的工具方法

// 打印任意类型集合
void printCollection(Collection<?> c) {
    for (Object o : c) System.out.println(o);
}

限制：

• 只能添加 null（唯一类型安全值）
• 读取元素需转为 Object

---

二、上界通配符 <? extends T>：安全的生产者模式

本质：限定为 T 或其子类，保障输出类型安全。
适用场景：

1. 从容器获取数据（生产者）
2. 保持集合元素的类型约束

// 合并数字集合（Integer/Double等）
double sum(List<? extends Number> nums) {
    return nums.stream().mapToDouble(Number::doubleValue).sum();
}

限制：

• 无法添加元素（除 null 外）
• 编译器无法验证具体子类型

---

三、下界通配符 <? super T>：灵活的消费者模式

本质：限定为 T 或其父类，支持安全写入。
适用场景：

1. 向容器添加数据（消费者）
2. 兼容多种子类型的回调接口

// 向目标集合批量添加元素
void addAll(List<? super Integer> dest, List<Integer> src) {
    dest.addAll(src);  // 安全写入Integer或其父类
}

限制：

• 读取时需显式转型（通常转为 Object）

---

四、实战抉择：PECS 原则

核心准则（Producer-Extends, Consumer-Super）：

• 若对象是生产者（提供数据），用 <? extends T>
• 若对象是消费者（接收数据），用 <? super T>

经典案例：java.util.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));
}

---

五、常见误区与避坑指南

1. 混淆边界：

   List<? extends Number> list = new ArrayList<Integer>();
   list.add(1);  // 编译错误！无法确认具体子类型
   

   正确做法：改用 <? super Integer> 写入。

2. 过度使用 <?>：
   无界通配符会丢失类型信息，优先使用具体边界。

3. 类型擦除影响：
   运行时无法获取通配符具体类型，需在编译期保证逻辑正确。

---

结语

通配符的本质是泛型类型关系的契约：

• <? extends T> 保证类型安全输出
• <? super T> 保证类型兼容输入
• <?> 提供最大兼容性但牺牲操作自由

掌握 PECS 原则，结合业务场景精准选择，可显著提升代码健壮性与扩展性。实际开发中，建议通过单元测试验证泛型边界行为，规避潜在运行时风险。

本文代码示例基于 Java 17 验证，遵循类型安全最佳实践。