垂直列序遍历需按列号从小到大、每列内按深度从上到下输出;推荐bfs配合{node,col,depth}三元组入队,用std::map自动维护列序,并严格校验左右子节点列号更新逻辑。

垂直列序遍历的核心是列号(column index)的定义与维护
二叉树垂直列序遍历不是按层或按深度,而是把根节点当作 x=0,左子节点列号减 1,右子节点列号加 1。同一列的所有节点从上到下依次输出,列之间按列号从小到大排列。关键在于:列号不能只靠递归参数临时传递后就丢弃——必须绑定到每个节点或在遍历时持久化记录。
常见错误是只用 map<int vector>></int> 存列号 → 节点值,但没控制同一列内节点的**垂直顺序(即深度优先还是广度优先)**。垂直投影要求“从上到下”,所以必须记录每个节点的行号(depth),否则左右子树深度不同时会错乱(比如左子树深两层、右子树浅一层,却因插入顺序导致右子树节点排在左子树上方)。
- 推荐用
map<int vector int> > ></int>:外层 key 是列号,内层存{depth, value}对 - DFS 遍历时传入
col和depth,每次插入前不排序,最后对每列按depth升序 sort - BFS 更自然:队列元素为
{node, col, depth},天然按 depth 递增顺序访问,同一列内无需额外排序
BFS 实现时如何避免列号偏移错位
BFS 比 DFS 更稳妥,因为能保证同层节点按实际拓扑顺序入队,且 depth 严格递增。但容易踩的坑是列号更新逻辑写反:比如把左子节点设为 col + 1,就会整体镜像翻转;或者根节点初始列号没设为 0,导致所有列偏移。
标准做法是:初始化队列时 push {root, 0, 0};处理节点时,左子节点列号 = 当前列号 - 1,右子节点列号 = 当前列号 + 1;depth 统一 +1。
- 务必检查
if (node->left)和if (node->right)的分支是否都正确更新了列号 - 不要复用同一个变量名(如用
col同时表示当前节点和子节点列号),容易漏改 - 测试用例至少包含:单边树(只有左子树)、Z 字形树、空树,验证列号范围是否从负到正连续
输出时 map 的 key 是否自动有序?要不要手动取 min/max 列号
std::map 的 key 是有序的(红黑树实现),遍历它天然按列号升序,所以直接 for 循环即可,不需要额外找 min/max 或用 vector 存所有列号再排序。
但要注意:如果用 unordered_map 就必须自己收集所有列号、排序后再遍历,否则输出列序随机。另外,C++20 后可用 std::ranges::sort,但没必要——map 已经替你做了。
- 声明应为
map<int vector>></int>(若已按 depth 排好)或map<int vector int> > ></int>(需后续 sort) - 不要用
auto it = m.begin()然后 while 循环,直接 range-based for 更安全 - 如果业务要求列号从 0 开始重新编号(比如输出索引而非真实坐标),那是后处理,不属于垂直遍历逻辑本身
遇到空节点或 nullptr 时怎么防止 segfault
所有指针解引用前必须判空。BFS 中从队列 pop 出的 node 已确保非空,但它的 left/right 可能为空——所以 push 前必须 if (node->left) 显式判断。DFS 同理,递归调用前要检查。
另一个易错点是:用 queue<tuple int>></tuple> 时,构造 tuple 忘记用 make_tuple 或大括号初始化,导致编译失败;或误写成 queue<treenode></treenode> 再另存两个 vector 记录 col/depth,不同步风险极高。
- 推荐写法:
q.push({node->left, col - 1, depth + 1});(C++17 结构化绑定支持) - 避免裸指针裸用:如果 TreeNode 是智能指针管理,注意
->操作符重载是否一致 - LeetCode 上输入 TreeNode* root 可能为 nullptr,第一行就得判空并返回空 vector
实际写的时候,最麻烦的不是算法逻辑,而是列号和深度两个维度的耦合管理——稍不注意,就把“同一列”和“同一层”混在一起了。真正跑通的关键,是选 BFS + tuple 存三元组,然后老老实实按列号遍历 map,别图省事用 unordered_map 加手排。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











