PHP MultipleIterator 怎样并排遍历长度不同的集合

我在整理两组需要对齐的导入数据时遇到过一个很容易误判的现象：一组有 4 项，另一组只有 2 项，直接把它们交给 MultipleIterator，循环只输出前 2 行。原因不是第二组数据被补齐失败，而是默认标志 MIT_NEED_ALL 要求所有子迭代器同时有效。

要让 PHP MultipleIterator 并排遍历长度不同的集合，关键是构造时使用 MultipleIterator::MIT_NEED_ANY，再按需叠加 MIT_KEYS_ASSOC。这样循环会走到最长集合结束，较短集合已经没有当前位置时，对应字段会是 null。

官方文档：https://www.php.net/manual/en/class.multipleiterator.php

最小可用组合是 MIT_NEED_ANY | MIT_KEYS_ASSOC：前者决定“任意一个仍有效就继续”，后者让结果数组拥有稳定的业务键名。

先把集合包装成两个子迭代器

MultipleIterator 接收的是实现了 Iterator 的对象，所以普通数组要先放进 ArrayIterator。下面故意让订单号有 4 个、金额只有 2 个，方便观察长度差异。

attachIterator($orders, 'order_no');
$rows->attachIterator($amounts, 'amount');

这里的按位或不是把两个“长度策略”叠加，而是分别选择继续条件和结果键格式：MIT_NEED_ANY 负责有效性，MIT_KEYS_ASSOC 负责字段名。

用 MIT_NEED_ANY 走到最长集合

接下来直接使用 foreach。当金额迭代器在第二行之后失效，订单迭代器仍然有效，所以第三、四行仍会产生；金额字段由 current() 的结果表现为 null。

$total = 0.0;

foreach ($rows as $row) {
    // 短集合耗尽后，缺失字段可能为 null；不要把它当成 0。
    $amount = $row['amount'];
    $amountText = $amount === null ? '待补录' : number_format($amount, 2);

    echo $row['order_no'] . ': ' . $amountText . PHP_EOL;
}

// 输出：
// A100: 19.90
// A101: 28.50
// A102: 待补录
// A103: 待补录

官方手册把 valid() 描述为依据标志检查一个或全部子迭代器。这个例子里的“最长集合”本质上就是把有效性条件从“全部有效”改成“至少一个有效”。

用关联键名稳定读取每一列

如果不加 MIT_KEYS_ASSOC，默认结果是数字键数组，代码需要记住第 0 项、第 1 项分别是什么。并排处理订单、库存、配置等不同来源时，关联键名更不容易在后续改列顺序时出错。

$records = [];

foreach ($rows as $row) {
    // 缺失项保持 null；业务层再决定是否跳过、补默认值或记录异常。
    $records[] = [
        'order_no' => $row['order_no'],
        'amount' => $row['amount'],
        'has_amount' => $row['amount'] !== null,
    ];
}

print_r($records);

注意 null 可能有两种来源：短迭代器已经结束，或者原集合本来就存着一个 null。如果两者必须区分，应在输入阶段同时携带“是否存在”的标记，或者使用带唯一 ID 的对象，而不是只靠金额值判断。

默认 MIT_NEED_ALL 为什么只输出短集合长度

new MultipleIterator() 的默认组合包含 MIT_NEED_ALL 和 MIT_KEYS_NUMERIC。它适合“每一列都必须成行”的数据，例如商品、价格和库存必须一一对应。只要任意一列没有当前值，valid() 就返回 false，循环结束。

因此，选择模式前先问清楚：缺一项时这一行是否仍有意义。如果答案是否定的，保留 MIT_NEED_ALL，并在进入循环前检查各集合长度；如果答案是肯定的，就用 MIT_NEED_ANY，再在业务层处理缺失字段。

空集合和 null 值的处理边界

当所有子迭代器都为空时，MIT_NEED_ANY 也不会凭空生成行；当只有一组有数据时，另一组字段会持续缺失。不要用 $row['amount'] ?: 0 代替判断，因为合法的 0.00 会被当成“没有值”。

foreach ($rows as $row) {
    // 用严格比较保留 0、空字符串和 null 的差别。
    if ($row['amount'] === null) {
        // 缺失值进入待补录队列，而不是静默改成零金额。
        continue;
    }

    // 只有确认存在后，才做金额格式化或计算。
    $total += (float) $row['amount'];
}

如果真实输入来自数据库游标、生成器或文件流，还要确认每个子迭代器都能安全地 rewind()。MultipleIterator::next() 会推动全部已附加迭代器，因此不要在同一次遍历中偷偷单独移动其中一个，避免列之间错位。

常见问题

为什么我的循环提前结束？ 通常是仍在使用默认的 MIT_NEED_ALL。把构造参数改为 MIT_NEED_ANY | MIT_KEYS_ASSOC，并检查较短集合结束后的 null。

为什么关联键名报错？ 使用 MIT_KEYS_ASSOC 时，每次 attachIterator() 都要传入唯一的字符串或整数 info，不能让两个迭代器共享同一个键。

什么时候不该用 MultipleIterator？ 如果两组数据依赖数据库主键、时间戳或业务 ID 对齐，不要按位置并排；先建立明确的索引或关联条件，再输出记录，避免长度相同却语义错位。

这类并排遍历的重点不是“让两个数组同时走”，而是先决定缺失数据的语义：严格配对用 MIT_NEED_ALL，允许一侧继续用 MIT_NEED_ANY，字段名和 null 的处理则交给消费层明确表达。