pthreads中结构体转void*跨线程传递后成员值异常问题

问题根源 #

你遇到的socket值异常问题，核心原因是栈内存的生命周期不匹配：

• 在handle_connection函数中，struct tinfo info是栈上的局部变量，当函数执行到return语句后，该变量所在的栈帧会被销毁，内存空间会被后续的函数调用或栈操作覆盖。
• pthread_create仅负责启动线程，不会等待线程完成对传入参数的读取/拷贝。当新线程开始执行并访问payload指向的内存时，原栈上的info已经失效，读取到的是被覆盖后的脏数据，这就是socket值从4变成16的原因。

修复方案 #

方案一：动态分配内存（推荐） #

通过malloc在堆上分配tinfo结构体，确保内存生命周期不受handle_connection函数返回的影响，线程处理完后手动释放内存：

修改handle_connection函数：

enum tunmux_error handle_connection(struct tunmux *server, int client_socket) {
    struct tinfo *info = malloc(sizeof(struct tinfo));
    if (!info) {
        return TM_ENOMEM; // 需确保错误码枚举包含内存不足的情况
    }
    info->server = server;
    info->socket = client_socket;
    
    pthread_t thread_id;
    if (pthread_create(&thread_id, NULL, &thread_function, (void *)info) != 0) {
        free(info); // 线程创建失败时释放内存，避免泄漏
        return TM_ETHREAD;
    }

    return pthread_detach(thread_id) ? TM_ETHREAD : TM_SUCCESS;
}

修改thread_function函数：

static void *thread_function(void *payload) {
    struct tinfo *info = (struct tinfo *)payload;
    struct tunmux server = *(info->server);
    int client_socket = info->socket;
    
    // 业务逻辑处理
    
    free(info); // 用完后释放堆内存
    return NULL;
}

方案二：使用静态局部变量（不推荐多并发场景） #

将tinfo声明为static，使其存储在静态存储区，避免栈帧销毁的问题，但注意：静态变量是全局唯一的，若多个连接同时调用handle_connection，会出现数据覆盖的问题，仅适用于单连接场景：

enum tunmux_error handle_connection(struct tunmux *server, int client_socket) {
    static struct tinfo info; // 静态存储区变量
    info.server = server;
    info.socket = client_socket;
    
    pthread_t thread_id;
    if (pthread_create(&thread_id, NULL, &thread_function, (void *)&info) != 0)
        return TM_ETHREAD;

    return pthread_detach(thread_id) ? TM_ETHREAD : TM_SUCCESS;
}

补充说明 #

从你提供的GDB截图可以验证这个问题：

• 进入新线程时，payload指向的内存尚未被完全覆盖，所以临时能看到正确的socket值4；
• 执行赋值语句后，该内存区域已经被后续操作覆盖，因此读取到错误的16。

内容的提问来源于stack exchange，提问作者Not Dylan Burns