pecs原则指“producer extends, consumer super”,即生产者用

PECS 原则(Producer Extends, Consumer Super)在 Iterables.concat 的使用中并不直接体现在方法签名里,而是深刻影响你**如何安全传入参数、如何声明接收变量、以及后续如何消费合并结果**。Guava 的 Iterables.concat 本身是泛型友好的工具,但它不自动“适配”类型边界——真正决定类型安全的,是你对输入集合和输出遍历器的泛型声明方式。
传参时:用 ? extends T 明确“只读生产者”身份
当你把多个不同子类型的集合传给 concat,比如 List<student></student>、Set<teacher></teacher> 都想合并成一个统一遍历源,它们的共同父类是 Person,那就不能写死为 Iterable<person></person>——因为 List<student></student> 不是 Iterable<person></person> 的子类型(Java 泛型不变性)。
正确做法是让每个入参都声明为 Iterable extends Person>:
Iterable extends Person> students = ...Iterable extends Person> teachers = ...Iterable<person> merged = Iterables.concat(students, teachers); // ✅ 编译通过</person>
这样,concat 接收的是“能产出 Person 或其子类”的集合,你遍历时取出来的每个元素都能安全当作 Person 使用(例如调用 getName()),但无法往任一原集合里 add ——这正是 ? extends 的保护机制。
接收结果时:避免裸类型,按需选择上界或下界
Iterables.concat(...) 返回的是 Iterable<t></t>,其中 T 是所有入参类型的最小公共上界(LUB)。如果你传入的是 Iterable<string></string> 和 Iterable<integer></integer>,编译器推不出有意义的 T,会报错或退化为 Iterable<object></object>。
更可控的方式是显式声明接收变量的类型:
Java项目代码review工具。分析Git变更+完整调用链路上下文,推断业务需求,进行多维度评分和分类汇总,生成完整PRD文档。包含细粒度Java代码审查清单(Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- 若你只读不写,且所有源都是
Number子类(如Integer、Double),就声明:Iterable extends Number> numbers = Iterables.concat(ints, doubles); - 若你要把合并结果收集进某个目标容器(比如填充进
Collection<object></object>),那目标容器应声明为Collection super Number>,才能安全接收所有数字实例。
嵌套解包时:外层集合也需符合 PECS 意图
当零散集合被装在 List<iterable>></iterable> 中,你要用 Iterables.concat(listOfIterables) 解包。此时,listOfIterables 本身也要满足类型兼容:
- 如果它存的是
Iterable extends Animal>,那它应声明为List extends Iterable extends Animal>>或更常见地:List<iterable extends animal>> sources = ...;</iterable> - 直接写
List<iterable>></iterable>会导致无法传入List<iterable>></iterable>,违反 PECS 中“生产者应宽松”的原则。
否则,编译器会因类型不匹配拒绝传参,哪怕逻辑上完全合理。
避坑:null 和空集合不是类型问题,但影响运行安全
PECS 解决的是编译期类型安全,而 Iterables.concat 对 null 入参不做防护——传入 null 会立即抛 NullPointerException。这不是泛型问题,但常和类型判断混淆。
建议在调用前过滤掉 null 和空集合:
Lists.newArrayList(Iterables.filter(sources, Predicates.notNull()))- 或用
Iterables.concat(Iterables.filter(sources, input -> input != null && !Iterables.isEmpty(input)))
这类操作不改变泛型结构,但让整个链条更健壮。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










