Iterator 是典型的生产者，因其仅通过 next() 向外产出元素且无写入方法，故适用 PECS 的 “Producer Extends” 原则，应使用 Iterator<? extends E> 实现安全协变读取。
Java 中 Iterator 的读取行为天然契合 PECS 原则里的 Producer Extends，即协变设计。
为什么 Iterator 是典型的生产者（Producer）
Iterator<E> 的核心职责是向外提供元素——只暴露 next() 和 hasNext()，不接收外部数据写入。它不修改被遍历的集合，也不接受新元素注入，纯粹“产出”已存在的元素。这种单向输出语义，正是 PECS 中 “Producer” 的定义。
- 调用
next()得到一个E类型实例 → 向外“生产”类型为E的对象 - 没有类似
add(E)或set(E)的写方法（remove()操作的是原集合，不是向迭代器写入） - 因此，当泛型参数用于“只读产出”场景时，应倾向使用上界通配符
? extends E
协变体现在泛型通配符的实际应用中
假设你有一个方法，只需遍历任意水果子类的集合（如 List<Apple> 或 List<Banana>），并统一按 Fruit 处理：
- 正确写法：
void processFruits(Iterator<? extends Fruit> iter) - 这样能安全接收
new ArrayList<Apple>().iterator()或new ArrayList<Banana>().iterator() - 每次调用
iter.next()返回的是Fruit或其子类实例，可直接赋值给Fruit变量，无需强转 - 而
Iterator<Fruit>无法接收Apple迭代器，因为泛型类型不具备继承关系（非协变）
与集合本身协变性的区别
注意：Iterator 接口自身并未声明为协变（Java 不支持泛型接口的声明时协变，如 interface Iterator<+E>），但它的使用方式通过 ? extends 实现了逻辑上的协变效果：
立即学习“Java免费学习笔记（深入）”；
- 数组是天然协变的：
String[]可赋给Object[] - 泛型集合默认不变：
List<String>≠List<Object> - 而
Iterator<? extends Object>可接收任何Iterator<T>（只要T是Object子类），这就是 PECS 在读取端补足协变能力的关键机制
对比 Consumer 场景更能看清差异
如果换成写入操作（比如自定义批量填充方法），就需要 ? super：
-
void fill(Iterator<? super Apple> iter, List<Apple> apples)—— 表示这个迭代器能接收Apple或其父类（如Fruit、Object） - 但标准
Iterator接口没有写入方法，所以它本身不适用super；只有像Collection.add()这类消费者行为才用? super - 这也反向印证：Iterator 就是为读而生，PECS 在这里只走
extends这一条路
