c++ set::insert返回pair，second为true表示成功插入，false表示键已存在；自定义比较器必须满足严格弱序，否则行为未定义。
set 插入重复元素时 insert 返回值怎么判断是否真正插入？
直接看返回值：C++ set::insert 返回一个 std::pair<iterator bool></iterator>，其中 second 为 true 表示新元素被成功插入，false 表示该键已存在、未插入。
别依赖返回的 iterator 是否等于 end() ——它总是有效迭代器（指向已有或新插入元素），不能用来判重。
常见误用：if (s.insert(x).first != s.end()) { ... } —— 这永远成立，毫无意义。
正确写法：
auto [it, inserted] = s.insert(x);
if (inserted) {
// 真正新增了
} else {
// x 已存在，it 指向原元素
}
自定义比较器必须满足「严格弱序」，否则 set 行为未定义
很多崩溃或逻辑错乱，根源不是写错了函数，而是比较器违反了严格弱序三条件：非自反性、反对称性、传递性。最典型踩坑是用 或 <code>!= 实现比较器。
例如错误写法：
struct BadComp {
bool operator()(const int& a, const int& b) const {
return a
<p>正确写法只用 <code>，且确保逻辑无歧义：</code></p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill2659" title="C++"><img
src="https://img.php.cn/upload/skill/000/000/081/178927213426672.jpg" alt="C++" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill2659" title="C++" class="overflowclass">C++</a>
<p class="overflowclass">"空空如也"</p>
</div>
<a rel="nofollow" href="/xiazai/skill2659" title="C++" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
- 若按绝对值排序：
abs(a) （注意处理负数相等场景） - 若先按长度、再按字典序比较 string：
s1.size() - 若想降序，直接写
a > b，不要绕弯子写!(a （不满足传递性）
用 set 去重 + 排序，但需要保留原始插入顺序？不行，得换容器
set 天然按比较器排序，插入顺序完全丢失。如果你的需求是「去重但保持首次出现顺序」，set 不适合，哪怕加个时间戳字段也难保稳定（多线程/重复值干扰）。
替代方案更务实：
- 用
std::unordered_set记录已见元素，另用std::vector存唯一序列：if (seen.insert(x).second) unique_vec.push_back(x); - 若还需后续快速查找，可封装成小类，内部维护
unordered_set+vector - 别硬套
set加自定义时间戳比较器——排序逻辑变复杂，find效率下降，还容易因时间戳重复导致意外行为
性能敏感场景下，set::insert 单次调用 vs std::set 构造初始化
批量插入几十个以上元素时，逐个 insert 是 O(n log n)，而用迭代器区间构造（如 set(begin, end)）底层可能优化为 O(n log n) 甚至更低常数；但更关键的是内存局部性与分配次数。
实测差异明显的情况：
- 从 vector 批量去重排序：
std::set<int> s(v.begin(), v.end());</int>比循环insert快 10%–30% - 若已知数据基本有序，用
std::set::insert的 hint 版本（带迭代器参数）能降到均摊 O(1) ——但前提是 hint 尽量准，否则退化为普通 insert - 编译器对构造函数的优化更激进，比如 GCC 在 -O2 下会对
set{a,b,c}初始化做常量折叠
不过，如果插入是分散在不同逻辑分支中，就别强求合并——可读性和维护性优先。
真正容易被忽略的是：自定义比较器类型一旦用于 set 模板参数，就会参与模板实例化，若比较器含复杂状态或大对象，可能显著增加编译时间和二进制体积。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
