C++函数中定义的静态类变量的初始化时机是什么？

你观察到的是C++函数内静态局部变量的标准行为，其底层实现和你猜测的隐藏标记逻辑基本一致，具体运行机制如下：

C++11及后续标准明确规定：函数作用域内的静态存储周期变量，仅在控制流第一次经过其声明语句时完成初始化，初始化过程天生线程安全；实例构造完成后会一直驻留在静态存储区，直到程序退出时才执行析构，后续调用函数不会再次触发构造。
这就是为什么构造函数不会在main启动时执行，只有第一次调用函数时才打印日志的原因。

• 编译器自动生成隐藏辅助变量：每个函数静态变量都会配套生成两个隐藏的全局/模块级数据，都存储在程序的静态存储区：
  • 一块和静态实例大小对齐的原始内存，程序启动时仅做清零操作，不会执行构造
  • 一个状态标记（部分实现用1字节布尔值，复杂实现用多状态整数，区分「未初始化」「初始化中」「初始化完成」三个状态），不属于类实例本身，用来记录初始化进度
• 函数执行时的检查流程：每次调用函数时，编译器会在静态变量声明位置自动插入初始化检查逻辑：
  1. 先读取状态标记，如果已经是「初始化完成」，直接把预留内存转为实例引用，跳过构造逻辑
  2. 如果标记为「未初始化」，会先获取编译器自动生成的隐藏初始化锁（C++11及以后要求线程安全，避免多线程同时构造），加锁后二次检查标记位（双检锁逻辑），确认仍未初始化后，调用类的构造函数在预留内存上完成实例构造，最后把标记更新为「初始化完成」，同时注册析构函数到atexit回调列表，程序退出时自动执行析构
  3. 如果标记为「初始化中」（处理构造函数递归调用当前函数、多线程竞争初始化的场景），会按照标准要求阻塞等待初始化完成，或者抛出异常
• 构造异常的处理：如果构造过程中抛出异常，标记位不会被更新为「初始化完成」，下一次调用函数时会再次尝试执行构造，符合标准规定的失败重试逻辑。

你写的业务代码：

class TestClass {
public:
    TestClass() { std::cout << "构造执行" << std::endl; }
    int counter = 0;
};

void test_func() {
    static TestClass ins{};
    ins.counter++;
}

编译器展开后的逻辑等价于以下伪代码：

// 编译器自动生成的隐藏全局变量
alignas(TestClass) char __ins_storage[sizeof(TestClass)] = {};
std::atomic<int> __ins_state = 0; // 0=未初始化，1=初始化中，2=初始化完成
std::mutex __ins_init_mutex;

void test_func() {
    // 快速检查是否已初始化
    if (__ins_state.load(std::memory_order_acquire) != 2) {
        std::lock_guard<std::mutex> lock(__ins_init_mutex);
        // 加锁后二次检查，避免多线程竞争
        if (__ins_state.load(std::memory_order_relaxed) == 0) {
            __ins_state.store(1, std::memory_order_relaxed);
            // 定位new调用构造函数
            new (__ins_storage) TestClass();
            // 注册析构到程序退出回调
            std::atexit([](){
                reinterpret_cast<TestClass*>(__ins_storage)->~TestClass();
            });
            __ins_state.store(2, std::memory_order_release);
        } else if (__ins_state.load(std::memory_order_relaxed) == 1) {
            // 初始化中，等待完成或者抛出异常
            throw std::runtime_error("递归初始化静态变量");
        }
    }
    TestClass& ins = *reinterpret_cast<TestClass*>(__ins_storage);
    ins.counter++;
}

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