单写仅插入、单读遍历场景下std::unordered_map无锁访问是否线程安全？

单写单读场景下std::unordered_map并发安全性解答 #

1. 你描述的并发操作不是线程安全的 #

• C++标准对STL容器的线程安全有明确约定：仅当所有访问线程均调用const成员函数时，并发访问才是安全的。只要存在任意线程调用非const成员函数（此处的insert属于非const操作），同时有其他线程访问容器，就属于未定义行为。
• 你提到的「仅插入不删除时迭代器不会失效」的结论本身成立，但适用前提是单线程场景，仅指插入操作完成后，之前已获取的迭代器仍可指向正确元素，不代表并发插入过程中迭代器可以正常使用。
• 插入操作执行过程中，std::unordered_map的内部结构会处于瞬时不一致状态：比如插入新节点时修改哈希桶的链表指针、负载因子超限触发rehash时重排所有桶的节点关联关系。此时读线程用const迭代器遍历，大概率会读取到半修改的内部指针，触发野指针访问、遍历漏元素/重复遍历等问题，和迭代器是否失效没有关联。

2. 适配你业务场景的最优方案 #

你的场景特征为「插入偶发、插入要求非阻塞、读频率极高且时延要求低」，优先推荐RCU（读拷贝更新）方案，完全匹配性能要求：

• 实现逻辑：用std::shared_ptr<std::unordered_map<int, Count>>持有容器，读线程每次通过原子加载操作获取shared_ptr，直接遍历即可，遍历结束后shared_ptr会自动释放旧版本资源；写线程执行插入时，先拷贝当前的完整容器，在副本上执行insert操作，完成后原子替换原有的shared_ptr即可。
• 方案优势：读操作全程无锁、时延极稳定；插入操作因为频率极低，拷贝容器的开销完全可以接受，且插入过程不需要阻塞任何读线程，符合非阻塞要求。

如果你的容器规模极大，拷贝开销无法接受，可以选择第二种轻量方案：

• 提前调用reserve()为std::unordered_map预分配远大于预计最大容量的空间，彻底避免插入操作触发rehash，再基于seqlock实现并发访问：维护一个原子递增的序列计数器，写线程插入前将计数器加1（保证写入中计数器为奇数）、插入完成后再加1（写入完成后计数器为偶数）；读线程遍历前读取计数器，若为偶数则开始遍历，遍历完成后再次读取计数器，两次值一致则读取有效，不一致则重试。由于插入操作非常偶发，读线程重试的概率极低，性能损失可以忽略。

内容的提问来源于stack exchange，提问作者deadbeef