尾递归优化的核心是编译器复用当前栈帧将其转换为循环，要求递归调用位于函数末尾、返回值直接传递、所有计算通过累加参数完成，且需开启-O2等优化选项才能生效。
尾递归转换中的参数传递性能优化，核心在于让编译器能复用当前栈帧，而不是为每次调用新建栈空间。这不靠程序员手动“提速”，而取决于参数如何设计、是否满足尾调用条件，以及编译器能否识别并转换为循环。
参数必须承载全部中间状态
尾递归函数需把计算过程中的变化值通过参数显式传递，而非依赖返回后再处理。比如阶乘中引入累加器 acc，每次递归都更新它：
- 普通递归：
return n * factorial(n-1)—— 乘法留在返回后做，必须保留当前栈帧 - 尾递归：
return factorial(n-1, acc * n)—— 所有计算已塞进参数，调用即终点
避免隐式计算和表达式包裹
return 语句里不能出现任何需要在递归返回后执行的操作。哪怕只多一个括号或一次类型转换，都会破坏尾位置：
- ✅ 正确：
return fib_tail(n-1, b, a+b) - ❌ 错误：
return (fib_tail(n-1, b, a+b))或return int(fib_tail(...))
这类写法会让编译器无法认定这是纯尾调用，从而放弃优化。
语言与编译器决定实际效果
参数设计得再规范，最终是否真能省栈，要看运行环境是否支持尾调用消除（TCO）：
- C/C++：GCC/Clang 在
-O2或更高优化等级下，对简单尾递归通常自动转为 while 循环 - Kotlin：用
tailrec修饰符，编译器强制转成循环，不支持则报错 - Python：官方解释器不支持 TCO，即使参数完全合规，仍会层层压栈；需靠装饰器模拟循环调度
- Java：无原生支持，需手动改写为迭代，或借助第三方库（如 Scala 运行在 JVM 上可做 TCO）
传参方式本身影响不大，关键是语义清晰
按值传递还是引用传递，在尾递归优化中不是性能瓶颈点。因为优化发生在调用前——只要参数值能被安全重写，编译器就会直接修改寄存器或栈上对应位置，而非拷贝新副本。真正重要的是：
- 参数列表足够表达当前计算阶段的全部上下文
- 没有隐藏的副作用（如全局变量修改、I/O）干扰控制流判断
- 基线条件（base case）直接返回参数值，不加额外逻辑
