Java IntStream.iterate 如何按条件生成序列：hasNext 谓词、短路终止与空结果边界

批次任务经常需要从起始编号开始，遇到边界就停下来。把这样的循环改成 IntStream.iterate 时，最容易误读的是三参数重载：seed 不是“下一轮才处理”的初始值，而是会先交给 hasNext 判断；判断通过后才进入结果流，next 负责算出下一个候选值。

记住一条可执行的规则：先判断当前值，再输出当前值，最后才计算下一个值；如果初始值不满足 hasNext，整个流就是空的。

先把三参数重载还原成一个 for 循环

Oracle API 把 IntStream.iterate(seed, hasNext, next) 描述为顺序、有序的整数流。为了看清调用顺序，先用批次编号 100、每次加 10、最多生成 130 之前的编号：

IntStream batchIds = IntStream.iterate(
    100,
    batchId -> batchId  batchId + 10
);

batchIds.forEach(System.out::println);
// 100
// 110
// 120

它等价于下面的循环：batchId 先检查，再输出；输出后才执行加 10。到达 130 时，hasNext 返回 false，130 不会进入流。

为什么边界值不会出现在结果里

把条件写成“小于上限”时，边界本身就是停止信号。下面的记录器把每个阶段打印出来，能看到 130 只被 hasNext 观察到，没有被输出，也没有触发下一次 next。

List trace = new ArrayList();
IntStream.iterate(
        100,
        batchId -> {
            trace.add("hasNext(" + batchId + ")");
            return batchId  {
            int nextId = batchId + 10;
            trace.add("next(" + batchId + ")->" + nextId);
            return nextId;
        })
    .forEach(batchId -> trace.add("emit(" + batchId + ")"));

System.out.println(trace);
// [hasNext(100), emit(100), next(100)->110,
//  hasNext(110), emit(110), next(110)->120,
//  hasNext(120), emit(120), next(120)->130,
//  hasNext(130)]

这张顺序图只展示当前代码真实存在的四个节点：hasNext、emit、next 和 130。调试时如果在 next 里做数据库写入，就不要把它当成“每个输出元素之后一定再执行一次”的业务钩子。

seed 不满足条件时，结果为什么是空流

三参数重载不会强行把 seed 放进结果。比如批次从 200 开始，但只接受小于 130 的编号：

List result = IntStream.iterate(
        200,
        batchId -> batchId  batchId + 10)
    .boxed()
    .toList();

System.out.println(result); // []

这种空结果通常是合法业务状态，不等于异常。分页任务可以把它解释为“没有待处理批次”，但如果调用方必须区分“尚未查询”和“查询后为空”，就应在流外保留查询状态，而不是依赖 IntStream 自己表达。

limit 能补哪一层保护

当步长可能为 0，或者终止谓词来自不够可靠的外部条件时，limit 可以限制消费数量：

List guarded = IntStream.iterate(
        100,
        batchId -> true,
        batchId -> batchId)
    .limit(3)
    .boxed()
    .toList();

System.out.println(guarded); // [100, 100, 100]

但 limit(3) 是消费端的上限，不会修正 hasNext 的语义，也不能让错误的步长自动变正确。生产代码里更稳妥的组合是：谓词表达业务终止条件，limit 表达额外的防御上限，两者各自有明确责任。

常见问题

IntStream.iterate 会不会先执行 next 再判断 hasNext？

不会。当前值先交给 hasNext，通过后才输出；输出后才由 next 产生下一候选值。

为什么初始值不满足条件时没有 seed？

因为三参数重载把 hasNext 作为当前值的准入条件，seed 也必须先通过它。

可以只用 limit 不写终止条件吗？

可以用 hasNext 恒为 true 再配合 limit，但这适合明确的固定数量生成；有业务边界时仍应写出真实谓词，避免上限被误当成业务规则。

把判断顺序写进验收用例

验收时至少覆盖三组数据：100 到 130 的边界序列应得到 100、110、120；seed 为 200 时应得到空列表；恒定 next 配合 limit(3) 时应只消费三个元素。这样既能检查结果，也能检查 next 没有在停止点多执行一次。