PHP SplPriorityQueue 遍历为什么会消耗队列元素

PHP 的 SplPriorityQueue 不是普通数组，而是基于最大堆的优先队列。它实现了 Iterator，但迭代器的“移动到下一个节点”会调用提取逻辑，所以直接 foreach 原队列，遍历结束后元素可能已经被消费。需要保留队列时，先复制对象，或只用 top() 查看堆顶。

官方参考：https://www.php.net/manual/en/class.splpriorityqueue.php

一句话结论：foreach ($queue as $item) 遍历的是队列迭代器；对 SplPriorityQueue 来说，next() 会提取堆顶节点，rewind() 也不会把已提取的元素放回去。

foreach 为什么会改变 SplPriorityQueue

手册把 SplPriorityQueue::next() 明确描述为“提取队列顶部节点”，而不是数组意义上的游标加一。current() 负责返回当前节点，valid() 判断是否还有节点；当 foreach 继续迭代时，迭代器会让队列向下移动，于是堆顶被移除，剩余元素重新整理。

因此，下面这段代码的重点不是 $item 的变量名，而是传入了原始队列对象：

insert('低优先级任务', 10);
$queue->insert('紧急任务', 100);

// 直接遍历原对象会让迭代器逐个提取堆顶节点。
foreach ($queue as $item) {
    echo $item, PHP_EOL;
}

// 这里的队列已经被迭代过程消费，不能靠 rewind 恢复。
echo $queue->isEmpty() ? '队列为空' : '仍有元素';

rewind 为什么不能恢复已消费的元素

普通数组的 rewind() 通常让内部指针回到开头，但 SplPriorityQueue 的迭代器是虚拟的。PHP 手册说明，堆的 rewind() 实际上是 no-op：它不会复制堆，也不会撤销之前的提取。换句话说，问题不在于指针停在末尾，而在于节点已经从队列中移走。

如果只是想按优先级查看全部数据，请把消费动作放到副本上。clone 复制的是队列对象及其堆结构，原队列仍可供后续业务使用：

setExtractFlags(SplPriorityQueue::EXTR_BOTH);

foreach ($view as $entry) {
    // EXTR_BOTH 返回 data 和 priority，便于同时展示两者。
    echo $entry['data'], ':', $entry['priority'], PHP_EOL;
}

// 业务队列仍由调用方决定何时真正消费。
echo $queue->count();

只读查看和明确消费要分开

只看一个最高优先级元素时，用 top() 更直接；它查看堆顶但不提取节点。需要把任务交给消费者时，再显式调用 extract()。这能让代码的副作用出现在调用点，而不是藏在 foreach 语法里。

isEmpty()) {
    $queue->setExtractFlags(SplPriorityQueue::EXTR_BOTH);

    // top 只查看，不改变队列数量。
    $next = $queue->top();
    echo '待处理：', $next['data'], PHP_EOL;

    // extract 明确表示消费一个任务。
    $done = $queue->extract();
    echo '已取出：', $done['data'];
}

返回什么内容由提取标志决定：EXTR_DATA 只返回数据，EXTR_PRIORITY 只返回优先级，EXTR_BOTH 同时返回两者。默认是 EXTR_DATA，不要因为设置了 EXTR_BOTH 就把它误认为“不会消费”；标志只改变返回形态，不改变 extract() 的消费语义。

实际使用时检查这几个边界

• 需要保留队列：遍历 clone $queue，不要直接遍历原对象。
• 只需要最高优先级：先用 isEmpty()，再调用 top()。
• 需要出队：使用 extract()，让消费动作清晰可见。
• 同优先级元素：手册说明它们的相对顺序未定义，不要把插入顺序当成稳定排序。

最后再记住两个容易混淆的点：current() 受提取标志影响，rewind() 不能撤销已经发生的提取。把“查看”和“消费”拆成不同代码路径，通常就能避免遍历后队列突然变空。

常见问题

问：把 foreach 改成 while 能避免消费吗？
答：不能。只要在原对象上反复调用会移动迭代器的接口，节点就可能被提取；要保留数据，应先 clone。

问：top() 和 extract() 最大区别是什么？
答：top() 只查看堆顶，extract() 取出并移除堆顶节点；任务队列通常应让后者出现在明确的消费函数中。