为何使用FIFO队列实现BFS时仍需基于队列大小的内层循环？

这个设计本质是精准对齐BFS的层序遍历边界，完全是为了匹配代码里step（从根节点到当前节点的最短距离）的计数逻辑。队列本身的FIFO规则只保证节点按入队顺序出队，根本不具备自动分层的能力，必须靠这个提前存size的操作把每层的边界划出来。

核心逻辑说明 #

• 进入内层循环时，队列里存的所有节点都是和根节点距离相等的同一层节点。提前把这个时刻的队列长度存到size变量里，相当于给当前层画了一条明确的截止线。
• 遍历过程中，你会不断把当前节点的邻居（也就是下一层的节点）追加到队列尾部，如果不提前固定循环边界，动态读取队列的实时长度作为循环终止条件，就会把刚入队的下一层节点混在当前层一起处理，彻底打乱层的划分。
• 只有把截止线内的所有当前层节点全部处理完，才代表BFS向外扩展完了一层固定距离，这时候才能把step加1，准备处理下一层的节点，保证计数和实际的节点距离完全匹配。

常见的错误反例 #

假设删掉代码里int size = queue.size();这行，直接把循环条件写成i < queue.size()，结合初始状态（队列里只有根节点，初始长度为1）的流程会出现明显偏差：

1. 外层while触发，step从0更新为1
2. 第一次循环取根节点处理，把根的2个邻居（距离根1步的节点）加入队列，队列长度从1变成3
3. 此时循环条件动态判断队列实时长度为3，会继续执行循环，直接把刚入队的、距离根1步的邻居拿出来处理，把它的邻居（距离根2步的节点）追加到队列尾部，队列长度进一步增加
4. 循环会一直持续到把所有可达节点都处理完才终止，导致本来应该分3个不同step处理的3层节点，被全部算在同一个step值里，最终算出的节点距离完全错误，还会破坏BFS“第一次碰到目标即为最短路径”的核心特性。

补充说明：这个内层循环本身不是BFS遍历的强制结构。如果你的需求只是从根出发遍历所有可达节点，不需要知道每个节点的层序位置，完全可以去掉固定size的逻辑，直接在外层while里循环取队列元素处理，遍历结果本身是正确的。模板里加上这个循环，本质是为了支持最短路径计算、层序距离统计这类需要关联节点所在层级的场景。 #

内容的提问来源于stack exchange，提问作者Rakesh Verma