层序遍历必须使用std::queue，因其fifo特性保障层级顺序；误用栈或递归会导致顺序错乱；需检查root空指针、快照q.size()控制每层遍历、安全访问子节点并正确初始化treenode指针。
层序遍历必须用队列，不能用栈或递归模拟
层序遍历本质是广度优先（BFS），天然依赖先进先出（FIFO）行为。用 std::stack 或递归强行“模拟”只会打乱层级顺序，输出结果不可预测。C++ 标准库中唯一符合要求的容器是 std::queue，它底层默认基于 std::deque，支持常数时间的 push() 和 pop()，无需额外优化。
常见错误现象：root 非空却输出空序列；某一层节点全被跳过；同一层节点顺序颠倒（比如右子树总在左子树前被访问）——基本都是误用了 std::stack 或手动维护了错误的访问索引。
- 初始化时必须检查
root是否为空，空指针直接返回空vector - 每次循环体开始前，用
q.size()快照当前层节点数，避免边遍历边增长导致内层循环失控 - 不要在循环中直接调用
q.front()->left后立刻pop()，应先取节点指针，再 push 子节点，最后 pop，否则可能解引用已失效的 front
BST 节点结构决定遍历代码的健壮性
二叉搜索树本身不改变层序逻辑，但它的节点定义直接影响你能否安全访问子节点。若节点结构为：
struct TreeNode {
int val;
TreeNode* left;
TreeNode* right;
TreeNode() : val(0), left(nullptr), right(nullptr) {}
TreeNode(int x) : val(x), left(nullptr), right(nullptr) {}
};
那么所有子节点指针默认为 nullptr，if (node->left) 这类判空才真正可靠。如果手写构造时忘了初始化 left/right，或者用 malloc 而非 new 分配内存，就会触发未定义行为——表现为随机崩溃或漏节点。
- 务必确保每个新节点都调用带初始化列表的构造函数，或显式赋值
left = nullptr - 遍历时对每个出队节点做双空指针检查：
if (node->left != nullptr)，而不是只写if (node->left)（虽等价，但显式更防 IDE 误报） - 不要复用已出队的
node指针去访问子节点后再塞回队列——BST 不允许环，但逻辑错可能导致重复入队
std::queue 的模板参数和移动语义影响性能
声明队列为 std::queue<treenode></treenode> 是最常用且安全的选择。用裸指针而非 std::shared_ptr 可避免引用计数开销，也符合大多数 BST 实现不托管内存的现实。但如果 BST 节点由智能指针管理（如 std::unique_ptr<treenode></treenode>），则队列必须同步改为 std::queue<:unique_ptr>></:unique_ptr>，否则编译失败。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
错误示例：std::queue<:unique_ptr>> q; q.push(std::move(node));</:unique_ptr> —— 若 node 是左值，必须用 std::move 转为右值才能入队，否则触发拷贝（而 unique_ptr 禁止拷贝）。
- 统一使用裸指针可大幅简化逻辑，前提是 BST 生命周期由外部严格控制
- 若用
std::shared_ptr，注意层序过程中会临时增加引用计数，但无内存泄漏风险 - 避免把
std::queue<treenode></treenode>（值语义）用于遍历——会触发大量不必要的拷贝构造，且无法修改原树结构
输出格式需匹配实际使用场景
层序遍历结果通常要返回 vector<vector>></vector>（每层一个子 vector），而非扁平的 vector<int></int>。这意味着内层循环结束时，要把当层收集的 vals 推入结果容器，而不是一直追加到同一个 vector 尾部。
容易踩的坑：忘记清空当层临时容器、在错误位置 push_back、或把 vals 声明在 while 外导致上一轮残留数据污染本轮。
- 推荐写法：在 while 循环开头定义
vector<int> level;</int>，循环体内level.push_back(node->val)，循环末尾result.push_back(level) - 若需兼容“空节点占位”（如 LeetCode 的数组表示法），需额外判断并填
nullptr对应的INT_MIN或其他哨兵值，但这不属于标准层序遍历范畴 - 调试时可在每层结束后打印
level.size()，验证是否与预期层数一致，快速定位漏节点问题
真正难的不是写完这二十行代码，而是确认你的 TreeNode 构造过程没留野指针、队列里存的每个指针都还有效、并且每一层的边界长度在入队瞬间就被正确快照下来——这些细节一旦出错，表现往往是偶发性漏节点，很难复现。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
