能转但非所有递归都该转；尾递归、状态有限、无回溯、深度大者易安全转循环；树遍历、回溯、分治等强行转反难懂；模板递归属编译期机制，无法转运行时循环。
能转，但不是所有递归都该转；关键看问题结构、栈深度和是否需要中间状态。
哪些递归函数容易安全转成循环
满足以下全部条件的递归，基本可以无痛改写为循环：
- 是尾递归：递归调用在函数末尾，且不参与后续计算（如
factorial_tail(n-1, n*acc)） - 只依赖有限个变量传递状态（比如两个整数参数或一个指针+计数器）
- 没有隐式回溯需求（例如不涉及
left/right分支后合并结果的逻辑） - 递归深度可能超过几千层（避免栈溢出风险）
典型例子：阶乘、斐波那契迭代版、二分查找递归版 → 迭代版。这些改写后逻辑清晰，性能提升明显，且不会改变语义。
哪些递归强行转循环反而更难懂
这类转换虽技术上可行，但会显著增加代码复杂度，得不偿失：
- 树/图的深度优先遍历（如
preorderTraversal(root->left)+preorderTraversal(root->right)）——改成循环需手动维护栈，节点访问顺序易错 - 回溯类问题（如 N 皇后、全排列）——循环实现要显式压栈/弹栈+标记状态，可读性暴跌
- 分治算法（如归并排序的递归拆分）——循环模拟递归拆分逻辑冗长，边界条件极易出错
这时候保留递归不是偷懒，而是让代码匹配问题本身的自然结构。硬套循环只会把 stack<treenode></treenode> 和 while 堆出来，掩盖意图。
模板递归根本不能转成运行时循环
C++ 模板递归（如 Factorial）发生在编译期，生成的是常量表达式，不是函数调用。它和运行时的 for 或 while 属于完全不同的机制：
- 你没法在运行时“执行”一个
Factorial，它必须在编译时就确定值 - 模板递归深度受编译器限制（GCC 默认 900），超了报
error: template instantiation depth exceeds maximum，和栈溢出无关 - 想提高深度只能加编译选项（如
-ftemplate-depth=2000），不能靠改写成循环解决
混淆这两者，容易在 constexpr 函数里误用 while 导致编译失败，或者试图用模板递归去处理运行时才知大小的数组——都会卡在编译阶段。
真正要注意的，是别把“能转”当成“必须转”。递归的终止条件写错、栈爆了、重复计算没剪枝，这些问题比“用没用循环”重要得多。而模板递归和运行时循环之间，压根就不存在转换这回事。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
