morris后序遍历不能直接套用前序/中序翻转逻辑，因其依赖“访问完右子树再回根”的回溯信号，而morris线索仅提供单向右指针，无法自然支持该控制流；必须采用逆序输出技巧，沿临时右链收集再倒序打印，并严格管理线索的建立、使用与恢复时机。
为什么 Morris 后序遍历不能直接套用前序/中序的翻转逻辑
因为后序遍历（左→右→根）天然依赖子树访问完成后的“回溯”信号，而 Morris 线索化只提供单向指针（右孩子指向后继），无法自然支撑“访问完右子树再回到根”的控制流。前序和中序可以靠临时修改 right 指针建立线索、再恢复，但后序需要在“刚离开右子节点”时立刻处理根——这要求你必须能识别出当前节点是其父节点的右孩子，且右子树已遍历完毕。标准 Morris 中序里用 current->right == nullptr 判断叶子，但后序要判断的是“当前是否为某节点的右子，且该右子树已处理完”，这个状态不能靠单个指针字段直接表达。
实操建议：
- 必须引入“逆序输出”技巧：沿右链向下收集节点值，再批量倒序打印——这是规避回溯依赖的核心；
- 每次找到一个“当前节点无右子”或“右子已被线索化指向自己”的时机，就从该节点出发，沿
right链一路向右（实际是原树中的“向上+向右”路径），把沿途节点值暂存到栈或 vector 中，再逆序输出； - 关键判断条件是：
current->right == nullptr || current->right == predecessor，其中predecessor是 current 的中序前驱（即左子树最右节点）； - 注意：这个
right链不是原树结构，而是你在建线索时人为设置的临时链接，它构成了一条从某个“叶子状节点”回退到祖先的伪路径。
如何安全地复用线索指针而不破坏原树结构
Morris 后序必须两次修改同一节点的 right 字段：第一次设为线索（指向中序前驱），第二次在遍历右子树后恢复为 nullptr 或原右孩子。但后序中，你可能在“逆序输出阶段”正沿着这条线索走，此时若提前恢复 right，链就断了。所以恢复动作必须严格发生在逆序输出之后、且仅当该线索是“你亲手设置的”才恢复。
实操建议：
- 每次设置线索前，先检查
predecessor->right是否为空——如果是，说明还没建过线索，可安全赋值； - 若
predecessor->right == current，说明线索已存在，意味着 current 的左子树已遍历完毕，此时应先执行逆序输出，再将predecessor->right = nullptr恢复； - 永远不要在逆序输出过程中修改任何
right指针； - 原树的
left指针全程不碰，只动right； - 最终退出循环时，所有被修改过的
right都必须已恢复，可通过 assert(node->right == original_right) 在调试版验证。
时间复杂度为什么确实是 O(n)，而不是看起来的 O(n log n)
表面看，每个节点可能被多次沿 right 链访问（比如逆序输出时扫一遍，后续又作为 predecessor 被找一次），容易误判为嵌套循环。但关键在于：每条线索最多被建立 1 次、恢复 1 次、用于逆序输出 1 次；而逆序输出所走的每条 right 链，其总长度之和不超过 2n——因为每条链对应一棵子树的“右边界”，而整棵树的所有右边界互不重叠（证明可用归纳法：根的右边界 + 左子树右边界 + 右子树右边界 ≤ n）。
实操建议：
- 写测试时，用满二叉树 + 完全不平衡链表两种 case 分别打点计数：统计
current = current->right执行次数，应稳定在 2n ~ 3n 区间； - 避免在逆序输出时用
std::reverse，改用栈 push/pop 或 vector insert(begin(), x) ——前者 O(1) 均摊，后者 O(k) 单次，k 是链长，但总 k 和仍 O(n)； - 不要为了“省空间”把逆序结果存在全局 vector 里再一次性输出——这会掩盖真实访问模式，调试时难以对齐理论模型。
实际编码中最容易漏掉的三个细节
一是根节点的处理时机：Morris 后序必须确保根节点在最后输出，但如果你在 current == nullptr 退出主循环后直接结束，根可能被跳过。二是空右子树的判定：当 current->right == nullptr 且左子为空时，它就是叶子，应立即进入逆序输出流程，而不是继续找 predecessor。三是线索恢复的条件绑定：只在 predecessor->right == current 为真且已完成逆序输出后才恢复，否则会提前切断链导致后续节点丢失。
实操建议：
- 主循环结束后，必须额外处理一次以
root为起点的逆序输出（如果 root->right 不为空，说明还有未收尾的链）； - 把“是否为叶子”的判断拆成两个独立分支：
if (!current->left && !current->right)直接输出 current； - 逆序输出函数必须接受起始节点和一个引用 vector，边走
right边 push_back，返回后立刻 reverse； - 用
static_assert确保节点结构体没有虚函数表指针（否则 sizeof(Node) > 16 字节，可能干扰 cache 行局部性，虽不影响正确性但影响实战性能）。
right 指针在任意时刻都处于“可解释”状态：要么是原树右孩子，要么是指向中序前驱的线索，要么是逆序链的一部分。三者互斥，且切换时机必须精确到某次 if 判断之后。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
