尾递归需严格满足结构条件才能被优化，否则仍栈溢出；必须将累积值作参数传递、基例判断前置、调用为最后操作，且依赖语言/运行时支持，否则无效。
尾递归本身不是“更安全”的递归，而是需要严格满足结构条件才能被优化的写法。很多开发者误以为只要最后调用自己就是尾递归，结果代码仍会栈溢出——问题不在“有没有递归”，而在“是不是真尾递归”以及“运行环境支不支持优化”。
终止条件写错或位置不对
尾递归函数必须在进入递归调用前完成所有判断，否则可能执行无效递归或跳过基例。
- 错误写法：先递归再检查，比如
return f(n-1) + 1（这不是尾递归，因为还要做加法） - 正确做法：把累积值作为参数传入，所有计算在递归调用前完成，如
return f(n-1, acc + 1) - 常见疏漏：基例条件写成
n == 1却忘了n == 0，导致小输入就崩溃
递归调用不是函数的最后一个操作
哪怕只多一个加法、拼接或布尔运算，都会破坏尾调用性质，使编译器/解释器无法优化。
- 非尾递归示例：
return n * factorial(n-1)—— 乘法在递归返回后才执行 - 尾递归写法：
return factorial_tail(n-1, acc * n)—— 调用即返回，无后续操作 - 注意：语言特性决定是否能优化。C++/Rust 编译器可能自动优化尾递归；Java 和 Python 默认不优化，只能靠手动改写为迭代
忽略语言和运行时限制
写了尾递归，但环境不支持优化，等于白写；强行依赖未启用的优化，上线后照样 StackOverflowError。
- Python：即使写成
factorial_tail(n-1, acc*n)，默认仍受sys.getrecursionlimit()限制，需配合sys.setrecursionlimit()或彻底转为循环 - Java：JVM 不支持尾递归优化，必须手动展开为 while 循环，或用 trampoline 技术模拟
- C++：开启
-O2或-O3后，部分尾递归可被优化为跳转指令，但需确保无闭包、无异常处理干扰
参数设计不合理导致逻辑错误
尾递归依赖额外参数保存中间状态，若初始值设错、更新顺序反了，结果全错，还难以调试。
- 阶乘中
acc初值应为 1，不是 0；斐波那契尾递归需两个累积参数(a, b)，不能只传一个 - 更新顺序错误：比如先更新
n再用旧acc，或把acc * n写成n * acc（虽数学等价，但易混淆逻辑流向） - 建议：在函数开头加注释说明每个累加参数含义，例如
// acc: 已累积的乘积，从 1 开始
