C++17中inline静态数据成员跨翻译单元线程安全初始化相关问题

问题背景 #

我正在学习C++17中的inline静态变量及其跨翻译单元的初始化机制。我知道inline静态变量的引入是为了在程序中保持单一实例，并确保线程安全的初始化。不过使用这类变量时，编译器似乎会添加检查来保证初始化的线程安全性——这是因为头文件会被多个翻译单元包含，编译器无法预测哪个单元会先执行初始化。

我了解存在某种防护机制来避免重复初始化。

问题 #

1）每个翻译单元在运行时初始化该变量时，是否都存在线程安全防护？
2）变量初始化完成后，整个程序中对其进行访问/使用时是否无需同步原语？

解答 #

1）每个翻译单元的初始化线程安全防护 #

是的，每个包含该inline静态变量的翻译单元，在尝试初始化变量时都会触发线程安全检查逻辑。

C++17标准明确要求inline静态变量的初始化必须是线程安全的，且保证全局范围内仅执行一次初始化。编译器会为每个翻译单元生成的代码中加入初始化防护逻辑：当某个线程首次访问该变量时，会先检查变量是否已完成初始化。如果未初始化，会进入同步控制流程（比如原子状态检查+互斥锁），确保只有一个线程能执行初始化操作，其他线程会等待初始化完成后再继续执行。

即便多个翻译单元的代码都触发了初始化检查，最终也只会有一次真正的初始化操作，其余的检查会直接跳过初始化步骤，直接使用已初始化完成的变量。

2）初始化完成后的访问无需额外同步原语 #

是的，一旦inline静态变量完成初始化，后续对它的访问不需要额外的同步原语，具体分为两种情况：

• 对于const类型的inline静态变量（比如示例中的std::string name{"Miko"}），初始化完成后其值不会被修改，多线程下的读取操作天然线程安全，完全不需要同步。
• 对于非const的inline静态变量，只要初始化完成后，对变量的读写逻辑本身符合线程安全要求（比如避免无保护的并发写入，或写入操作已通过其他同步机制管控），单纯的访问操作不需要因为初始化机制再额外添加同步——初始化阶段的防护逻辑仅作用于初始化过程，初始化完成后就不会再介入。

示例代码 #

#ifndef THING_H
#define THING_H
#include <string>
class Thing
{
public:
    inline const static std::string name{"Miko"};
};
#endif // THING_H

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