C.h:
#include <iostream>
class C {
public:
explicit C(int id) { std::cout<<"Initialized "<<id<<"\n"; }
};
1.cpp:
#include "C.h"
C global(1);
2.cpp:
#include "C.h"
thread_local C thread(2);
int main() {}
global会在thread之前被初始化？thread_local的行为基本上像非局部的static：[basic.stc.thread]/2：
是的，这是一个注释。但是声明为[注：具有线程存储期的变量按照[basic.start.static]、[basic.start.dynamic]和[stmt.dcl]中指定的方式初始化，并且如果构造，则在线程退出时被销毁（[basic.start.term]）。——注解结束]
thread_local的非局部对象基本上就像static，所以这是有道理的。现在，既不是global也不是thread具有常量初始化——因此两者都会进行零初始化，然后它们必须进行动态初始化。去[basic.start.dynamic]！
如果变量是隐式或显式实例化的特化类型，那么具有静态存储期的非局部变量的动态初始化是无序的；如果变量是不是隐式或显式实例化的特化类型且为内联变量，则其动态初始化是部分有序的；否则，其动态初始化是有序的。
我们的变量都不是特化类型，也不是内联变量。因此，它们都是有序的。
如果声明 D 出现在声明 E 之前，则声明 D 在出现时是与声明 E 按外观顺序排序的，条件如下：
- D 出现在与 E 相同的翻译单元中，或
- 包含 E 的翻译单元对包含 D 的翻译单元具有接口依赖性，
在这两种情况下均在 E 之前。
我们的声明相对于彼此没有按外观顺序排序。
具有静态存储期的非局部变量 V 和 W 的动态初始化按以下顺序排序：
好的，子项目 1：
不适用。这是一个复杂的条件，但它不适用。如果 V 和 W 具有按顺序初始化，并且 V 的定义在 W 的定义之前按外观顺序排序，或者如果 V 具有部分有序初始化，W 没有无序初始化，并且对于 W 的每个定义 E，都存在 V 的定义 D 使得 D 在 E 之前按外观顺序排序
并且：非局部内联变量的静态存储期动态初始化是在main函数的第一条语句之前顺序执行还是延迟执行是由实现定义的。
线程存储期的非局部非内联变量的动态初始化是在线程的初始函数的第一条语句之前顺序执行还是延迟执行是由实现定义的。
目前没有任何保证和任何形式的保证 - 至少当前没有。
想象一下以下情况，您有另一个无关的static全局变量Z，它在初始化期间使用您的thread_local变量，或者在初始化期间甚至创建另一个线程并使用它。
现在恰好发生这种情况：static全局变量Z在静态全局变量global之前被初始化。这意味着thread_local变量必须在您的静态全局变量之前初始化。
注意：目前没有办法保证静态全局变量的初始化顺序 - 这是C ++的已知问题。因此，如果您在另一个全局变量中使用一个全局变量，可能会导致错误 - 在技术上是UB。不要认为它以任何方式影响thread_local变量，因为它们的初始化机制往往非常不同。
thread_local变量可以在静态变量初始化内部使用——没有任何禁止这样做的规定。因此，它们可以在静态变量之前进行初始化。你的问题归结为全局静态变量初始化顺序的同样混乱。 - ALX23zthread_local/static变量中使用thread_local/static是否可以？”一般来说，答案应该是“是的，thread_local/static变量应该在第一次使用之前初始化。所以除非你在初始化中有循环依赖关系，否则一切都没问题。”不幸的是，由于上述的惨败，情况并非完全如此 - 我非常怀疑这是故意失败的。我不认为还有其他关于这样的问题的报告。 - ALX23z