C ++ 11 thread_local变量是否自动静态？

这两个代码段之间是否有区别：

void f() {
    thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

和

void f() {
    static thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

背景知识：最初，我有一个STATIC向量V（用于保存一些中间值，每次输入函数时都会清除它）和一个单线程程序。我想将程序变成一个多线程程序，因此我必须摆脱这种静态修饰符。我的想法是将每个静态变量都转换为thread_local，而不用担心其他事情？这种做法会适得其反吗？

根据C ++标准

将thread_local应用于块作用域的变量时，如果未明确显示存储类说明符静态变量，则将其隐含

所以这意味着这个定义

void f() {
    thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

相当于

void f() {
    static thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

然而，一个静态变量是不一样的一个thread_local变量。

1使用thread_local关键字声明的所有变量都有线程存储持续时间。这些实体的存储应在创建它们的线程的持续时间内持续。每个线程有一个不同的对象或引用，使用声明的名称是指与当前线程关联的实体

为了区分这些变量，标准引入了新的术语线程存储持续时间以及静态存储持续时间。

是的，“线程本地存储”与“全局”（或“静态存储”）非常相似，只不过它具有“整个线程的持续时间”而不是“整个程序的持续时间”。因此，在控件第一次通过其声明时会初始化一个块局部线程局部变量，但该变量在每个线程中分别进行初始化，并在线程结束时销毁。

与一起使用时thread_local，表示static为块成员（请参阅@Vlad的答案），是类成员所必需的；我想，这意味着链接名称空间范围。

根据9.2 / 6：

在类定义中，除非也声明为静态，否则不得用thread_local storage-class-specifier声明成员。

要回答原始问题：

C ++ 11 thread_local变量是否自动静态？

除了命名空间范围变量之外，别无选择。

这两个代码段之间是否有区别：

没有。

线程本地存储是静态的，但其行为与简单的静态存储完全不同。

当声明一个静态变量时，该变量恰好有一个实例。编译器/运行时系统保证在您实际使用它之前的某个时候为您初始化它，而无需指定确切的时间（此处省略了一些详细信息）。

C ++ 11保证此初始化将是线程安全的，但是在C ++ 11之前，不能保证此线程安全。例如

static X * pointer = new X;

如果多个线程同时命中静态初始化代码，则可能泄漏X的实例。

当您在本地声明变量线程时，该变量可能存在许多实例。您可能会认为它们位于由线程ID索引的映射中。这意味着每个线程都会看到自己的变量副本。

再次，如果变量被初始化，则编译器/运行时系统保证该初始化将在使用数据之前进行，并且初始化将针对使用该变量的每个线程进行。编译器还保证初始化将是线程安全的。

线程安全性保证意味着可以有很多幕后代码来使变量按您期望的方式运行-尤其是考虑到编译器无法提前知道确切的线程数量存在于您的程序中，其中有多少将触及线程局部变量。