后序遍历的O(1)空间Morris解法有三种：一、双翻转法，通过局部链表翻转生成逆后序再整体逆序；二、单翻转+栈缓存法，用O(h)栈避免最终reverse；三、右子树镜像法，逻辑交换左右指针后执行Morris中序。
如果您尝试实现二叉树的后序遍历，但要求空间复杂度严格为 O(1) 且不使用递归或显式栈，则标准 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) 辅助空间，但指针操作仍为 O(1)）
该方法规避整体逆序带来的额外遍历开销，改用极小容量栈仅缓存翻转路径的起始节点，后续按需弹出并正向访问。其核心优势是输出顺序天然符合后序逻辑，无需最终 reverse；但需注意栈深度最大为树高 h，虽不满足严格 O(1) 空间，但在实际嵌入式场景中常被接受为“伪常数”。
1、定义辅助栈 stack
2、当进入 pred->right == cur 分支时，不立即翻转，而是将 cur->left 压入 pathStack，并设置游标 node = cur->left。
3、沿 node->right 向右下行至最右节点，每步将 node 压栈，直至 node->right == nullptr 或 node->right == cur。
4、弹出栈顶节点，将其 val 加入 result，重复直到栈空。
5、确保所有压栈节点的 right 指针在弹出前未被修改，避免链断裂。
6、执行 pred->right = nullptr 后，cur = cur->right。
三、右子树镜像 + Morris 中序改造法
该方法将原树做逻辑镜像：交换所有节点的 left 与 right 指针（不物理交换，仅在遍历时角色互换），然后对镜像树执行 Morris 中序遍历，所得序列即为原树的后序序列。其本质是将“左→根→右”中序映射为“右→根→左”，再结合镜像定义还原为“左→右→根”。全程不新建节点，仅改变指针访问方向。
1、定义 cur = root，不修改原始树结构，但在所有指针操作中将 left 视为 right，right 视为 left。
2、查找“前驱”时，实际查找的是 cur 右子树中最左节点（因镜像），即循环 pred = pred->left，终止条件为 pred->left == nullptr || pred->left == cur。
3、当 pred->left == nullptr 时，设 pred->left = cur，然后 cur = cur->right（逻辑右，即原左）。
4、当 pred->left == cur 时，恢复 pred->left = nullptr，并将 cur->val 加入 result，随后 cur = cur->left（逻辑左，即原右）。
5、该过程自然产生“右→根→左”序列，对应原树后序。
