存储说明符

存储说明符（storage class specifier）是名字的声明语法中的声明说明符序列 的一部分。它与名字的作用域一同控制名字的两个独立性质：它的存储期和它的链接属性。

thread_local

有且只有thread_local关键字修饰的变量具有线程存储期。

线程存储期：对象的存储在线程开始时分配，而在线程结束时解分配。每一个线程都拥有一个独立的变量实例。唯有声明为thread_local的对象拥有此存储期。 thread_local能与static或extern一同出现，以指示链接属性。

thread_local的机制

thread_local变量存在TLS区（Thread-Local Storage)，一种专属线程的静态存储区，它不属于栈，不属于堆，也不属于静态全局区。

声明周期：

• TLS变量在每个线程创建时分配。
• 在线程退出时由运行时自动清理。
• 生命周期与线程完全一致。

全局thread_local变量

每个线程都会在线程初始化时拷贝一个全局thread_local变量的副本，互不影响。

局部thread_local变量

只在每个线程创建时初始化一次，局部thread_local变量和static类似，离开局部作用域后不会被销毁，只有线程退出时，线程所拥有的thread_local变量才会被销毁。

类的thread_local成员变量

thread_local作为类成员变量时必须是static的。

需要注意的是：如果类的成员函数内定义了thread_local变量，则对于同一个线程内的该类的多个对象都会共享一个变量实例，并且只会在第一次执行这个成员函数时初始化这个变量实例，这一点跟类的static静态成员变量类似。

class Foo {
public:
    void show() {
        thread_local int x = 0;
        x++;
        cout << x << endl;
    };
    thread_local static int x; // 定义类的静态成员变量
};

int Foo::x = 1; // 初始化类的静态成员变量

int main()
{
    Foo f1;
    f1.show(); // 1
    Foo f2;
    f2.show(); // 2
}