关于POSIX pthreads中线程访问其他线程栈变量的合法性问询

这个问题问得很到位！很多刚接触POSIX线程的开发者都会有这个疑惑，我来给你拆解清楚。

1. 语法与标准层面：合法，但有前提 #

从C语言标准和POSIX线程规范来说，只要你能拿到另一个线程栈变量的有效地址（比如通过指针传递给目标线程），语法上完全允许访问这个变量——没有任何规则禁止跨线程访问栈内存，前提是这个内存此时是存活且有效的。

你提到的“创建栈变量的函数尚未返回”，刚好满足“内存存活”的条件：栈变量的生命周期绑定到它所在的栈帧，函数没返回，栈帧就不会被销毁，变量的内存空间就还属于当前线程的栈，地址是有效的。

2. 为什么大家都推荐用堆内存？风险点在这里！ #

虽然语法合法，但这种操作藏着不少坑，这也是业界普遍推荐共享堆内存的原因：

• 生命周期不可控：哪怕现在函数没返回，你得保证在另一个线程的整个访问周期内，这个函数都不会返回、线程不会被取消。比如你把栈变量地址传给子线程后，主线程不小心提前退出了，子线程再访问这个地址就是未定义行为（UB）——可能读到垃圾数据、程序崩溃，甚至触发诡异的内存错误。
• 编译器优化的坑：编译器会假设栈变量只会被当前线程访问，可能会做激进优化（比如把变量放到寄存器里，或者直接优化掉内存写入），导致其他线程读到的是过时或错误的值。
• 栈的私有性隐含风险：每个线程的栈是操作系统单独管理的，虽然当前栈地址有效，但如果目标线程的栈发生动态变化（比如调用了更深层的函数导致栈扩张），极端情况下（比如栈溢出）可能会影响到变量的有效性，不过这种情况比较少见。

3. 举个实际的例子 #

下面这段代码是安全的，因为主线程通过pthread_join等待子线程完成，确保stack_val在子线程访问时还存活：

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

void* worker_thread(void* arg) {
    int* shared_val = (int*)arg;
    printf("Worker thread reads value: %d\n", *shared_val);
    return NULL;
}

int main() {
    pthread_t tid;
    int stack_val = 42; // 主线程栈上的变量
    
    // 把栈变量地址传给子线程
    pthread_create(&tid, NULL, worker_thread, &stack_val);
    
    // 等待子线程执行完毕，确保stack_val不会提前销毁
    pthread_join(tid, NULL);
    
    return 0;
}

但如果去掉pthread_join，主线程直接返回，stack_val的栈帧被销毁，子线程再访问就是UB，结果完全不可预测。

总结 #

• 当栈变量所在的函数尚未返回时，跨线程访问这个变量语法合法，且行为是定义良好的——只要你能保证变量在整个访问周期内都存活。
• 但这种做法风险很高，远不如堆内存可控：堆内存的生命周期由你手动管理（malloc/free），不会因为线程退出、函数返回等意外情况失效，是线程间共享数据的更安全选择。

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