Python头递归与尾递归对比：头递归未栈溢出且性能更优？

1. 头递归没触发栈溢出的原因 #

你在代码开头调用了sys.setrecursionlimit(15000)，将CPython默认的递归深度限制（约1000层）上调到了15000层，你测试用的10000层递归调用深度在限制阈值以内，因此不会触发RecursionError。如果删除这行配置再运行，头递归就会按你预期抛出栈溢出错误。

2. 尾递归性能更差的核心原因 #

CPython（Python官方默认解释器）从设计上就不支持尾递归优化（TCO, Tail Call Optimization），这是你遗漏的最核心知识点：

• 尾递归优化是部分编程语言（如Scheme、Haskell）的特性，会在调用尾递归函数时复用当前栈帧，不会新增栈空间占用，也不会累加调用深度。
• CPython没有实现该特性，无论你写的是头递归还是尾递归，每一层函数调用都会新增独立栈帧，尾递归不会有任何栈空间或性能上的优势。
• 你实现的尾递归版本额外传递了currentValue参数，每一层调用的参数处理开销比头递归更高，所以最终运行耗时更长，完全符合CPython的运行逻辑。

3. 相关补充知识点 #

• sys.setrecursionlimit只是修改解释器层面的递归深度校验阈值，不是真正允许无限递归：如果设置的阈值超过操作系统给进程分配的栈空间上限，过深的递归仍然会触发进程崩溃，而非单纯的Python层面异常。
• 要在Python中实现大深度的递归逻辑且不触发栈溢出，只能手动将递归改写成迭代实现，或用蹦床模式（Trampoline）手动管理调用栈，不要依赖解释器的尾递归优化能力。

内容的提问来源于stack exchange，提问作者Benjamin van Heerden