C++03/C++98中函数静态变量初始化是否保证线程安全？

在C03及更早的C98标准中，函数内部的静态局部变量初始化完全不保证线程安全。

原因很直接：这两个版本的C标准基于单线程模型设计，完全没有涉及多线程的规范内容。对于多线程环境下的静态变量初始化行为，标准没有任何约束，且几乎所有主流编译器在C03模式下，都不会为这类初始化自动添加线程同步逻辑。

以你给出的代码为例：

void foo() {
  static X x; // 多线程调用foo()时，x的构造不保证线程安全
  ...
}

当多个线程同时首次进入foo()函数时，极有可能出现多个线程同时触发x构造逻辑的情况：比如线程A正在执行X的构造函数，线程B检测到x未完成初始化，也会启动构造流程。这会导致X的构造函数被多次调用，进而引发未定义行为——比如资源重复分配、对象状态损坏等。

如果需要在C++03环境下实现线程安全的静态变量初始化，必须手动添加同步机制。比如用互斥锁保护初始化逻辑：

// 假设平台支持标准库互斥锁，若为更老旧平台需替换为对应原生API（如Windows的CriticalSection）
#include <mutex>

void foo() {
  static bool is_initialized = false;
  static char x_storage[sizeof(X)]; // 预留内存，避免默认初始化
  static std::mutex init_mutex;

  std::lock_guard<std::mutex> lock(init_mutex);
  if (!is_initialized) {
    // 使用placement new手动构造X对象
    new (x_storage) X();
    is_initialized = true;
  }

  // 后续使用时将内存转换为X对象指针
  X& x = *reinterpret_cast<X*>(x_storage);
  ...
}

需要注意的是，静态互斥锁本身的初始化在C++03中也可能存在线程安全问题，部分场景下可能需要额外的懒加载逻辑来确保锁的安全初始化。

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