不能直接用std::next_permutation,因其为字典序迭代实现,不满足“递归回溯与交换”要求;正确写法是固定参数string& s, int pos,循环从i=pos开始,严格执行交换→递归→换回三步,并用unordered_set去重。

全排列为什么不能直接用 std::next_permutation?
因为题目明确要求“递归回溯与交换算法”,std::next_permutation 是基于字典序的迭代实现,不满足算法设计意图;它还要求输入已排序,且无法体现“交换—递归—还原”的核心思想。实际面试或教学场景中,考的是对状态空间树和剪枝逻辑的理解,不是调库能力。
递归函数怎么写才不重复、不漏解?
关键在两个控制点:递归边界(当前处理位置 pos 是否到达末尾)、可选字符范围(从 pos 开始向后枚举,每次把一个字符换到 pos 位置)。必须做“交换 → 递归 → 换回”三步,否则后续分支会污染状态。
常见错误现象:ab 输出 ab, ba, ba, ab(重复)或只输出 ab(漏解),本质是没重置、或循环范围写成 [0, pos) 而非 [pos, len)。
- 递归参数建议固定为
string& s, int pos,避免传值拷贝字符串 - 循环从
i = pos开始,不是i = 0;否则会反复交换前面已确定的位置 - 每次
swap(s[pos], s[i])后必须调用dfs(s, pos + 1),再swap(s[pos], s[i])回退
如何处理重复字符导致的重复排列?
原始交换法对 aab 会输出 6 个结果(含重复),但实际不同排列只有 3 个:aab, aba, baa。根本原因是同一层递归中,对相同字符多次交换等价操作。
解决方式是在每层循环开始前,用 unordered_set<char></char> 记录本轮已用过的字符;或更省内存地,先排序 + 判断 s[i] == s[i-1] && !used[i-1](需额外 used 数组)。但注意:交换法里没有全局 used 数组,所以推荐前者。
示例片段:
unordered_set<char> seen;
for (int i = pos; i
<h3>为什么原地交换比使用 visited 数组更难调试?</h3>
<p>因为状态变化隐式发生在字符串本身,而不是显式的布尔数组。一旦忘记回退 <code>swap</code>,后续所有递归分支都基于错误字符串运行,错误会逐层放大,且难以通过打印中间变量定位——你看到的 <code>s</code> 始终是最新值,不是该层入口时的快照。</p>
<p>最容易被忽略的点:递归函数开头不要加 <code>if (pos == s.length()) { ... return; }</code> 就完事,必须确保这个 <code>return</code> 发生在所有交换逻辑之外;否则可能跳过回退步骤。另一个坑是把 <code>swap</code> 写成 <code>std::swap</code> 却没 <code>#include <utility></utility></code>,编译报错信息模糊,容易误判为逻辑问题。</p></char>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











