尾递归虽不折损表达力，但强行改写自然递归会带来逻辑失真、状态外显、结构僵化三类代价：破坏分治结构、暴露累加器中间状态、难以适配多分支回溯问题。

尾递归本身不折损表达力，但把一个自然递归问题强行改写成尾递归形式时，可能带来三类直观代价：逻辑失真、状态外显、结构僵化。

一、破坏问题的自然分治结构

很多递归问题天然具有“先递归、后组合”的结构。比如二叉树中序遍历：
自然写法是：递归遍历左子树 → 访问根节点 → 递归遍历右子树。
要改成尾递归，就必须把“等待右子树结果再拼接”的过程拆解、压平，引入显式栈或状态标记（如visited标志），实际变成手动模拟调用栈——此时代码不再反映问题本质，而是反映执行机制。

二、累加器强制暴露中间状态

尾递归依赖累加器（acc）传递进度，这会让原本隐含在调用栈中的控制流和数据流被迫上浮为参数：

• 阶乘中，n * acc 把“乘法延迟到回退时做”改为“提前算好传下去”，语义从“5×(4!)”变成“当前积是5×前积”，数学直觉被削弱；
• 斐波那契尾递归需两个累加器（a, b），对应F(n-2), F(n-1)，而原始定义F(n) = F(n-1) + F(n-2)更贴近数学表述；
• 树的深度计算若硬套尾递归，就得把“左右子树深度取大再+1”拆成带高度偏移的迭代更新，丧失可读性。

三、难以适配多分支或回溯型递归

当递归路径不唯一、需试探与撤回时，尾递归建模成本陡增：

• 全排列、N皇后、路径搜索等问题依赖“调用→尝试→失败则回退”的隐式栈行为；
• 尾递归要求每步只走一个方向且无副作用，强行转化需把所有待探索分支预存为队列或栈，再用循环逐个展开——这已不是尾递归，而是显式状态机；
• 此时原递归的简洁性和错误隔离性（每个调用帧独立）反而丢失。

本质上，尾递归优化是执行层面的工程妥协，不是语义层面的等价替换。它保住了线性递归的效率，却让部分结构性、组合性、试探性问题的表达变得更绕、更底层。是否采用，取决于你优先保障可读性，还是内存确定性。