thread_local类为何未在每个线程初始化时自动调用构造函数？

你定义了thread_local类型的MyClass实例，原本期望每个线程启动时该类的构造函数都会被调用，但实际线程启动时构造函数并未执行，只有在代码中显式引用该实例（比如main函数里的myClass语句）时，构造函数才会触发。测试代码和g++编译输出如下：

#include <iostream>
#include <thread>
#include <future>

thread_local int val = 0;

class MyClass {
    public:
        MyClass() {
            std::cout << "ctor" << std::endl;
        }

        void task() {
            std::cout << "Hello" << std::endl;
        }
};

thread_local MyClass myClass;

void threadMain() {
    std::cout << val << std::endl;
}

int main() {
    val = 15;
    std::cout << val << std::endl;
    myClass;//here is the variable placed
    std::thread thread1(threadMain);
    thread1.join();
    auto a = std::async(std::launch::async, threadMain);
    a.wait();
    return 0;
}

编译运行后输出：

15
ctor
0
0

核心原因 #

• thread_local变量的懒加载机制：C++标准明确规定，thread_local变量的初始化（包括构造函数调用）是延迟到该变量在所属线程中第一次被使用时才触发，而非线程启动阶段自动执行。
• 你的代码场景对应：
  • main线程中，myClass;这条语句是对该变量的首次引用，因此触发了main线程内myClass实例的构造，输出ctor。
  • 另外两个线程（std::thread和std::async创建的线程）的入口函数threadMain只操作了val，完全没有引用myClass，所以这两个线程里的myClass实例从未被初始化，构造函数自然不会被调用。
• 解决思路：如果要让每个线程启动时就执行MyClass的构造，需要在每个线程的入口函数里显式引用myClass，比如在threadMain中添加一行(void)myClass;，强制触发初始化。

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