Morris后序遍历错误主因是路径翻转与访问时机不匹配;解决法有三:一、双翻转得逆后序再整体逆序;二、单翻转配合栈缓存实现正向输出;三、右子树镜像后转为Morris中序遍历。

如果您尝试用 Morris 方法实现二叉树的后序遍历,但输出顺序错误、节点缺失或程序卡死,则问题极可能出在路径翻转与访问时机的配合上。以下是解决此问题的多种方法:
一、双翻转模拟逆后序 + 整体逆序法
该方法不实际存储节点,而是利用 Morris 线索在第二次抵达某节点时,沿其左子树最右路径进行局部链表翻转并输出,从而生成“根→右→左”的逆后序序列,最后将整个输出结果整体逆序,得到标准后序序列。关键在于翻转操作必须在 pred->right == curr 条件下触发,且翻转后需恢复指针以维持树结构完整性。
1、初始化当前节点 cur 指向根节点,结果容器 result 为空。
2、当 cur 不为空时,执行以下分支判断:
立即学习“C++免费学习笔记(深入)”;
3、若 cur->left 为空,则 cur = cur->right,跳过翻转逻辑。
4、若 cur->left 非空,则查找 cur 左子树最右节点 pred:循环执行 pred = pred->right,终止条件为 pred->right == nullptr || pred->right == cur。
5、若 pred->right == nullptr,则建立线索 pred->right = cur,并令 cur = cur->left。
6、若 pred->right == cur,则说明左子树已处理完毕,此时执行路径翻转:设 tail = cur->left,prev = nullptr;循环中执行 tail->right = prev 并更新 prev 与 tail,终止条件为 tail != curr。
7、翻转完成后,从 prev 开始沿 right 指针反向遍历并 push_back 到 result,同时恢复原指针:tail->right = prev(非 next)。
8、恢复 pred->right = nullptr,令 cur = cur->right。
二、单次翻转 + 栈缓存法(O(h) 辅助空间)
该方法规避整体逆序带来的额外遍历开销,改用极小容量栈仅缓存翻转路径的起始节点,后续按需弹出并正向访问。其核心优势是输出顺序天然符合后序逻辑,无需最终 reverse;但需注意栈深度最大为树高 h,虽不满足严格 O(1) 空间,但在实际嵌入式场景中常被接受为“伪常数”。
1、定义辅助栈 pathStack,其余变量同方法一。
2、当进入 pred->right == cur 分支时,不立即翻转,而是将 cur->left 压入 pathStack,并设置游标 node = cur->left。
3、沿 node->right 向右下行至最右节点,每步将 node 压栈,直至 node->right == nullptr 或 node->right == cur。
4、弹出栈顶节点,沿其 right 链正向遍历并收集值,直到遇到 nullptr 或 cur。
5、重复步骤 3–4 直至栈空,然后令 cur = cur->right。
三、右子树镜像法(交换左右指针后执行 Morris 中序)
该方法通过逻辑交换左右子树指针,将后序遍历转化为镜像中序遍历:先对整棵树做左右镜像(不物理交换,仅在遍历时角色互换),再运行标准 Morris 中序遍历;最终所得序列即为原树的后序序列。其本质是将“左→右→根”映射为镜像树的“右→左→根”,而后者等价于镜像树的中序访问顺序。
1、初始化当前节点 cur 指向根节点,结果容器 result 为空。
2、当 cur 不为空时,执行以下判断:
3、若 cur->right 为空(镜像后原左子树位置),则将 cur->val 加入 result,并令 cur = cur->left(镜像后原右子树方向)。
4、若 cur->right 非空,则查找 cur 右子树最左节点 succ:循环执行 succ = succ->left,终止条件为 succ->left == nullptr || succ->left == cur。
5、若 succ->left == nullptr,则建立线索 succ->left = cur,并令 cur = cur->right。
6、若 succ->left == cur,则恢复 succ->left = nullptr,并将 cur->val 加入 result,再令 cur = cur->left。


















