在Bjarne Stroustrup编写的C++ Programming Language手册第4版第15.4.2节中，有以下文本：
考虑：整数x = 3;整数y = sqrt（++x）;x和y的值可能是什么？显而易见的答案是'' 3和2！''为什么？用常量表达式初始化静态分配的对象是在链接时完成的，所以x变为3。然而，y的初始化器不是常量表达式（sqrt（）不是constexpr），所以y直到运行时才初始化。然而，单个翻译单元中静态分配的对象的初始化顺序被很好地定义：它们按照定义顺序初始化（§15.4.1）。因此，y变为2。此参数中的缺陷在于，如果使用多个线程（§5.3.1，§42.2），则每个线程都将执行运行时初始化。没有隐式提供互斥来防止数据争用。然后，一个线程中的sqrt（++x）可能在另一个线程设法递增x之前或之后发生。因此，y的值可以是sqrt（4）或sqrt（5）。
我想知道多个线程如何初始化一个全局变量。如果我有一个std::thread全局变量在main函数之前启动线程，这会影响全局变量的初始化吗？我尝试了以下方法：

#include <iostream>
#include <thread>

using namespace std;

extern int x;
extern double y;

struct Foo {
    Foo() { cout << "Foo::Foo()" << '\n'; }
};

void threadFunc() {
    cout << "x = " << x << '\n';
    cout << "y = " << y << '\n';
}

thread t{threadFunc};

int x = 3;
double y = sqrt(double(++x));
Foo z;

int main() {

    cout << "x = " << x << '\n';
    cout << "y = " << y << '\n';
    t.join();

    return 0;
}

但是我在多次运行这个程序的时候，没有得到y的值不等于2的结果，而且Foo的构造函数总是只被调用一次，在测试中，我使用了MSVC Version 17.5.2。