关于向量元素的弹出

Question

在给定二叉树和sum的情况下，以下代码用于查找等于特定sum的所有从根到叶的路径。

class Solution {
public:
    void buildResult(std::vector< std::vector< int > >& result, std::vector< int >& ans, TreeNode* root, int sum) {
        if(!root)
            return;

        ans.push_back(root->val);
        if(root->val==sum && !root->left && !root->right)
            result.push_back(ans);
        buildResult(result, ans, root->left, sum-(root->val));
        buildResult(result, ans, root->right, sum-(root->val));
        ans.pop_back();
    }

    vector<vector<int>> pathSum(TreeNode* root, int sum) {
        std::vector< vector< int > > result;
        std::vector< int > ans;

        if(!root)
            return result;

        buildResult(result, ans, root, sum);
        return result;
    }
};

上面的代码工作并生成预期的输出。但是，我不明白 ans.pop_back(); 语句的用法 - 我知道它是用于回溯，但究竟是什么时候进行的回溯？甚至在检查它们是否位于有效路径上之前，这些值就被插入到向量 ans 中。此外，pop_back()s 的数量应该很多，这取决于插入了多少导致错误总和的数字。有人可以向我解释一下这个工作吗？

谢谢！

Answer 1

回溯是通过递归函数返回来进行的。

递归函数在遍历树时通过将当前节点推入ans 来记录其路径。当它到达叶子时，它会检查叶子的值，如果匹配，它会记录刚刚构建的路径，方法是将ans 推入result。

您可以将ans 视为指向当前节点的面包屑路径。递归函数每次进入树中的一个节点，就将当前节点的值压入ans，当到达右叶时，面包屑的尾部就是叶节点的路径。

因此，递归函数通过返回离开它正在访问的当前节点。通过从递归调用返回，递归函数返回到其父函数。但不是在从当前的面包屑尾部移除最后一个面包屑之前，恢复面包屑的踪迹以仅包含到其父级的路径，这正是它返回的位置。