函数内静态std::mt19937变量的并发使用是否线程安全？

核心结论 #

这段代码整体不是线程安全的，虽然静态std::mt19937变量的初始化过程是线程安全的，但并发调用时对生成器的访问会触发数据竞争，导致未定义行为。

详细解释 #

• 你提到的C++11标准规定函数内静态变量的初始化是线程安全的，这部分没问题：generator的初始化（包括用std::random_device生成种子）只会执行一次，多个线程首次调用函数时不会出现竞态条件。
• 但std::mt19937作为伪随机数生成器，每次调用它的operator()（也就是通过uniform_real_distribution调用它时）都会修改内部状态。当多个线程同时调用random_double时，本质是多个线程同时对同一个generator实例执行写操作，这属于数据竞争，会触发C++标准中的未定义行为——生成的随机数可能重复、不符合预期分布，甚至导致程序崩溃。

常见修复方案 #

• 每个线程独立持有生成器：使用thread_local修饰generator，让每个线程拥有独立的生成器实例，彻底避免跨线程状态竞争：

#include <random>

auto random_double(double min, double max) {
    thread_local std::mt19937 generator{std::random_device{}()};
    return std::uniform_real_distribution<> {min, max}(generator);
}

注：thread_local变量会为每个线程初始化一次，各线程的生成器状态完全独立，不会互相干扰。

• 互斥锁保护共享生成器：如果需要全局统一的随机序列，用std::mutex同步对generator的访问，强制线程串行操作生成器：

#include <random>
#include <mutex>

auto random_double(double min, double max) {
    static std::mt19937 generator{std::random_device{}()};
    static std::mutex gen_mutex;
    
    std::lock_guard<std::mutex> lock(gen_mutex);
    return std::uniform_real_distribution<> {min, max}(generator);
}

注：这种方式会牺牲部分并发性能，但能保证生成器状态的一致性。

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