尾递归优化是编译器将满足条件的尾递归自动转为循环的技术，需同时满足：递归调用是最后操作、返回值直接返回、开启优化且平台支持；其通过复用栈帧、jmp跳转实现“伪循环”。
尾递归优化（Tail Call Optimization，TCO）是编译器或解释器在特定条件下，把尾递归调用自动转为循环执行的一种空间优化技术。它不改变程序逻辑，但能避免栈帧层层堆积，让递归函数像循环一样只用常数栈空间。
尾递归优化的前提条件
只有同时满足以下三点，编译器才可能启用 TCO：
- 递归调用必须是函数中最后执行的操作（不能有后续计算，比如
return f(n-1) + 1就不行） - 该调用的返回值必须直接作为当前函数的返回值（不能赋给变量、不能参与表达式、不能加包装）
- 编译时需开启优化选项（如 GCC/Clang 的
-O2），且目标平台支持栈帧复用（x86-64 通常支持，部分嵌入式环境可能禁用）
它怎么把递归变成“伪循环”？
普通递归每次调用都新建一个栈帧，保存当前参数和局部变量；而尾递归调用发生时，当前函数已无事可做——它的全部任务就是把控制权和新参数交给下一次调用。编译器识别到这点后，就直接复用当前栈帧：更新参数值，然后用 jmp（跳转）指令代替 call（调用），相当于“原地重启”函数。
例如 C++ 中的尾递归阶乘：
int fact_tail(int n, int acc = 1) {
if (n <= 1) return acc;
return fact_tail(n - 1, acc * n); // 满足尾位置
}开启 -O2 后，Clang 生成的核心汇编就是反复 jmp fact_tail，没有 push/call，栈深度恒为 1。
不同语言的支持情况
尾递归优化不是语言标准强制要求的功能，实际效果取决于实现：
- C/C++：GCC、Clang 在满足条件且开启优化时会自动做 TCO，但不保证 100% 触发
- Erlang/Elixir：运行时强制支持，所有尾调用都优化，是并发模型的基础
-
Kotlin：用
tailrec关键字标记，编译器确保优化并报错提示不合规写法 - Python/JavaScript（主流引擎）：不支持原生 TCO；ES6 虽规范了尾调用，但 V8、SpiderMonkey 等实际未启用
为什么需要手动改写成尾递归形式？
因为大多数直观的递归写法（如 n * factorial(n-1)）都不是尾递归——乘法操作必须等子调用返回后才能进行，栈帧必须保留。要启用优化，就得引入累加器（accumulator）把中间结果传下去，让每一步都“做完即返”：
✅ 尾递归写法：factorial_tail(n-1, n * acc)
❌ 普通递归写法：n * factorial(n-1)（调用后还要算乘法）
