C ++ 11：std ref全局变量和非函数局部thread_local初始化顺序？

Question

在 C++11 中具有非平凡构造函数的全局变量是在静态初始化阶段进入 main 之前构造的。

同样，非函数局部 thread_local 变量是在每个线程的“thread_local 初始化阶段”构建的。

C++11 标准是否规定了这些变量的构造顺序？在这两种情况下，如果有两个变量：

// global scope

A::A() { b.f(); }  // A constructor uses global b

A a;
B b;

C++11 标准是否规定了它们的初始化顺序，或者如果使用未初始化的变量应该产生错误？

对于非函数本地线程_local也是如此：

// global scope

A::A() { b.f(); }  // A constructor uses global b

thread_local A a;
thread_local B b;

标准是否指定了它们必须构造的顺序，是否定义了如果在初始化之前从另一个的构造函数中使用变量会发生什么？

您能否提供C++11 标准参考，以支持您提出的任何要求以获得答案。

Answer 1

您的声明“C++11 中的全局变量具有非平凡的构造函数，是在静态初始化阶段进入 main 之前构造的。”似乎并不完全正确——它们可能直到动态初始化阶段才被初始化

对于具有“有序初始化”的变量，你的第一个 a 和 b 是，然后标准说

在单个变量中定义了有序初始化的变量 翻译单元应按其顺序初始化 翻译单元中的定义。

3.6.2/2 涵盖了所有这些。

编辑：据我所知，您的第二个 a 和 b 没有有序初始化，可以按任一顺序初始化。但我可能遗漏了一些东西。

Answer 2

对于静态存储持续时间，我同意 Alan 的回答。如果初始化在同一个翻译单元中，它们的动态初始化是那些对象定义的顺序。允许编译器将 b 初始化为静态初始化，而不是如果它可以弄清楚如何（根据 3.6.2/3）。所以第一个程序可能会也可能不会调用未定义的行为，这可能是个坏主意。

对于动态存储持续时间，请注意 3.7.2/2：

具有线程存储持续时间的变量应在其第一次使用 odr (3.2) 之前进行初始化，如果已构造，则应在线程退出时销毁。

因此线程局部变量的行为更像是函数局部静态变量，而不是命名空间范围的静态变量。第二个程序没有未定义的行为。