Guava的Multimap.putAll方法遵循PECS原则：values参数用Iterable<? extends V>，因其是生产者（只读取值）；key为普通K类型，因其是消费者（仅用于索引），不需? super K，确保语义清晰与类型安全。
Guava 的 Multimap.putAll 方法签名中体现的正是 PECS 原则的典型实践——它既不是简单地用 ? extends，也不是盲目用 ? super，而是根据“谁在读、谁在写”精确区分角色。
putAll 的签名揭示了双角色边界
以 ArrayListMultimap<k v></k> 为例，其 putAll 方法定义为：
public boolean putAll(K key, Iterable<? extends V> values)
注意这里的关键点：values 参数用的是 ? extends V，而不是 V 或 ? super V。原因很直接：这个参数是被 Multimap “读取”的——它要从中取出每一个元素，转而存入内部结构。所以 values 是一个生产者（Producer），遵循 PECS 中的 “Extends” 规则。
- 允许传入
Iterable<String>给Multimap<String, CharSequence>，因为String是CharSequence的子类型 - 禁止向该
Iterable写入（比如调用add()），编译器会报错——它只保证能安全地get()出V或其子类
key 参数为何不用通配符？
方法签名中 K key 是普通泛型参数，没用通配符，是因为 key 在此处是消费者（Consumer）角色：Multimap 要把它作为索引使用，不向外暴露、也不从中读取子类型信息。它不参与“类型生产”，也无需放宽输入范围，所以不需要 ? super K ——除非你设计的是更泛化的工具方法（如 putAll(Multimap<? super K, ? super V>, ...)），但 Guava 没这么做，保持了语义清晰和调用简洁。
立即学习“Java免费学习笔记（深入）”；
为什么不是 ? super V？
如果误用 Iterable<? super V>，意味着你打算往里面“塞” V 类型的值，但 putAll 的职责恰恰相反：它从传入的 Iterable 中“取”值。用 ? super V 会导致无法安全调用 iterator().next()（只能得到 Object），完全违背方法意图。这正是 PECS 的核心警示：混淆 producer/consumer 角色，类型系统就会立刻阻止你。
实际编码中的常见误用
开发者有时会试图传入 Collection<Object> 给需要 Iterable<? extends Number> 的方法，结果编译失败。这不是限制，而是保护：因为 Object 不是 Number 的子类，不能保证取出来的每个元素都能当作 Number 安全使用。PECS 在这里提前拦截了潜在的运行时类型错误。
