回溯是路径状态管理的自然需求，需在子树处理后恢复路径；必须用前序遍历保证顺序；每访问节点即加入路径，叶子节点时收集结果；引用传参需手动pop_back，值传递自动还原；推荐目标递减法判断路径和。

二叉树路径问题中，回溯不是“额外步骤”，而是路径状态管理的自然需求。关键不在于记住“要回溯”，而在于理解：每次递归进入子树时，当前路径是临时延伸的；一旦子树处理完，就必须恢复到进入前的状态，否则会影响另一分支的路径构造。

路径构建必须用前序遍历

从根到叶子的路径天然具有顺序性，只有前序（根→左→右）能保证节点值按访问顺序逐个加入路径。中序或后序会导致路径拼接错乱，比如把左子树末尾值误当作根之后的下一个节点。

• 每访问一个节点，立即把它加进当前路径（如 path.push_back(root->val)）
• 判断是否为叶子节点：左右子指针都为空 → 此时路径完整，可收集结果
• 非叶子节点才继续向左右递归，否则会空递归或越界

回溯的本质是“现场还原”

所谓“恢复现场”，就是把本次递归中修改的共享变量（如全局 path 数组）清理掉，让它回到调用本层函数之前的样子。这不是为了“优雅”，而是避免左子树的路径污染右子树的路径。

• 如果用引用传参（vector<int>& path），必须手动 pop_back() —— 因为数组被所有递归层共用
• 如果用值传递（string path 或 vector<int> path），系统自动复制，无需 pop_back，但空间开销略大
• 常见错误：只在左子树后 pop，忘了右子树后也要 pop（或两个都漏）

累加判定推荐“目标递减法”

比起一路累加再比对总和，更简洁安全的做法是：把 targetSum 作为参数向下传，每进一层就减去当前节点值。到达叶子时，只需判断 remain == root->val 即可。

• 避免整条路径求和带来的溢出或精度风险（尤其在大数或浮点场景）
• 提前剪枝：若某层 remain < root->val 且节点值全为正，可直接返回（视题目约束而定）
• 递归出口更清晰：叶子节点 + remain == root->val 二者同时满足才算成功路径

多路径收集需注意内存与结构设计

当题目要求返回所有路径（如 LeetCode 113、257），结果容器（vector<vector<int>> 或 vector<string>）应在主函数初始化，通过引用传入递归函数，避免重复构造。

• 路径字符串拼接建议延迟到收集时刻：先存 int 向量，最后统一转 string，便于调试和复用
• 动态分配路径数组时（如 C 风格 malloc），务必在回溯前完成拷贝，否则返回后内存可能失效
• 空树或无解情况要显式处理：root == nullptr 时直接返回空结果，不触发递归