c++oding="utf-8" ?>
std::unique必须配合std::sort使用，因为它仅移除相邻重复元素，若未排序则无法去重；正确用法是先sort再unique并用erase截断，保序去重需改用unordered_set。
std::unique 为什么必须配合 std::sort 使用？
std::unique 不是“真正去重”，它只把**相邻重复元素压缩成一个**，并返回新逻辑尾部的迭代器。如果原数组无序，1,3,1,2,3 经 std::unique 后仍是 1,3,1,2,3（因为没相邻重复），结果完全无效。
所以必须先用 std::sort 把相同元素挤到一起。但注意：std::sort 改变原始顺序，若需保序（如按首次出现位置去重），就不能走这条路——得换哈希表方案。
- 适用场景：不关心原始顺序，只要结果集唯一且紧凑
- 时间复杂度：
std::sort平均 O(n log n)，std::unique是 O(n)，整体主导项是排序 - 空间复杂度：O(1) 额外空间（原地）
std::unique 返回值容易被忽略的关键细节
std::unique 不会真正删掉元素，它只是把去重后的序列移到开头，并返回指向“新逻辑末尾”的迭代器。如果你直接打印原容器，后面残留的是旧数据（未定义行为风险）。
常见错误写法：std::unique(v.begin(), v.end()); —— 这行代码什么都没留下，v.size() 没变，后续遍历时可能读到脏值。
- 正确做法：用返回值重新截断容器，例如
v.erase(std::unique(v.begin(), v.end()), v.end()); - 若用 raw array 或
std::vector的指针范围，必须自己记录新长度，不能依赖原 size - 对
std::vector，erase后内存自动收缩；对std::array则无法改变大小，只能维护有效长度变量
保序去重时 std::unique 完全失效，该用什么？
当输入是 [5,1,3,1,2,3]，你希望输出 [5,1,3,2]（保留首次出现顺序），std::sort + std::unique 会输出 [1,2,3,5]，彻底破坏顺序。
此时必须用哈希集合（std::unordered_set）做存在性检查，单次遍历完成：
std::vector<int> v = {5,1,3,1,2,3};
std::unordered_set<int> seen;
std::vector<int> result;
for (int x : v) {
if (seen.insert(x).second) { // insert 返回 pair<iter bool>，second 为 true 表示新插入
result.push_back(x);
}
}
</iter></int></int></int>
- 时间复杂度：平均 O(n)，最坏 O(n²)（哈希冲突严重时）
- 空间开销：O(n) 额外哈希表 + O(n) 结果容器
- 注意：
std::unordered_set要求元素可哈希；自定义类型需提供hash和==
性能敏感场景下，小数组别硬套 std::sort + std::unique
对几十个元素的数组，std::sort 的常数开销可能比暴力双循环还高。比如 n=30，O(n²) 暴力法实际更快，且保序、无需额外空间。
更现实的优化是：n ≤ 64 时用插入排序 + 手动查重（利用 cache 局部性）；n 更大再切到哈希或排序方案。
- std::sort 在小数组上不会自动降级为插入排序（取决于 libstdc++/libc++ 实现，但不可依赖）
- 用
std::vector::reserve()预分配结果空间，避免多次扩容影响保序方案性能 - 若编译器支持 C++20，
std::ranges::unique可省略erase步骤，但底层行为不变
真正难的不是选哪个函数，而是想清楚：你要的是唯一性，还是唯一性+顺序，还是唯一性+最小空间，三者无法同时最优。选错前提，再“高效”的代码也是白搭。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
