Morris后序遍历错误主因是路径翻转与访问时机配合不当：需先翻转左子树前驱链以获取逆后序，再全局逆序；严格校验pred非空；恢复pred->right=nullptr须在翻转前；叶子及单支树须特判。
如果您尝试用 Morris 方法实现二叉树的后序遍历，但输出顺序错误或节点缺失，则问题极可能出在路径翻转与访问时机的配合上。以下是解决此问题的步骤：
一、理解 Morris 后序遍历中“翻转链表”的目的
Morris 后序遍历无法自然回溯，因此必须在第二次抵达某节点时，确认其左子树已全部处理完毕；此时需沿 curr->left 向右到底所形成的临时线索链（即前驱路径），将该链逆序输出——这等价于输出“左子树的逆后序”（根→右→左），再整体逆序即得真实后序。翻转操作正是为获取该逆序序列而设，且必须在恢复指针前完成。
1、定位当前节点 curr 的左子树最右节点 pred，确保 pred->right == curr 成立（表示已回溯）。
2、令 tail = curr->left，初始化 prev = nullptr。
3、执行循环：当 tail != curr 时，保存 tail->right 到 next，将 tail->right 指向 prev，更新 prev = tail，再令 tail = next。
4、此时 prev 指向原链尾（最右下节点），开始逆向遍历并收集值：令 tail = prev，循环至 tail != nullptr，将 tail->val 加入结果，再用 next = tail->right 和 tail->right = prev 恢复指针。
二、严格校验 pred 非空并防止空解引用
在查找前驱节点前，若 curr->left 为空，则跳过整个左子树逻辑；否则 pred 初始化为 curr->left，但后续 while 循环中若 pred 变为 nullptr（如初始 left 为 nullptr 但未判），将导致解引用崩溃。必须前置保障 pred 始终有效，且每次访问 pred->right 前确认 pred 不为空。
1、在进入 pred 查找循环前，插入判断：if (curr->left == nullptr) { cur = cur->right; continue; }。
2、初始化 pred = curr->left 后，立即检查 if (pred == nullptr) break;。
3、while 循环条件必须写作 pred != nullptr && pred->right != nullptr && pred->right != curr，三重防护。
三、两次翻转缺一不可：子路径翻转 + 全局逆序
仅对左子树线索链做一次翻转只能得到“左子树的逆中序”，而非所需“左子树的逆后序”。标准做法是先按“根→右→左”模拟逆后序遍历（通过翻转子路径并输出），再将整段输出结果反转。若省略全局逆序，最终序列将是镜像错误的。
1、在子路径翻转并输出阶段，将每个 tail->val 推入临时栈 stack_temp 或 vector 中，不直接写入最终 result。
2、子路径处理完毕后，对 stack_temp 执行 pop 并 push 到 result，或调用 reverse(stack_temp.begin(), stack_temp.end()) 后 insert 进 result。
3、禁止在翻转子路径过程中直接 push_back 到全局 result；必须缓存后再统一逆序。
四、恢复线索指针的精确位置与赋值方向
恢复 pred->right = nullptr 必须发生在访问 curr 节点之前，且必须使用 pred->right = nullptr 而非其他变体；若在翻转子路径后误将 tail->right = next 用于恢复，会导致指针错乱，后续遍历陷入死循环或跳过节点。
1、在检测到 pred->right == curr 后，**立即执行 pred->right = nullptr**，再进行子路径翻转与输出。
2、子路径翻转循环内恢复语句为：tail->right = prev;，不是 tail->right = next。
3、子路径翻转结束后，确保所有被修改的 right 指针均已还原，特别是 tail 走到 nullptr 前最后一步的 tail->right = prev 不可遗漏。
五、边界节点处理：叶子节点与单支树的特判
当 curr 是叶子节点（left == nullptr 且 right == nullptr）时，应直接访问并右移；当 curr 仅有右子树而无左子树时，不能触发任何翻转逻辑，但需保证 curr 被正确访问。若未隔离此类情形，翻转代码块可能被误执行，造成空指针或越界。
1、在主循环开头添加分支：if (curr->left == nullptr) { result.push_back(curr->val); curr = curr->right; continue; }。
2、对仅有右子树的节点，确保 pred 查找逻辑完全跳过，不进入 while(pred->right...) 循环。
3、在子路径翻转前插入断言：assert(curr->left != nullptr && pred != nullptr);，便于调试定位非法状态。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
