C++实现二叉树的后序遍历(非递归) _ 双栈法逻辑详述【源码】

为什么后序非递归必须用双栈，单栈不行

用单栈来模拟后序遍历，总会遇到一个绕不开的核心矛盾：当你弹出一个节点时，你根本无法判断它的左右子树是不是都已经“走”完了。中序遍历好办，一路沿着左链压栈到底，弹出的时机自然就是访问的时机；前序遍历更简单，先访问根节点，再把右、左孩子依次压栈，顺序就保证了。但后序遍历要求“左→右→根”，根节点必须等到两个子树都处理完毕才能登场——这就意味着，根节点在栈里的时候，必须有个“记忆”，知道右子树有没有被访问过。单栈恰恰缺少这种状态记录的能力，一旦把根节点弹出来，上下文就丢了，你根本分不清现在是该处理右子树，还是该输出根节点自己。

双栈法的高明之处，就在于它巧妙地绕开了这个状态管理的难题。它的思路不是直接去求后序，而是换了个角度：先构造出一个“根→右→左”的访问序列。你发现了吗？这个序列和前序遍历“根→左→右”只是压栈顺序不同。然后，再利用栈“先进后出”的特性，把整个序列倒过来——第二个栈，就是干这个“缓冲反转”活的。

• s1 扮演“变形”的前序栈：每次从 s1 弹出一个节点，不直接输出，而是立刻压入 s2。然后，按“先左孩子、后右孩子”的顺序，把它的孩子压回 s1。
• 注意这个反直觉的压栈顺序：为了让 s1 的弹出顺序是“根→右→左”，你必须先压左、再压右。因为栈是后进先出，后压进去的右孩子，反而会先弹出来。
• s2 是最终结果的“倒影”：经过上述过程，s2 里存储的正好是后序遍历的逆序。最后依次弹出 s2 中的节点，得到的就是标准的“左→右→根”序列了。

双栈法 C++ 实现要点与易错点

代码写对不难，但要写稳、写扎实，就得注意几个关键细节。下面这段实现经过了空树、单节点、左斜树、右斜树等多种边界情况的考验：

vector postorderTra versal(TreeNode* root) {
    vector res;
    if (!root) return res;
    stack s1, s2;
    s1.push(root);
    while (!s1.empty()) {
        TreeNode* node = s1.top(); s1.pop();
        s2.push(node);
        // 关键点：这里必须先压左孩子，再压右孩子
        if (node->left)  s1.push(node->left);
        if (node->right) s1.push(node->right);
    }
    while (!s2.empty()) {
        res.push_back(s2.top()->val);
        s2.pop();
    }
    return res;
}

几个常见的“翻车”点，值得你特别留意：

• 压栈顺序搞反：如果把 s1 的压栈顺序写成先右后左，那么 s2 最终得到的就是“根→左→右”，倒序后变成“右→左→根”，结果全错了。
• 空指针判断遗漏：忘记判断 root == nullptr 就直接压栈，后续操作很容易引发崩溃。
• s2 循环中的操作失误：在从 s2 取结果的循环里，如果只调用 top() 而忘了 pop()，会导致死循环。
• 用错容器模拟栈：试图用 vector 的 push_back/pop_back 来模拟栈，虽然功能可能实现，但语义不清晰，且容易引发索引越界的错误，不如直接用标准库的 stack 来得稳妥。

立即学习“C++免费学习笔记（深入）”；

双栈法 vs 单栈+标记法：选哪个更实际

当然，实现后序非递归不止双栈这一条路。单栈配合一个布尔标记（比如使用 pair）也能做到，而且从逻辑上更贴近我们手动遍历时“回溯”的感觉。但是，这种方法的编码负担明显更重：每一轮循环都需要拆包、判断标记状态、决定是继续向下探索还是输出节点，状态切换比较复杂。

相比之下，双栈法的逻辑是线性的，几乎没有分支，不需要管理额外的访问状态。虽然多用了一个栈的内存，但在面试手写、或者在对代码可读性和稳定性要求较高的嵌入式等场景中，双栈法往往更受青睐。说白了，它更不容易写错。

从性能角度分析，双栈法的时间复杂度依然是 O(n)，空间复杂度是 O(h)（h 为树高），这和单栈标记法是一样的。虽然它多了一套栈操作，并且需要等整个树遍历完才能从 s2 输出结果（常数项略高），但在现代 CPU 缓存体系下，这点开销几乎可以忽略不计。

• 调试友好性：如果你正处于调试阶段，优先用双栈法。因为 s2 里存储的就是完整的中间序列，设个断点一目了然，非常便于观察。
• 内存极端敏感场景：如果树的深度极大（超过10万层）且内存寸土寸金，可以考虑更复杂的 Morris 后序遍历算法，但那实现难度会陡增。
• 一个实用建议：除非是在编写追求极致优化的底层库，否则不必为了“节省一个栈”而去硬啃那种单栈配合 while 循环和标记位的复杂写法。双栈法的清晰和稳定，在大多数情况下价值更高。

层序遍历为什么不用栈而用队列

这里有个容易连带产生的疑问：后序非递归用了双栈，那层序遍历呢？为什么不用栈？

根本原因在于两者的目标不同。后序双栈法的核心是进行“逆序控制”；而层序遍历的目标是“让同一层的节点紧挨着出来”，这天然符合“先进先出”的规律——先被访问的节点，它的子节点也应该比后访问节点的子节点更早被处理。队列的 push（入队）和 pop（出队）顺序，完美匹配了这个需求。

想象一下，如果非要用双栈去模拟层序，那逻辑就变得非常扭曲：你不得不在两个栈之间来回倒腾节点，还要额外记录每层的边界，代码会变得晦涩难懂。这远不如直接用一个 queue，配合 for (int i = q.size(); i > 0; --i) 这种循环来控制每层数量来得清晰直接。

最后，可以记住一个本质区别：在所有常见的非递归遍历中，只有后序的双栈法存在一个“结果需要二次反转”的隐含步骤。像前序、中序、层序遍历，都是边处理边收集结果。而双栈后序必须等第一个栈（s1）完全空了，所有节点都按“根→右→左”的顺序暂存到第二个栈（s2）之后，才能开始反向输出，得到最终答案。这种“延迟交付”的特性，是它区别于其他迭代方法最鲜明的标志。