next_permutation必须先排序，因为其仅生成字典序下一个排列，起始需为最小排列（升序）才能遍历全部；否则只得到不完整子序列。

next_permutation 为什么必须先排序？

std::next_permutation 不是从头生成所有排列，而是按字典序“推进”到下一个排列。它依赖当前序列已处于某个字典序位置——如果输入是 {3, 1, 2}，它只会给出下一个比它大的排列（{3, 2, 1}），然后返回 false；不会回退或补全前面的 {1, 2, 3}、{1, 3, 2} 等。

所以生成“全”排列的**前提**是：起始序列必须是字典序最小的那个，也就是升序排列。否则你只拿到一个不完整的子序列。

• 正确做法：std::sort(v.begin(), v.end()) 后再进循环
• 常见错误：直接对乱序容器调用，结果只输出 1–2 个排列就退出
• 注意：next_permutation 修改原容器，不需要额外空间

怎么用 while 循环安全遍历全部？

标准写法是先排序，然后用 do-while 或 while 配合返回值判断——但别漏掉第一个排列。

推荐 do-while，因为它确保至少执行一次，天然覆盖初始排序态：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::vector<int> v = {1, 2, 3};
std::sort(v.begin(), v.end());
do {
    // 处理当前排列，例如打印
    for (int x : v) std::cout 
<ul>
<li>如果用 <code>while</code>，得手动先处理一次再调 <code>next_permutation</code>，容易漏</li>
<li>
<code>next_permutation</code> 返回 <code>true</code> 表示成功生成下一个，<code>false</code> 表示已是最大排列（如降序）并自动重置为最小排列（升序）——但循环里你通常不希望它绕回来</li>
<li>它对重复元素也有效，会按“去重字典序”生成（比如 <code>{1,1,2}</code> 只出 3 种，不是 6 种）</li>
</ul>
<h3>自定义比较函数怎么传？</h3>
<p>当元素类型没定义 <code>，或你想按别的规则排（比如降序、按长度、按结构体字段），就得传第三个参数。</code></p>
<p>它必须是可调用对象，接受两个同类型参数，返回 <code>bool</code>：</p>
<pre class="brush:php;toolbar:false;">
std::vector<:string> words = {"cat", "dog", "bird"};
std::sort(words.begin(), words.end(), [](const auto& a, const auto& b) {
    return a.size() 
<ul>
<li>排序和 <code>next_permutation</code> 的比较器**必须一致**，否则行为未定义</li>
<li>不能混用：比如排序用 <code>std::greater()</code>，而 <code>next_permutation</code> 不传参——它会默认用 <code>，导致错位</code>
</li>
<li>字符串、数字等内置类型可省略第三参数；自定义类建议显式传，避免隐式转换干扰</li>
</ul>
<h3>性能和边界要注意什么？</h3>
<p><code>next_permutation</code> 是线性时间复杂度 O(n)，内部实现是经典的“找逆序后缀 + 查找交换 + 翻转”，比手写递归或 DFS 轻量得多，适合 n ≤ 10 的场景（10! = 3.6M，还能接受；12! 就超 4.7 亿了）。</p>
<ul>
<li>别在循环里做重 IO 或内存分配——每轮只做轻量处理，否则 I/O 成瓶颈</li>
<li>对 <code>std::list</code> 或其他非随机访问容器，不能直接用；它要求双向迭代器，但实际需 <code>RandomAccessIterator</code>（<code>vector</code>、<code>array</code>、原生数组可以，<code>list</code> 不行）</li>
<li>空容器或单元素容器调用会立即返回 <code>false</code>；传入 <code>end == begin</code> 是未定义行为，记得检查 size</li>
</ul>
<p>最常被忽略的一点：它只保证字典序“下一个”，不保证你拿到的是数学意义上的“全集”——前提是起始状态对、比较逻辑稳、容器没被意外修改。一着不慎，后面全偏。</p></:string>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！