std::next_permutation必须从升序开始才能枚举全部排列,未排序时仅生成字典序子链;重复元素下需先sort以保证自动去重;返回false表示已达最大排列并重置为最小排列,非错误。

std::next_permutation 必须从升序开始才能枚举全部排列
它不负责“找起点”,只负责“从当前状态推进到下一个字典序排列”。如果你传入 {2, 1, 3} 就直接调用,它只会生成从这个状态出发的后续排列({2, 3, 1} → {3, 1, 2} → {3, 2, 1}),然后返回 false 并重置为 {1, 2, 3} —— 但你已经漏掉了 {1, 2, 3}、{1, 3, 2} 等前面的排列。
正确做法是:先调用 std::sort,再用 do-while 循环包裹第一次处理逻辑:
std::vector<int> v = {3, 1, 2};
std::sort(v.begin(), v.end()); // 必须有
do {
// 处理当前排列,比如打印
for (int x : v) std::cout
<ul>
<li>用 <code>while</code> 替代 <code>do-while</code> 会漏掉初始排列(即排序后的第一个)</li>
<li>对 <code>std::string</code>、<code>std::array</code> 同样适用,但 <code>std::list</code> 不行——它不支持随机访问迭代器</li>
<li>未排序输入下调用仍会运行,但结果不是全集,而是某个字典序子链</li>
</ul>
<h3>重复元素时 std::next_permutation 自动去重,但前提是已排序</h3>
<p>它内部按字典序比较并跳过等价排列,不是靠哈希或额外容器去重。例如 <code>{1, 1, 2}</code> 排序后是 <code>{1, 1, 2}</code>,调用 <code>next_permutation</code> 全遍历只会输出 3 种排列,而非 3! = 6 种。</p>
<p>但如果初始是 <code>{1, 2, 1}</code>(未排序),它仍会工作,只是起点错位,可能重复或遗漏——比如先输出 <code>{2, 1, 1}</code>,再回到 <code>{1, 1, 2}</code>,导致部分排列被跳过或重复出现。</p>
<ul>
<li>重复元素下,必须先 <code>std::sort</code>,否则“自动去重”不成立</li>
<li>不需要手写 <code>std::set</code> 或 <code>std::unique</code> 去重,函数内部已保证结果无重复</li>
<li>自定义比较器(如 <code>std::greater<int>()</int></code>)也需与初始排序方式一致,否则行为未定义</li>
</ul>
<h3>std::next_permutation 返回 false 不代表出错,而是“已到底”</h3>
<p>常见误解是把 <code>false</code> 当成错误码或异常信号。实际上,它只是说明“当前已是字典序最大排列”,此时函数已将容器重排为最小排列(升序),并返回 <code>false</code>。这不是失败,而是设计行为。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<p>典型错误写法:</p>
<pre class="brush:php;toolbar:false;">if (!std::next_permutation(v.begin(), v.end())) {
std::cerr
-
false出现在循环末尾是正常终止条件,不是错误分支 - 它的时间复杂度是
O(n),远优于回溯生成全排列的指数开销,适合 n ≤ 10⁴ 的单次推进场景 - 若需逆序枚举(从大到小),改用
std::prev_permutation,但起点必须是降序(std::sort(v.begin(), v.end(), std::greater<int>())</int>)
自定义比较器要小心严格弱序和一致性
传入第三个参数 comp 时,std::next_permutation 会用它判断字典序,但要求该比较器满足严格弱序,且必须与你初始化容器时所用的排序方式完全一致。
比如你想按绝对值排列 {-3, 1, -2},不能只写:
auto abs_less = [](int a, int b) { return std::abs(a)
<p>因为 <code>std::next_permutation</code> 内部实现依赖于“前一个排列能被唯一确定”,而自定义比较器若在相等元素间无法稳定区分(如 <code>abs(-2) == abs(2)</code>),会导致推进逻辑断裂。</p>
- 仅当所有元素在
comp下两两可比、且无等价类干扰字典序推进时,才安全使用 - 多数情况下,用默认
operator 最稳妥;真需定制,优先考虑预处理映射(如转为索引+权重数组) - 结构体排序更危险:若
comp只比较字段 A,但字段 B 不同,next_permutation可能生成语义重复却内存不同的排列
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










