c++标准不保证尾调用优化，编译器行为不确定；验证方法是生成汇编并检查递归调用是否为jmp指令，或运行时监测栈深度。
尾调用在C++里根本不可靠
标准C++不保证尾调用优化（TCO），编译器可以做，也可以不做，甚至同一份代码在不同优化等级下行为不一致。你写成尾递归形式，g++ -O2 可能消掉栈帧，但换成 clang++ -O1 或加个调试变量，栈依然暴涨——这不是写法问题，是语言标准没要求。
怎么验证你的递归是否被优化了
别猜，直接看汇编或运行时栈深度：
- 用
g++ -O2 -S生成.s文件，搜函数名：如果递归调用变成jmp（而非call），说明大概率做了尾调用优化 - 在递归函数开头加
std::cout ，观察地址是否重复（不变 = 栈帧复用） - 故意传一个超大参数触发栈溢出，再开
-O2看是否还崩——这是最朴素但有效的实测方式
比尾递归更靠谱的替代方案
真遇到栈溢出，优先换思路，而不是赌编译器：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 改用迭代：把递归逻辑压进
std::stack或循环变量里，比如阶乘、树遍历都能转 - 手动分治 + 尾递归模拟：对深度敏感的场景（如快排最坏情况），用
while包一层，每次只递归处理较小的子区间，大的子区间用循环继续 - 设栈深阈值：在递归入口加
if (depth > 1000) { throw std::runtime_error("recursion too deep"); }，至少让崩溃可感知、可捕获
哪些情况尾递归一定失效
即使你写了“看起来”是尾调用的形式，以下情况会让编译器彻底放弃优化：
- 函数有析构语义：比如参数是带非平凡析构函数的类对象，或函数末尾有
std::vector临时量，栈帧不能简单复用 - 开启了
-fno-omit-frame-pointer（常见于调试构建），帧指针强制保留，TCO 失效 - 函数被标记为
[[noreturn]]或内联失败导致调用上下文复杂化 - 跨翻译单元调用：定义在另一个
.cpp文件里的函数，即使声明为inline，链接时也大概率无法优化
尾递归不是银弹，C++ 里它更像一个编译器看心情送的赠品。真正稳的解法，是提前预判深度、控制输入规模、或者干脆不用递归。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
