Morris后序遍历更难，因其需在第二次访问节点（从右子树返回时）才输出，而Morris线索仅支持回溯父节点，不记录返回方向；故必须局部反转并恢复右子树的右斜路径，操作复杂且易出错。
为什么Morris后序遍历比前序/中序更难写
Morris后序的核心难点不在“无栈无递归”，而在访问顺序：必须在第二次经过某个节点（即从右子树返回时）才输出它，但此时它的左、右子树都已处理完毕——而Morris线索化天然只提供“回溯到父节点”的路径，不保存“刚从哪边回来”。所以必须靠**局部反转右子树的访问路径**来制造一个可遍历的链表，再在遍历完后原路反转回去。
常见错误现象：Morris postorder 输出乱序、漏节点、或卡死在某个节点反复循环，基本都是因为反转逻辑没配对，或判断“第二次访问”的条件写错。
- 关键判断点是：
current->right == nullptr或current->right == predecessor，二者必须严格区分用途 - 每次进入右子树前，先反转从
predecessor到current->right的单向链（即“右子树最左路径”），遍历该链，再反转还原 - 反转操作必须用三指针（
prev,curr,next），不能只靠赋值，否则会断链
如何安全地反转并恢复右子树的“叶子到根”路径
所谓“反转路径”，是指对当前节点 current 的前驱 predecessor 到其 right 子节点之间形成的“右斜链”做就地反转。这条链本质是：从 predecessor 出发，不断走 right 指针直到 current->right。反转后，它变成从 current->right 回头指向 predecessor 的链，正好支持从下往上输出。
实操中容易漏掉“恢复”步骤，导致后续线索被破坏。例如：
立即学习“C++免费学习笔记（深入）”；
// 反转：predecessor → ... → current->right
Node* tail = current->right;
Node* prev = nullptr;
Node* curr = predecessor;
while (curr != tail) {
Node* next = curr->right;
curr->right = prev;
prev = curr;
curr = next;
}
curr->right = prev; // 最后一个节点也连上但上面只是单向反转，之后必须再跑一遍相同逻辑把 right 指针全翻回来——否则下次 current 被其他节点当作 predecessor 时，right 已不是原值，线索就错了。
- 反转和恢复必须成对出现，且使用完全相同的遍历范围（起止节点一致）
- 不要试图“记住原 right 值”，Morris 的前提就是不额外分配空间，只能靠二次遍历还原
- 若
current->right为空，说明这是叶子节点的右空位，无需反转，直接输出current
完整流程中的三个关键分支判断
Morris后序主循环里只有三种情况，每种对应不同动作，顺序不能颠倒：
- 若
current->left == nullptr：说明无左子树，那它不可能有前驱，直接走向current->right（此时它属于某个更大子树的右链一部分，稍后会被反转链覆盖到） - 若
current->left != nullptr且已线索化（即predecessor->right == current）：说明是第二次到达，此时要：- 反转从
predecessor到current->right的路径 - 沿反转后的链从底向上输出所有节点（含
predecessor） - 再反转还原该路径
- 置
predecessor->right = nullptr解线索 - 最后
current = current->right
- 反转从
- 若
current->left != nullptr且未线索化（即predecessor->right == nullptr）：建线索，predecessor->right = current，然后current = current->left
注意：输出动作**只发生在第二种情况里反转链的遍历过程中**，不是在 current 本身；current 自身要等到整个右子树处理完、回到它父节点时，才在父节点的反转链中被输出。
边界与性能：为什么它真能 O(1) 空间
整个算法只用固定几个指针变量：current, predecessor, tail, prev, curr, next —— 不管树多大，就这六个 Node*，没有栈、没有队列、没有 vector。时间上每个边最多被遍历 3 次：一次找 predecessor，一次反转，一次还原，所以仍是 O(n)。
但实际编码时最容易忽略的是：当 current 是根节点且无右子树时，它不会出现在任何反转链中，必须在主循环结束后单独检查并输出。很多实现漏掉这一句，导致根节点丢失。
另外，nullptr 判断必须全覆盖，尤其在反转循环中，curr 和 tail 都可能为 nullptr，需提前跳出，否则段错误。
