C++17 inline static成员实例化时机与多实例问题咨询

问题1：inline static变量是否都会在main()启动前完成实例化？ #

不是。C++标准并未强制inline static变量必须采用延迟初始化，它的初始化时机和non-inline static变量遵循相同规则：

• 若变量通过常量表达式初始化（如inline static int val = 10;），属于静态初始化，必然在main()前完成；
• 若变量通过非常量表达式初始化（如示例中调用构造函数），属于动态初始化，编译器可选择在main()前初始化，也可延迟到首次使用前。你的测试代码中编译器选择了main()前初始化，这是符合标准的合法行为，不同编译器或优化选项下可能出现不同结果。

问题2：共享库场景下inline static成员出现多实例、多次构造的原因？ #

这是共享库的独立地址空间与符号规则导致的：

• C++11规定的静态变量线程安全初始化，仅针对**同一个二进制文件（可执行文件或单个共享库）**内的首次访问。
• 若多个共享库中都包含了inline static SharedData gSharedData;的定义，每个共享库会将该变量视为自己的独立符号，链接时不会合并这些实例，最终每个共享库都会拥有一份独立的gSharedData副本，因此会出现多次构造、实例地址不同的情况。

测试代码 #

#include <iostream>
#include <thread>
class SharedData {
public:
    SharedData() {
        std::cout << "Constructor called - Thread ID: " << std::this_thread::get_id()
            << ", Instance Address: " << this << std::endl;
    }
    static void print()
    {
        std::cout << "print() - > Thread ID: " << std::this_thread::get_id() << '\n';
    }

};

class Test
{
public:
    inline static SharedData gSharedData;
};

void f() {

    std::this_thread::sleep_for(std::chrono::milliseconds(50));
    Test::gSharedData.print();
}


int main() {
   
    std::jthread t1(f);
    std::jthread t2(f);
    std::jthread t3(f);
    std::jthread t4(f);
    std::cout << "main()  - > Thread ID: " << std::this_thread::get_id() << '\n';
    return 0;
}

测试输出 #

Constructor called - Thread ID: 38168, Instance Address: 007C03D0
main()  - > Thread ID: 38168
print() - > Thread ID: 37504
print() - > Thread ID: 32244
print() - > Thread ID: 39416
print() - > Thread ID: 31356

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