multithreading - C++ 静态变量初始化和线程

Question

我有以下使用线程和静态变量初始化的 C++11 代码。我的问题是:

C++ 语言对静态变量的单一初始化做了什么保证或保证 - 下面的代码显示了正确的值，但是我似乎无法在新标准中找到提到内存模型应该如何与线程交互的段落。什么时候变量变成线程局部的？

#include <iostream>
#include <thread>

class theclass
{
public:
   theclass(const int& n)
   :n_(n)
   { printf("aclass(const int& n){}\n"); }
   int n() const { return n_; } 
private:
   int n_;
};

int operator+(const theclass& c, int n)
{
   return c.n() + n;
}

void foo()
{
   static theclass x = 1;
   static theclass y = x + 1;
   printf("%d %d\n",x.n(),y.n());
}

int main()
{
   std::thread t1(&foo);
   std::thread t2(&foo);
   t1.join();
   t2.join();
   return 0; 
}

Answer 1

代码会做你期望的事情。见第 6.7.4 节

静态局部变量是:

... initialized the first time control passes over its declaration ... If control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.

换句话说，编译器确保您的线程在静态局部变量的初始化上进行协作。它们都将被初始化一次，并且每个线程只有在完全初始化后才能访问该对象。

编译器只会在使用 thread_local 显式请求时创建线程局部变量。关键词。