尾递归通过在函数末尾直接返回递归调用结果，使当前栈帧可被复用，避免栈溢出；配合尾调用优化能有效支持深层递归。
递归函数在处理分治问题或树形结构遍历时非常直观，但容易因调用栈过深导致栈溢出。尤其在 JavaScript、Python 等语言中，调用栈长度有限，深层递归会触发“Maximum call stack size exceeded”错误。尾调用优化（Tail Call Optimization, TCO）是一种有效缓解该问题的策略，而实现它的关键在于使用尾递归并配合特定编程技巧。
什么是尾调用和尾递归
尾调用是指函数的最后一个操作是调用另一个函数（包括自身）。如果这个调用是递归调用，就称为尾递归。
在尾递归中，当前函数的返回值直接由递归调用的结果决定，不需要再进行额外计算。这意味着当前栈帧不再需要保留，理论上可以被复用，从而避免栈空间持续增长。
例如，以下为非尾递归的阶乘实现：def factorial(n):
if n return 1
return n * factorial(n - 1)
每次调用都要等待子调用返回后做乘法，因此不是尾调用。
改写为尾递归形式
通过引入累加器参数（accumulator），将中间结果传递给下一层，使递归调用成为尾操作。
def factorial_tail(n, acc=1):
if n return acc
return factorial_tail(n - 1, acc * n)
此时，factorial_tail(n - 1, acc * n) 是函数最后执行的操作，符合尾调用条件。
语言支持与实际执行限制
尽管尾递归在理论上可优化，但并非所有语言运行时都支持自动尾调用消除。例如：
- JavaScript：ES6 规范支持尾调用优化，但主流引擎（如 V8）出于调试和安全性考虑，默认未启用。
- Python：解释器不支持 TCO，必须依赖循环或手动模拟栈。
- Scheme、Scala、Haskell：明确支持尾递归优化。
因此，在不支持 TCO 的环境中，仍需其他手段防止栈溢出。
替代方案：手动模拟调用栈或转为迭代
当语言不支持尾调用优化时，可将尾递归逻辑转换为循环结构，彻底消除递归调用。
def factorial_iter(n):
acc = 1
while n > 1:
acc *= n
n -= 1
return acc
这种方法时间复杂度不变，空间复杂度从 O(n) 降为 O(1)，是最稳妥的优化方式。
基本上就这些。尾递归是优化递归的重要思路，但在实际开发中更应关注语言特性和运行环境是否支持。若不可靠，直接改写为迭代是更安全的选择。
