回溯法生成子集需在递归前保存当前路径,每层决定选或不选当前元素;含重复元素时须先排序并跳过同一层重复分支;位运算适用于小规模枚举;注意返回值设计与边界验证。

用 std::vector + 回溯递归生成所有子集
子集问题本质是枚举所有可能的选/不选组合,C++ 中最直接的方式是回溯:每层决定是否把当前元素加入临时路径,递归处理后续元素。关键不是“剪枝”,而是保证每个状态都被访问且不重复。
常见错误是把 push_back 和 pop_back 放错位置,或在递归前漏掉记录当前路径(子集包含空集,必须在进入递归前就 result.push_back(path))。
- 每次递归调用前先保存当前
path,对应一个合法子集 - 先选当前元素(
path.push_back(nums[i])),递归下一层;再撤销(path.pop_back()),继续尝试不选 - 递归终止条件其实可省略——当
i == nums.size()时自然结束,无需显式return
void backtrack(const vector<int>& nums, int i, vector<int>& path, vector<vector>>& result) {
result.push_back(path); // 当前路径就是一个子集
for (int j = i; j <h3>处理含重复元素的子集(如 <code>[1,2,2]</code>)</h3>
<p>原始回溯会生成重复子集,比如两个 <code>2</code> 交换顺序产生相同结果。解决方法不是用 <code>set</code> 去重(性能差、破坏顺序),而是在搜索树层面跳过等值的重复分支。</p>
<p>前提:先对输入排序。然后在循环内加判断:<code>if (j > i && nums[j] == nums[j-1]) continue;</code>。这个条件确保「同一层」中,相同数值只由第一个出现的位置展开分支。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>
<code>j > i</code> 是关键:它区分了“同一层”和“不同层”。<code>j == i</code> 是本层首次取该值,允许;后续等值的 <code>j</code> 就跳过</li>
<li>不能写成 <code>nums[j] == nums[i]</code>——那会错误地砍掉深层合法分支</li>
<li>排序是必要预处理,否则相等元素不相邻,跳过逻辑失效</li>
</ul>
<h3>用位运算枚举子集(仅适用于小规模 <code>nums.size() )</code>
</h3>
<p>长度为 <code>n</code> 的数组有 <code>2^n</code> 个子集,正好对应 <code>0</code> 到 <code>(1 的二进制表示。第 <code>k</code> 位为 <code>1</code> 表示选第 <code>k</code> 个元素。</code></p>
<p>优点是代码极简、无递归栈开销;缺点是无法剪枝,且当 <code>n > 20</code> 时 <code>1 可能溢出或耗时爆炸。</code></p>
<ul>
<li>外层循环 <code>for (int mask = 0; mask </code>
</li>
<li>内层用 <code>if (mask & (1 判断第 <code>i</code> 位是否为 <code>1</code></code>
</li>
<li>注意 <code>1 是 <code>int</code> 运算,若 <code>n >= 31</code> 必须用 <code>1LL </code></code>
</li>
</ul>
<h3>返回值设计与内存注意事项</h3>
<p>返回 <code>vector<vector>></vector></code> 是标准做法,但要注意:如果只是需要遍历而非全部存储,应改用回调函数(<code>function<void vector>&)></void></code>)避免中间结果堆积。尤其当输入较大但只需验证是否存在某个子集时,全量生成就是浪费。</p>
<ul>
<li>不要在递归中频繁 <code>vector<int>(path)</int></code> 构造新对象传参,优先用引用 + 回溯恢复</li>
<li>若需去重子集且原数组无序,<code>sort + unique</code> 成本高于一开始就排序 + 跳重</li>
<li>编译器对 <code>vector</code> 移动语义优化较好,但返回前仍建议用 <code>std::move(result)</code>(尤其 C++11 以上)</li>
</ul>
<p>真正麻烦的往往不是算法逻辑,而是边界——比如空输入、单元素、全重复数组,这些情况要手动跑一遍验证回溯的 <code>result</code> 是否包含空集、是否少解或多解。</p></vector></int></int>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










