std::flat_multimap不是高并发友好容器，它不支持并发读写，写操作使所有迭代器失效；底层为两个并行vector，键值对按key升序排列、内存连续，查找O(log n)但插入均摊O(n)，无线程安全保证。
std::flat_multimap 不是高并发友好容器，它完全不支持并发读写，且写操作会令所有迭代器失效；所谓“高并发友好”是常见误解。
std::flat_multimap 的底层结构和内存布局
它本质是两个并行的 std::vector：一个存排序后的 Key，一个存对应位置的 Value，键值对按 Key 严格升序排列（允许重复），Key[i] 和 Value[i] 构成一对。没有节点指针、没有堆分配元数据，内存连续。
这带来几个直接后果：
- 查找用
std::lower_bound+std::upper_bound在 key vector 上二分，时间复杂度 O(log n)，但常数极小 - 插入新元素需在正确位置腾出空间，平均移动 O(n) 个元素；删除某 key 的全部匹配项更重，可能触发两次大规模搬移
-
begin()/end()返回随机访问迭代器，遍历速度远超std::multimap（L1 cache 友好） - 不支持
operator[]，也不提供at()—— 因为 key 不唯一，无法定义“单个值语义”
insert() 和 equal_range() 的实际行为差异
insert() 总是成功，返回指向新元素的迭代器，但该迭代器在下一次任何修改后立即失效；equal_range(key) 返回 std::pair<iterator iterator></iterator>，范围内所有元素 key 相等，且顺序与插入顺序无关（只按 key 排序）。
立即学习“C++免费学习笔记（深入）”；
常见错误现象：
- 用
for (auto it = mm.equal_range(k).first; it != mm.equal_range(k).second; ++it)—— 错！两次调用equal_range可能因内部重排导致第二个结果越界 - 保存
equal_range返回的迭代器，之后调用insert()或erase()，再解引用 → 未定义行为（UB） - 误以为
insert({k,v1}), insert({k,v2})会保持v1在v2前 —— 实际按 key 排序，value 顺序无保证
安全做法：
- 先调用一次
auto [b, e] = mm.equal_range(k);，再用b和e遍历 - 批量插入用
insert(first, last)，避免单次高频调用 - 需要稳定顺序时，额外维护一个
std::vector<:pair value>></:pair>并手动排序
和 std::multimap 的关键性能与语义断层
二者接口相似，但行为不可互换：
-
std::multimap::find()返回第一个匹配项；std::flat_multimap::find()也如此，但返回的是随机访问迭代器，it + 1合法，而std::multimap的双向迭代器不支持加法 -
std::multimap插入 O(log n)，std::flat_multimap插入均摊 O(n)；当元素数超过 ~5000，后者查找优势常被插入开销反超 -
std::multimap迭代器稳定（仅被自身 erase 失效）；std::flat_multimap任意修改（包括insert、erase、clear）都会使所有现存迭代器/引用失效 - 没有线程安全保证：即使只读，若另一线程正在修改，仍需外部同步；它不比
std::vector更“并发友好”
真正容易被忽略的一点：它不提供 merge()、extract() 等 C++17 后 map/set 新增的迁移接口，也无法像 std::unordered_multimap 那样通过 rehash 控制扩容节奏 —— 所有内存管理完全交给底层 vector，你只能控制初始容量（reserve() 对 key/value vector 分别调用才有效）。
