将全局结构体指针用作线程本地存储(TLS)的原因与适用场景

首先先修正原代码的一处笔误：static __thread *tTLS = &t;缺少类型声明，实际可编译的写法应为static __thread Test *tTLS = &t;。

很多人第一眼看会觉得这写法多此一举——全局变量t所有线程都能直接拿到地址，何必多存一个TLS指针？核心作用其实是实现无侵入的线程上下文切换，在不修改所有业务调用逻辑的前提下，让单个线程可以按需替换自己要访问的目标结构体实例，同时不影响其他线程的默认行为。

核心逻辑拆解 #

如果代码里所有地方都直接访问全局变量t，那所有线程永远只能操作这同一个公共实例。要是某几个线程需要操作自己私有的Test实例，你就得给所有用到t的函数都加一个上下文参数，逐层传参，改动量极大还容易出bug。
换成TLS指针的写法后：

• 初始状态下，每个线程的tTLS指针都默认指向全局的公共实例t，此时访问tTLS和直接访问全局t的行为完全一致，没有额外运行开销
• 当某个线程需要使用私有Test实例时，只需要在线程入口处把自己的tTLS指针修改为指向私有实例地址即可，后续该线程所有通过tTLS访问结构体的代码，都会自动操作私有实例，完全不需要修改上层业务逻辑；而且因为tTLS是线程本地存储，当前线程修改指针完全不会影响其他线程的tTLS指向，其他线程还是正常访问全局t

典型适用场景与示例 #

这种写法最常用在需要支持「默认全局共享，少数线程私有定制」的基础组件里，最典型的就是日志模块：
假设你一开始写的日志模块很简单，所有日志都写到统一的全局日志文件，用全局结构体存日志文件描述符、日志级别、缓冲区完全够用。后来需求迭代，要求负责数据导出的后台线程必须把日志单独写到专属日志文件，不能和公共业务日志混在一起，这时候这个TLS指针的写法就可以零侵入解决问题：

#include <pthread.h>
#include <stdio.h>

// 日志上下文结构体，对应原代码里的Test
typedef struct LogContext {
    FILE *fp;
    int log_level;
} LogContext;

// 全局公共日志上下文，初始化绑定到公共日志文件app.log
LogContext g_global_log = {
    .fp = fopen("app.log", "a"),
    .log_level = 2 // INFO级别
};

// TLS日志指针，所有线程默认指向全局公共日志
static __thread LogContext *t_log_ctx = &g_global_log;

// 统一日志接口，所有业务代码都调用这个函数，不需要传上下文参数
void log_print(int level, const char *msg) {
    LogContext *ctx = t_log_ctx;
    if (level < ctx->log_level) return;
    fprintf(ctx->fp, "[%d] %s\n", level, msg);
    fflush(ctx->fp);
}

// 普通工作线程：不用改任何逻辑，默认写公共日志
void* worker_thread(void *arg) {
    log_print(2, "worker thread started"); // 写入app.log
    // 其他业务逻辑...
    return NULL;
}

// 数据导出线程：需要写专属日志
void* export_thread(void *arg) {
    // 初始化线程私有日志上下文，绑定到专属日志文件export.log
    LogContext private_log = {
        .fp = fopen("export.log", "a"),
        .log_level = 1 // DEBUG级别，打印更详细的日志
    };
    // 仅修改当前线程的TLS指针，不影响其他线程
    t_log_ctx = &private_log;

    log_print(1, "export task started"); // 自动写入export.log，不会混到app.log
    // 后续调用任意多层业务函数，只要内部调用log_print，都会自动写到export.log
    do_export_task();

    fclose(private_log.fp);
    return NULL;
}

除了日志模块，这种写法也常用在这些场景：

• 链路追踪组件：默认用全局空上下文，处理请求的线程可以把TLS指针改成当前请求的追踪上下文，全链路自动携带追踪ID，不需要逐层传参
• 自定义内存分配器：默认用全局共享内存池，高优先级线程可以切换到自己的私有内存池，避免和其他线程抢锁
• 线程级错误码存储：默认错误码存在全局变量，需要隔离错误码的线程可以切到私有错误码存储，避免多线程同时修改全局错误码互相覆盖

为什么不直接把整个结构体设为TLS？ #

如果直接把Test t定义为__thread类型的TLS变量，每个线程启动时都会自动创建一份独立的结构体实例，会有两个问题：

1. 内存浪费：大部分线程其实只需要用公共全局实例，不需要私有副本，每个线程都存一份完整结构体会平白增加内存开销
2. 重复初始化：全局公共实例一般会在主线程提前完成配置加载、资源打开等初始化操作，所有线程可以直接共享；如果每个线程都有独立的TLS结构体，每个线程都得重复做一遍初始化，浪费性能

内容的提问来源于stack exchange，提问作者nisarga lolage