thread_local 是 C++11 引入的关键字，为每个线程提供独立变量副本，不共享、不加锁；仅适用于静态存储期变量，首次访问时按线程分别初始化并保证析构，不可用于函数参数或栈变量。
thread_local 是什么，不是什么
thread_local 是 C++11 引入的关键字，它让变量在每个线程里有一份独立副本。它不是“线程安全的全局变量”，也不是“自动加锁的共享变量”——它根本就**不共享**。每个线程访问的是自己内存里的那一份，读写互不干扰。
常见错误现象：thread_local std::vector<int> v;</int> 在线程 A 里 push_back(1)，线程 B 里 size() 还是 0；有人误以为这是“延迟初始化的单例”，结果发现构造函数在线程首次访问时才调用，且各调一次。
- 只对静态存储期变量有效（全局、命名空间作用域、static 局部变量）
- 不能用于函数参数、临时对象、栈上非 static 变量
- 类内
static thread_local成员合法，但定义必须在类外（和普通 static 成员一样）
怎么初始化 thread_local 变量
初始化时机很关键：它不是程序启动时统一初始化，而是**每个线程第一次访问该变量时触发初始化**。这导致两个后果：一是首次访问有开销（构造 + TLS 插槽分配），二是不同线程看到的“初始值”可能来自不同时间点的构造逻辑。
使用场景：缓存线程专属资源（如 thread_local std::mt19937 随机数引擎）、避免锁的 per-thread 计数器、日志上下文 ID。
立即学习“C++免费学习笔记（深入）”；
- 默认初始化（无 = 或 {}）：调用默认构造函数（若为类类型）或零初始化（POD）
- 带初始化表达式：
thread_local int x = get_init_value();——get_init_value()在每个线程首次访问时各执行一次 - 禁止用 constinit + thread_local（C++20），因为 constinit 要求编译期确定，而 thread_local 的地址/存在性是运行期线程相关的
和 pthread_key_t / __declspec(thread) 的区别在哪
本质都是线程局部存储，但 thread_local 是标准、可移植、支持异常安全构造/析构的方案；__declspec(thread)（MSVC）和 __thread（GCC/Clang）是编译器扩展，不保证析构函数在线程退出时被调用（尤其在 dlclose 或线程提前终止时容易泄漏）。
性能影响：现代实现（如 Linux glibc + x86-64）对 thread_local 访问基本是单条 mov 指令（通过 %gs/%fs 段寄存器偏移寻址），和手写 __thread 差不多快；但首次访问仍有 TLS 插槽分配开销。
- 兼容性：C++11 起所有主流标准库都支持
thread_local，无需宏判断 - 析构可靠性：只有
thread_local保证线程退出时按构造逆序调用析构函数（前提是线程正常结束，不是 pthread_cancel） - 动态库中慎用：若
thread_local变量定义在 .so 里，且该 so 被 dlopen/dlclose 多次，某些平台（旧版 glibc）可能无法正确清理，导致析构不执行
thread_local 和 static local 在线程里的行为差异
两者都“首次访问才初始化”，但作用域和生命周期完全不同：static local 是函数内单例（整个进程一份），thread_local 是每线程一份。混淆它们会导致严重并发 bug。
典型错误：把本该 per-thread 的缓冲区写成 static std::vector<char> buf;</char>，结果多线程同时 push_back 导致数据错乱或崩溃。
-
static int f() { static int x = expensive_init(); return x; }→ 所有线程共用一个x -
int f() { thread_local int x = expensive_init(); return x; }→ 每个线程各自调用一次expensive_init()，各自保存自己的x - 注意：
thread_local变量的初始化表达式里调用的函数，其内部 static 变量仍是进程级单例，别指望靠它“线程隔离”
最易被忽略的一点：thread_local 变量的地址在线程间必然不同，但它的符号名在链接时仍是全局可见的——这意味着你不能在头文件里定义非 inline 的 thread_local 变量（会违反 ODR），必须像 static 成员一样，在 .cpp 中定义。
