std::unique必须配合erase使用才能真正去重，因其仅将相邻重复元素移至末尾并返回新逻辑尾迭代器，不改变容器size，单独调用会残留无效元素。
直接说结论：用 std::unique 配合 erase 是唯一标准解法，但必须注意它只删相邻重复项，且不会真正缩短容器——漏掉 erase 就会留一堆“幽灵元素”。
为什么 std::unique 不能单独用？
std::unique 只是把重复的相邻元素“挤到末尾”，返回一个指向新逻辑结尾的迭代器，原 vector 大小（size()）完全不变。如果你只调 std::unique 不跟 erase，后续遍历时仍会访问到那些被覆盖但未删除的旧值。
常见错误现象：
- 循环打印全部元素，发现末尾出现意外重复或脏数据
- size() 没变，但实际有效元素变少了，导致越界或逻辑错
正确做法（必须成对使用）：
auto last = std::unique(v.begin(), v.end()); v.erase(last, v.end());
std::unique 的行为边界在哪？
它只处理“已排序”或“天然相邻重复”的场景。比如 {1,2,2,3,3,2} 经 unique 后变成 {1,2,3,2,3,2}（仅去掉了中间连续的 2,2 和 3,3），最后一个 2 不会被删——因为它不和前面的 2 相邻。
立即学习“C++免费学习笔记（深入）”；
使用场景限制：
- 输入本身已是升序/降序（如
sort后接unique去重） - 原始数据天然满足“相同值总相邻”（如日志按时间追加、状态流输出）
- 想保留首次出现顺序，且只关心连续段（例如行程压缩
"aaabbbcc"→"abc"）
如果目标是“全局去重”，得先 sort 再 unique，或者改用 std::set / std::unordered_set 辅助。
自定义比较时，std::unique 怎么写？
默认用 ==，但你可以传入二元谓词。注意：它判断的是“当前元素是否等于前一个”，不是“是否等价于任意已有元素”。
例如按绝对值去重相邻项：
auto last = std::unique(v.begin(), v.end(),
[](int a, int b) { return std::abs(a) == std::abs(b); });
v.erase(last, v.end());关键点：
- 谓词参数顺序固定：
(first, second)，其中second是当前要判断的元素 - 它只比较相邻两个，不跨元素；所以
{-2, 2, -2}会变成{-2, -2}（因为-2和2被判相等，2被移走；接着-2和下一个-2又相邻，但此时它们在新序列里不相邻） - 性能无额外开销，仍是 O(n)，但谓词别写太重
有没有更省事的封装？
可以写个 inline 辅助函数，避免每次手写两行：
template<typename T>
void unique_inplace(std::vector<T>& v) {
auto last = std::unique(v.begin(), v.end());
v.erase(last, v.end());
}但要注意：C++20 引入了 std::ranges::unique，支持直接作用于容器（配合 erase 仍需手动），目前主流项目还是以传统写法为主。另外，别用 remove_if 替代——它按值判断，无法表达“和前一个相同”这个逻辑。
最易忽略的一点：所有基于迭代器的算法（包括 unique）都要求迭代器可写，const vector 或 vector<const T> 场景下根本编译不过。
