为何要在函数内部使用thread_local？线程安全函数中该关键字的使用疑问

这个问题问得特别好！你之前的核心认知其实没错——如果函数不修改非局部/共享数据，那它确实是线程安全的，但这里的关键是你可能没注意到：这段代码里的static std::mt19937 generator其实是会被修改的非局部数据，而且默认情况下是所有线程共享的！

我来给你拆解清楚：

• 首先，std::mt19937是伪随机数生成器，每次通过distribution(generator)调用它时，它的内部状态都会被更新——这本质上就是在修改这个generator对象，只是不是显式的赋值语句，容易被忽略。
• 如果只使用static修饰generator，它会变成一个全局唯一的实例，所有线程调用intRand时都会操作同一个generator。多个线程同时修改它的内部状态，会引发竞争条件：生成的随机数可能不符合预期分布、重复，甚至触发未定义行为，完全谈不上线程安全。
• 加上thread_local之后，这个generator就变成了每个线程专属的独立实例。每个线程调用intRand时，只会修改自己线程内的generator，不会和其他线程的实例产生共享竞争，这样整个函数才真正实现了线程安全。

简单来说，你之前的认知差了一步：这个函数其实一直在修改非局部数据（generator的内部状态），只是这个修改比较隐蔽。thread_local的作用就是把这个共享的非局部数据，变成每个线程私有的，从而消除线程间的竞争。

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