C++基于范围的for循环生成向量子集结果异常的原因排查

你的第二个代码之所以不符合预期，核心问题在于range-based for循环的底层依赖迭代器，而你在遍历过程中修改了容器（push_back），导致迭代器失效或遍历逻辑偏离预期，具体拆解如下：

1. 第一个代码的正确性逻辑 #

第一个代码里，你先记录了当前子集的数量n = subsets.size()，然后通过索引遍历前n个元素——这一步的关键是：

• 无论后续push_back多少次，你只处理当前current_num加入前已存在的子集，不会涉及新添加的元素。
• 索引访问在vector重新分配内存时依然安全：vector扩容时会把旧内存的元素复制到新内存，索引对应的元素始终是原来的那些初始子集。

2. 第二个代码的问题所在 #

range-based for循环的底层实现等价于：

auto&& range = subsets;
auto begin = range.begin();
auto end = range.end();
for (; begin != end; ++begin) {
    vector<int> subset = *begin;
    // 你的循环体逻辑
}

这里的end迭代器是在循环开始前就确定的，但你在循环体里执行subsets.push_back(subset)会带来两个问题：

• 迭代器失效风险：如果vector的容量不足以容纳新元素，push_back会触发内存重新分配，此时原来的begin和end迭代器都会变成无效的，继续遍历会导致未定义行为（比如重复处理元素、访问错误内存，生成混乱的子集）。
• 遍历范围的隐性错误：即使容量足够（迭代器未失效），虽然end不会更新，但这种写法很容易让人误以为会遍历所有子集（包括新添加的），但实际不会——不过更致命的是迭代器失效的情况，这是导致你结果不符合预期的核心原因。

修复方案 #

如果想继续用range-based for循环，你需要先复制一份当前的子集列表，遍历这份副本而非原容器，这样就不会受原容器修改的影响：

vector<vector<int>> findSubsets(const vector<int> &nums) {
    vector<vector<int>> subsets;
    subsets.push_back(vector<int>{}); //空集
    for (auto current_num : nums) {
        // 先复制当前所有子集到临时变量
        vector<vector<int>> temp = subsets;
        // 遍历临时副本，避免迭代器失效
        for (auto &subset : temp) {
            subset.push_back(current_num);
            subsets.push_back(subset);
        }
    }
    return subsets;
}

这样既保留了range-based for的简洁性，也保证了逻辑的正确性。

内容的提问来源于stack exchange，提问作者Michael