本文详解 LeetCode「检查二叉树是否为完全二叉树」题目的 BFS 实现要点，重点剖析原代码中因遗漏 return 导致逻辑失效的问题，并提供结构清晰、边界完备的修正方案。
本文详解 leetcode「检查二叉树是否为完全二叉树」题目的 bfs 实现要点，重点剖析原代码中因遗漏 `return` 导致逻辑失效的问题，并提供结构清晰、边界完备的修正方案。
判断一棵二叉树是否为完全二叉树，核心判定规则是：
- 层序遍历（BFS）过程中，一旦遇到空节点（
None），其后所有节点必须全为空； - 等价地：在层序遍历序列中，首次出现空节点后，不能再出现任何非空节点。
原实现试图分两阶段处理：先用 bfs_search 获取各层节点结构，再用 second_bfs 在倒数第二层（tree_depth = len(result) - 2）启动“断点检测”。但存在两个关键缺陷：
致命逻辑漏洞：
second_bfs(root)调用后未返回其结果
原代码末尾写的是second_bfs(root); return True，导致无论内部是否触发return False，函数最终恒返回True。修复方式是直接return second_bfs(root)，确保子函数的布尔结果被透出。层级计数与队列长度判断错误
原代码中if len(queue) != 2**(depth):用于验证满二叉性质，但depth初始为 0，且在else分支中depth += 1后才处理当前层——此时len(queue)对应的是下一层的待处理节点数，而非当前层节点数。更稳健的做法是：对除最后一层外的所有层，要求其节点数严格等于2^level（level从 0 开始）；而最后一层则需满足“左连续”约束（即不允许出现null, non-null的模式）。
以下是优化后的完整实现（已通过 LeetCode 全部用例）：
from collections import deque
from typing import Optional
# Definition for a binary tree node.
# class TreeNode:
# def __init__(self, val=0, left=None, right=None):
# self.val = val
# self.left = left
# self.right = right
class Solution:
def isCompleteTree(self, root: Optional[TreeNode]) -> bool:
if not root:
return True
queue = deque([root])
seen_null = False # 标记是否已遇到空节点
while queue:
node = queue.popleft()
if node is None:
seen_null = True
else:
# 当前节点非空，但之前已遇空节点 → 违反完全性
if seen_null:
return False
# 将左右子节点（可能为 None）入队，保持层序结构
queue.append(node.left)
queue.append(node.right)
return True
✅ 优势说明：
- 单次 BFS 即可完成判定，无需两次遍历或额外存储层级结构；
- 使用
seen_null标志统一处理“空节点后不可再有非空节点”的核心约束； - 入队时显式加入
None子节点，使层序序列严格对应完全二叉树的理想填充顺序（如[1,2,3,4,5,null,7]层序展开为[1,2,3,4,5,None,7,None,None,None,None,None,None,None]），便于线性扫描； - 时间复杂度 O(n)，空间复杂度 O(w)，其中 w 为最大宽度（即队列峰值长度）。
⚠️ 注意事项：
- 不要提前对
node.left或node.right做if过滤再入队——这会破坏空位占位，导致无法检测null后续出现非空的情况； -
seen_null = True后若再遇到node is not None，立即return False，这是最简最可靠的中断条件； - 该解法天然兼容所有边界情况：空树、单节点、满二叉树、仅缺右子节点等。
综上，完全二叉树的 BFS 验证本质是一次带状态的层序遍历，关键在于保留空位信息并线性校验连续性。避免过度分层、冗余变量和遗漏返回值，方能写出简洁、鲁棒、易理解的工业级代码。
