尾递归通过显式参数传递状态而非隐式闭包或全局变量。所有状态（如累加器、路径、标记）必须作为参数传入，初始调用需提供默认值；多状态建议用元组或只读结构体封装；复杂状态管理宜改用显式栈迭代。
尾递归本身不“共享”状态，它靠参数传递来延续计算上下文。所谓“状态”，其实是每次调用时显式传入的累积值（比如累加器、当前节点、路径列表等），而不是靠闭包或全局变量隐式维持。
状态必须通过参数显式传递
普通递归常依赖调用栈隐式保存中间状态（如阶乘中未完成的 n × ?），而尾递归把这部分“待完成工作”提前算好，塞进下一次调用的参数里。这意味着：
- 所有需要延续的信息都得作为函数参数传下去，不能藏在局部变量或外层作用域里
- 参数列表通常比原始递归多一个或多个“累积参数”（acc、result、path、depth 等）
- 初始调用时要手动补上初始状态值，比如
sumTail(n, 0)而不是sumTail(n)
避免闭包捕获导致的隐式状态
如果写成带闭包的尾递归（比如在匿名函数内引用外部变量），看似省了参数，实则破坏了尾递归可优化的前提：
- 编译器/运行时无法确认该闭包是否会被后续调用复用或修改
- 闭包变量可能被多层调用共同读写，造成逻辑耦合和不可预测行为
- Unity/C# 或 Java 这类不保证尾调用优化（TCO）的环境，闭包还会额外增加堆内存压力
正确做法是把所有状态都“摊平”为参数：需要计数就传 count，需要路径就传 List
多状态组合建议用元组或轻量结构体
当累积状态超过两三个字段时，硬塞进一堆独立参数会降低可读性。这时推荐：
- C# 中用
(int acc, int depth, bool isRoot)元组，或定义只读 record 如State(int Sum, TreeNode Node, int Level) - JavaScript/TypeScript 可用对象字面量
{ sum: 0, node: root, visited: new Set() }，但注意每次递归都要新建对象，避免复用同一引用 - 避免在状态对象里放可变集合（如未冻结的数组、字典），否则容易因误修改引发逻辑错误
迭代替代方案更适合复杂状态管理
如果状态涉及分支回溯、条件跳转、或需频繁增删元素（比如 DFS 中的 visited 集合 + 路径栈），尾递归反而会把逻辑绕晕。此时更清晰的做法是：
- 改用显式栈（
Stack<state></state>）配合 while 循环 - 把“状态”封装成类或结构体，在循环中统一更新
- 对树遍历等场景，用 pair 包装节点与标志位（如
(node, isProcessed)），比层层嵌套的尾递归更易调试
