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 << x << ' ';
std::cout << '\n';
} while (std::next_permutation(v.begin(), v.end()));
- 用
while替代do-while会漏掉初始排列（即排序后的第一个） - 对
std::string、std::array同样适用，但std::list不行——它不支持随机访问迭代器 - 未排序输入下调用仍会运行，但结果不是全集，而是某个字典序子链
重复元素时 std::next_permutation 自动去重，但前提是已排序
它内部按字典序比较并跳过等价排列，不是靠哈希或额外容器去重。例如 {1, 1, 2} 排序后是 {1, 1, 2}，调用 next_permutation 全遍历只会输出 3 种排列，而非 3! = 6 种。
但如果初始是 {1, 2, 1}（未排序），它仍会工作，只是起点错位，可能重复或遗漏——比如先输出 {2, 1, 1}，再回到 {1, 1, 2}，导致部分排列被跳过或重复出现。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 重复元素下，必须先
std::sort，否则“自动去重”不成立 - 不需要手写
std::set或std::unique去重，函数内部已保证结果无重复 - 自定义比较器（如
std::greater<int>()）也需与初始排序方式一致，否则行为未定义
std::next_permutation 返回 false 不代表出错，而是“已到底”
常见误解是把 false 当成错误码或异常信号。实际上，它只是说明“当前已是字典序最大排列”，此时函数已将容器重排为最小排列（升序），并返回 false。这不是失败，而是设计行为。
典型错误写法：
if (!std::next_permutation(v.begin(), v.end())) {
std::cerr << "No more permutations!\n"; // 错！这会误报第一次调用就“没下一个”
return;
}
-
false出现在循环末尾是正常终止条件，不是错误分支 - 它的时间复杂度是
O(n)，远优于回溯生成全排列的指数开销，适合 n ≤ 10⁴ 的单次推进场景 - 若需逆序枚举（从大到小），改用
std::prev_permutation，但起点必须是降序（std::sort(v.begin(), v.end(), std::greater<int>())）
自定义比较器要小心严格弱序和一致性
传入第三个参数 comp 时，std::next_permutation 会用它判断字典序，但要求该比较器满足严格弱序，且必须与你初始化容器时所用的排序方式完全一致。
比如你想按绝对值排列 {-3, 1, -2}，不能只写：
auto abs_less = [](int a, int b) { return std::abs(a) < std::abs(b); };
std::sort(v.begin(), v.end(), abs_less);
std::next_permutation(v.begin(), v.end(), abs_less); // 行为未定义！
因为 std::next_permutation 内部实现依赖于“前一个排列能被唯一确定”，而自定义比较器若在相等元素间无法稳定区分（如 abs(-2) == abs(2)），会导致推进逻辑断裂。
- 仅当所有元素在
comp下两两可比、且无等价类干扰字典序推进时，才安全使用 - 多数情况下，用默认
operator<最稳妥；真需定制，优先考虑预处理映射（如转为索引+权重数组） - 结构体排序更危险：若
comp只比较字段 A，但字段 B 不同，next_permutation可能生成语义重复却内存不同的排列
