尾递归通过显式参数传递状态而非隐式闭包或全局变量。所有状态（如累加器、路径、标记）必须作为参数传入，初始调用需提供默认值；多状态建议用元组或只读结构体封装；复杂状态管理宜改用显式栈迭代。

尾递归本身不“共享”状态，它靠参数传递来延续计算上下文。所谓“状态”，其实是每次调用时显式传入的累积值（比如累加器、当前节点、路径列表等），而不是靠闭包或全局变量隐式维持。

状态必须通过参数显式传递

普通递归常依赖调用栈隐式保存中间状态（如阶乘中未完成的 n × ?），而尾递归把这部分“待完成工作”提前算好，塞进下一次调用的参数里。这意味着：

• 所有需要延续的信息都得作为函数参数传下去，不能藏在局部变量或外层作用域里
• 参数列表通常比原始递归多一个或多个“累积参数”（acc、result、path、depth 等）
• 初始调用时要手动补上初始状态值，比如 sumTail(n, 0) 而不是 sumTail(n)

避免闭包捕获导致的隐式状态

如果写成带闭包的尾递归（比如在匿名函数内引用外部变量），看似省了参数，实则破坏了尾递归可优化的前提：

• 编译器/运行时无法确认该闭包是否会被后续调用复用或修改
• 闭包变量可能被多层调用共同读写，造成逻辑耦合和不可预测行为
• Unity/C# 或 Java 这类不保证尾调用优化（TCO）的环境，闭包还会额外增加堆内存压力

正确做法是把所有状态都“摊平”为参数：需要计数就传 count，需要路径就传 List<T> path，需要标记就传 bool visited。

多状态组合建议用元组或轻量结构体

当累积状态超过两三个字段时，硬塞进一堆独立参数会降低可读性。这时推荐：

• 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>）配合 while 循环
• 把“状态”封装成类或结构体，在循环中统一更新
• 对树遍历等场景，用 pair 包装节点与标志位（如 (node, isProcessed)），比层层嵌套的尾递归更易调试