std::map的insert操作是否线程安全？多线程插入代码正常存疑

首先明确结论：即使你的代码多次运行看起来没问题，多线程无同步地对std::map执行insert操作依然是严重的线程不安全行为，属于C++标准定义的未定义行为。

先拆解一下你的场景和代码：
你创建了1000个分离的线程，每个线程都往同一个全局std::map里执行1000次insert操作。代码看起来能跑，但这完全是巧合，不代表操作安全。

为什么这是不安全的？ #

根据C++标准对容器线程安全的规定：

• 多个线程同时只读访问同一个容器是安全的；
• 只要有一个线程执行写操作（包括insert、erase、clear等修改容器结构的操作），所有其他线程（无论读写）都必须被同步，否则会触发竞态条件，导致未定义行为。

std::map的底层是红黑树结构，插入操作会修改树的节点链接、平衡树结构——这些操作都不是原子的。当多个线程同时修改红黑树时，很可能会破坏树的完整性：比如节点的左右指针被同时修改，导致后续遍历出现死循环、内存泄漏、程序崩溃，甚至插入的元素丢失但程序表面看起来正常。

为什么你的代码看起来"正常"？ #

未定义行为的结果是不可预测的：它可能当场崩溃，可能运行一段时间后崩溃，可能悄悄损坏数据，也可能刚好在你的测试环境下没触发明显问题。你多次运行没出问题，只是还没遇到触发破坏的时机——比如当两个线程刚好同时修改红黑树的同一个分支时，才会暴露问题。

如何正确实现多线程insert？ #

最直接的解决方式是用互斥锁保护所有对std::map的写操作：

#include <mutex>
#include <map>
#include <thread>
#include <iostream>
#include <cstdlib>
#include <ctime>
#include <chrono>

std::map<int, class p*> k1map;
std::mutex map_mutex;

class p {
public:
    p(int val) : value(val) {}
    int value;
};

void writeMap() {
    for (int i = 0; i < 1000; i++) {
        long long random_variable = (std::rand()) % 1000;
        std::cout << "Thread ID -> " << std::this_thread::get_id() << " with looping index " << i << std::endl;
        // 加锁保护insert操作，确保同一时间只有一个线程修改map
        std::lock_guard<std::mutex> lock(map_mutex);
        k1map.insert(std::make_pair(i, new p(i)));
    }
}

int main() {
    std::srand((int)std::time(0));
    for (int i = 0; i < 1000; ++i) {
        long long random_variable = (std::rand()) % 1000;
        std::thread t(writeMap);
        std::cout << "Thread created " << t.get_id() << std::endl;
        t.detach();
    }
    // 注意：原代码detach后main直接退出会导致线程被强制终止，这里临时等待线程执行完毕
    std::this_thread::sleep_for(std::chrono::seconds(5));
    return 0;
}

补充说明：你原代码中detach线程后main直接退出，会导致线程可能还没执行完就被强制终止，这也是一个潜在问题，建议改用join或者添加更可靠的线程等待逻辑。

如果你的场景是读多写少，还可以用C++17及以上的std::shared_mutex实现读写分离锁，让读操作可以并发，写操作独占，进一步提升性能。

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