1. 什么是 thread_local

thread_local 是 C++11 引入的关键字，用于声明线程局部存储（Thread Local Storage, TLS）变量。

每个线程都会拥有该变量的独立副本，线程之间互不影响。

---

2. 基本语法

thread_local int counter = 0;

说明：

• 每个线程都有一个 counter

• 不同线程之间不会共享

---

3. 与普通变量对比

类型	是否线程共享
全局变量	是
static变量	是
thread_local	否

---

4. 基本示例

#include <iostream>
#include <thread>

thread_local int value = 0;

void func(const char* name) {
    value++;
    std::cout << name << ": " << value << std::endl;
}

int main() {
    std::thread t1(func, "Thread1");
    std::thread t2(func, "Thread2");

    t1.join();
    t2.join();
}

输出示例：

Thread1: 1
Thread2: 1

说明：

• 每个线程的 value 独立

• 不存在竞争

---

5. 生命周期

• 在线程第一次访问时初始化

• 在线程结束时销毁

注意：

• 初始化顺序不确定

• 析构顺序也不保证

---

6. 常见使用场景

6.1 避免锁（性能优化）

thread_local std::vector<int> buffer;

每个线程独立 buffer，避免使用 mutex。

---

6.2 日志系统

thread_local std::string log_prefix;

用于保存线程级上下文，例如 request_id。

---

6.3 连接复用

thread_local Connection conn;

每个线程一个连接，避免频繁创建销毁。

---

6.4 随机数生成器

thread_local std::mt19937 rng(std::random_device{}());

避免多线程竞争。

---

7. 与 static 组合

void func() {
    static thread_local int x = 0;
    x++;
}

说明：

• 函数内变量

• 每个线程一份

• 生命周期贯穿线程

---

8. 初始化问题

8.1 非平凡类型

thread_local std::string str = "hello";

每个线程都会构造和析构一份。

---

8.2 惰性初始化

thread_local std::unique_ptr<int> ptr;

void init() {
    if (!ptr) {
        ptr = std::make_unique<int>(42);
    }
}

---

9. 注意事项

9.1 不适合大对象

thread_local BigObject obj;

线程多时会占用大量内存。

---

9.2 线程池问题

线程池中的线程不会销毁，thread_local 也不会释放，可能导致：

• 数据残留

• 内存长期占用

解决方式：

void reset() {
    thread_local_data.clear();
}

---

9.3 跨线程访问风险

thread_local int x = 10;

int* p = &x;

std::thread t([&]() {
    std::cout << *p; // 未定义行为
});

原因：

• 指针指向的是主线程的 TLS

---

10. 性能特点

优点：

• 无锁访问

• 性能高

缺点：

• 内存占用增加

• 初始化有开销

---

11. 最佳实践

1. 用于无共享状态数据

2. 控制对象大小

3. 注意线程池复用

4. 避免跨线程传递指针

5. 用于性能敏感路径

---

12. 总结

thread_local 的核心思想是：

用空间换时间，避免锁竞争

适用于：

• 高并发场景

• 无共享状态

• 性能敏感模块

不适用于：

• 大对象

• 生命周期复杂的场景