向新线程传递栈上变量指针——此代码是否安全？

问题出在哪？ #

你看main函数里的incoming_client_socket是个栈上的局部变量，每次循环迭代都会复用同一块栈内存空间。当你把它的指针传给新创建的线程时，会触发不可控的竞态条件：

• 主线程可能在新线程还没来得及把指针指向的套接字值复制到自己的局部变量socket之前，就进入下一次循环，直接覆盖掉incoming_client_socket的内容——新线程最后拿到的可能是下一个客户端的套接字，甚至是完全无效的垃圾值
• 更危险的是，如果主线程因为某种原因退出循环，这块栈内存会被系统回收，新线程再去访问这个指针指向的内存，就属于访问已释放内存，会导致未定义行为（比如程序崩溃、数据错乱）

哪怕你在echo_data里写了一堆前置代码再复制值也没用——线程的调度时机完全由操作系统控制，你没法保证主线程会等新线程完成复制再继续执行。

安全的替代方案 #

这里给你几种常用的解决思路：

1. 动态分配堆内存传递值

把要传递的套接字值存在堆上，让新线程在处理完数据后自己释放内存：

void* echo_data(void* client_socket) {
    int socket = *(int*)client_socket;
    free(client_socket); // 用完记得释放堆内存
    // 回传从客户端收到的所有数据
    return (void*)0;
}

int main(int argc, char* argv[]) {
    int server_socket = establish_connection();
    while (1) {
        int incoming_client_socket = wait_for_connection(server_socket);
        fprintf(stdout, "new connection accepted...\n");
        
        // 动态分配内存存套接字值
        int* socket_ptr = malloc(sizeof(int));
        if (!socket_ptr) {
            // 处理内存分配失败的情况
            close(incoming_client_socket);
            continue;
        }
        *socket_ptr = incoming_client_socket;
        
        pthread_t client_th;
        if (pthread_create(&client_th, NULL, echo_data, socket_ptr) != 0) {
            // 创建线程失败，释放内存并关闭套接字
            free(socket_ptr);
            close(incoming_client_socket);
        }
    }
}

2. 搭配分离线程自动回收资源（可选）

如果不想手动管理线程资源，可以把线程设置为分离状态，这样线程结束后系统会自动回收它的资源（注意还是要先用堆内存传递值）：

int main(int argc, char* argv[]) {
    int server_socket = establish_connection();
    
    // 初始化线程属性为分离状态
    pthread_attr_t attr;
    pthread_attr_init(&attr);
    pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
    
    while (1) {
        int incoming_client_socket = wait_for_connection(server_socket);
        fprintf(stdout, "new connection accepted...\n");
        
        int* socket_ptr = malloc(sizeof(int));
        if (!socket_ptr) {
            close(incoming_client_socket);
            continue;
        }
        *socket_ptr = incoming_client_socket;
        
        pthread_t client_th;
        if (pthread_create(&client_th, &attr, echo_data, socket_ptr) != 0) {
            free(socket_ptr);
            close(incoming_client_socket);
        }
    }
    
    pthread_attr_destroy(&attr);
}

3. 使用全局/静态变量（不推荐）

你也可以用全局变量或者静态变量来存套接字值，但这种方法会引入线程安全问题——多个线程可能同时读写这个变量，需要加锁同步，复杂度更高，一般不推荐。

核心原则 #

永远不要向新线程传递栈上局部变量的指针！栈变量的生命周期受当前函数/循环块的控制，而线程的调度是不可控的，必然会导致内存访问风险。必须使用生命周期覆盖线程运行时间的内存（堆内存、全局变量，或者主线程一直存活且不会修改的变量）。

内容的提问来源于stack exchange，提问作者so.very.tired