尾递归是函数在末尾直接调用自身且无后续计算的递归形式，如阶乘函数通过累积参数避免栈帧堆积，编译器可将其优化为循环以节省内存并防止栈溢出。
尾递归优化是一种编译器自动将特定形式的递归调用转换为循环的技术，目的是避免重复创建栈帧，从而节省内存并防止栈溢出。在C++中，这种优化依赖于函数调用是否处于尾位置，也就是递归调用是函数最后一个操作，且其返回值直接作为当前函数的返回值。
什么是尾递归
一个递归函数如果在函数末尾直接调用自身，并且没有后续计算，就称为尾递归。例如：
int factorial_tail(int n, int acc = 1) { if (n这个版本的阶乘函数使用了一个累积参数 acc 来保存中间结果，每次递归调用都把更新后的值传下去，最后一步就是递归调用本身，因此它是尾递归。
对比普通的递归：
立即学习“C++免费学习笔记（深入）”；
int factorial(int n) { if (n这里调用 factorial(n-1) 后还要执行乘法，所以不是尾递归，无法被优化。
编译器如何进行尾递归优化
C++标准不强制要求编译器实现尾递归优化，但主流编译器（如GCC、Clang）在开启优化选项（如-O2）时会尝试进行这类转换。
优化的基本原理是：当检测到尾递归调用时，编译器可以复用当前函数的栈帧。它通过修改参数值并跳转回函数起始位置，实现类似循环的效果，而不是压入新的栈帧。
具体过程如下：
- 将递归调用的参数加载到当前栈帧的对应位置
- 替换为 goto 或汇编中的跳转指令
- 避免调用堆栈的增长
这样，原本 O(n) 的栈空间复杂度变为 O(1)，等效于一个 while 循环。
影响尾递归优化的因素
即使函数是尾递归形式，也不一定总能被优化。以下情况可能阻碍优化：
- 存在析构函数调用：如果函数调用前后需要执行局部对象的构造或析构，编译器可能不敢优化
- 启用了调试信息：-O0 编译模式下通常不会优化，为了保留调用栈便于调试
- 函数指针或虚函数调用：间接调用难以静态判断是否为尾调用
- 编译器能力限制：某些复杂场景下，编译器无法识别尾调用模式
如何验证尾递归是否被优化
可以通过查看生成的汇编代码来确认。例如使用：
g++ -S -O2 code.cpp观察输出的 .s 文件。如果尾递归被优化，你会看到类似 jmp 指令代替了 call，说明发生了跳转而非函数调用。
也可以通过测试大输入是否导致栈溢出来间接判断。若程序在深递归下仍正常运行，很可能已被优化。
基本上就这些。尾递归优化是编译器的一项重要性能优化手段，在合适条件下能显著提升递归效率。虽然C++不保证支持，但在实际开发中合理设计函数结构并开启优化，往往能得到理想效果。
