递归dfs会栈溢出，因系统栈空间有限（c++默认1~8mb），每层递归占用数百字节，深度达10⁵时必崩溃；显式栈移至堆内存（gb级），配合访问标记和状态管理，才是稳妥解法。
递归DFS在树或图深度超过几千层时大概率崩溃，显式栈是唯一稳妥解法——它把调用栈从系统栈（几MB限制）移到堆内存（GB级），还能随时中断、检查状态、加超时逻辑。
为什么递归DFS会栈溢出
系统栈空间有限，C++默认线程栈通常仅1~8MB；每层递归至少占几百字节（返回地址、局部变量、寄存器保存等）。当树退化为链表（如只有右子节点）、深度达10⁵时，std::stack_overflow或SIGSEGV几乎必然发生。嵌入式、实时系统甚至直接禁用递归。
显式栈必须带访问标记
只用std::stack存节点指针不够，漏掉visited会导致死循环或重复访问——尤其在图中存在环时。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::vector<bool> visited</bool>适用于节点编号连续的图（如邻接表索引 0~n-1） -
std::unordered_set<int></int>或std::unordered_set<treenode></treenode>适用于稀疏编号或指针地址判重 - 多线程环境下需加锁或改用线程局部
visited结构
前序/中序/后序遍历的栈操作差异
栈里存什么、什么时候访问、压栈顺序，三者共同决定遍历类型。错一个就乱序。
- 前序：弹出即访问，再按「右→左」压栈（保证左先处理）
- 中序：不能一上来就访问；得先「左到底」——循环压左子节点，到底后弹出、访问，再转向右子树
- 后序：最易错；推荐用
pair<treenode int></treenode>标记状态（0=未访问子树，1=已访左，2=已访右），仅当状态为2才访问根
图DFS比树DFS多一个关键步骤
树无环、有向且边唯一，图必须显式判断邻居是否已访问，否则无限循环。
- 邻接表遍历中，对每个
neighbor，必须先查!visited[neighbor]再压栈 - 若图含自环或多重边，
visited仍能防住；但建图阶段应提前去重 - 连通分量统计需外层循环：对每个
i，若!visited[i]，才启动一次dfs_stack(i)
真正难的不是写个std::stack，而是想清楚「当前节点处于遍历流程的哪个阶段」——这决定了你该压什么、何时访问、要不要暂存中间状态。状态机思维比语法细节重要得多。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
