闭包在复杂递归中通过外层函数封装状态，使内层递归函数无需重复传参即可访问path、cache等变量，简化签名、避免错误、自动维持回溯状态，并天然支持记忆化；需警惕循环中变量捕获陷阱。

闭包在复杂递归逻辑中，本质是把“需要跨多层调用持续持有的状态”从参数显式传递中解放出来，避免重复传参、减少出错，同时让递归函数更专注核心逻辑。

闭包替代层层传参，简化递归签名

传统递归常需把上下文变量（如路径列表、计数器、缓存字典）作为参数反复传入每一层。这不仅使函数签名臃肿，还容易因某次漏传或顺序错乱导致逻辑错误。

• 不用闭包：每次调用都要带path和visited，易出错
• 用闭包：外层函数初始化状态，内层递归函数直接访问，签名干净为dfs(node)

状态自动延续，避免手动维护递归栈

递归过程中，某些状态（如当前深度、已收集的解、最大值记录）需在回溯时更新或保留。若靠参数传递，必须在返回时显式处理“归”的逻辑；而闭包让这些变量天然驻留于外层作用域，递归进出自动共享同一份内存引用。

• 例如树路径求和：闭包中的current_sum随进入节点累加、退出节点回退，无需在每层return后手动减去节点值
• 再如全排列生成：闭包内的path列表可直接append和pop，逻辑清晰直观

配合记忆化（memoization），规避重复子问题

对有重叠子问题的递归（如动态规划类），闭包天然适配记忆化——外层定义cache = {}，内层递归函数可直接读写，无需把cache作为参数穿透所有层级。

• 典型例子：带剪枝的组合总和、爬楼梯变种、字符串分割等
• 优势在于缓存生命周期与递归过程完全对齐，且线程安全（单次调用内）

注意变量捕获陷阱：常见于循环中创建多个闭包

当在for循环内定义闭包并引用循环变量时，所有闭包可能共享同一个变量引用，导致意外结果。这不是闭包本身的问题，而是作用域理解偏差。

• 错误写法：funcs.append(lambda: i) → 全部返回最后的i值
• 修复方式：用默认参数绑定当前值，如lambda i=i: i，或改用functools.partial