不能直接递归而需栈模拟，是因为递归依赖系统调用栈保存回溯点，手动栈用于显式管理“访问左子树后返回当前节点”的流程；适用于栈空间受限、题目强制非递归或需暂停恢复等场景。
为什么不能直接递归，非要用栈模拟
递归本质就是函数调用栈在工作，中序遍历 left → root → right 的顺序天然依赖“访问完左子树后还能回到当前节点”，递归靠系统栈自动保存现场；手动用栈实现，核心是自己管理这个“回溯点”。不是为了炫技，而是有些场景不允许递归：比如嵌入式栈空间极小、或题目明确要求非递归、或需要中途暂停/恢复遍历状态。
关键思路是：一路向左压栈，走到最左叶子时弹出并访问，然后转向右子树——但右子树可能还有左分支，所以不能简单把右孩子直接 push，而要把它当作新子树的根，继续“一路向左压栈”。
栈里到底该存什么
必须存 TreeNode*，不能存值（int）或临时对象。因为你要靠指针判断是否已访问过左子树，还要能跳转到右子节点。
常见错误是只存值或试图用标志位标记“已访问”，结果逻辑爆炸。栈的作用是暂存待处理的节点，每个节点入栈时都代表“它的左子树还没处理完”。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 入栈时机：从当前节点出发，不断往左走，每遇到一个非空节点就
push它 - 出栈时机：当左路走到
nullptr，说明最左节点已到，此时栈顶就是该访问的节点 - 转向右子树后，立刻把它设为新的“当前节点”，重新开始向左压栈循环
标准非递归中序遍历代码骨架void inorderTraversal(TreeNode* root) {
stack<TreeNode*> stk;
TreeNode* curr = root;
<pre class="brush:php;toolbar:false;">while (curr != nullptr || !stk.empty()) {
// 一路向左，压栈所有沿途节点
while (curr != nullptr) {
stk.push(curr);
curr = curr->left;
}
// 左路到底，弹出并访问
curr = stk.top();
stk.pop();
cout << curr->val << " ";
// 转向右子树，下一轮循环会继续向左压栈
curr = curr->right;
}
}
注意两个 while 嵌套结构：外层控制整体流程，内层专责“压栈到最左”；curr 在出栈后被赋值为右孩子，若为 nullptr，下轮外层循环会直接 pop 下一个——这正好对应“访问完某节点后，回到它的父节点”的行为。
容易卡住的边界情况
空树、单节点、只有左子树、只有右子树、完全右斜树……这些都能跑通，真正容易出错的是对 curr 和栈状态的误判。
-
curr == nullptr && stk.empty()是唯一退出条件，少一个判断就会死循环 - 每次
pop后必须立刻把curr设为curr->right，不能漏掉这句，否则会重复访问或跳过右子树 - 如果用
stk.top()->right直接 push，就错了——你得先访问当前节点，再处理它的右子树，不是跳过当前节点去压右孩子 - 调试时可在每次
pop后打印stk.size()，观察栈深是否随左深度增加、随访问逐步减少
实际写的时候，别急着记模板。先手画三节点树（根+左+右），一步步模拟栈变化，把“压谁、弹谁、curr 变成谁”写清楚，比背代码管用得多。栈本身不难，难的是把递归的隐式控制流显式拆解清楚。
