线程退出时其内部声明的变量会被释放还是造成内存泄漏？

问题对应的示例代码如下：

void* thrfun(void* arg)
{
    int var;
    var = 7;
    
    pthread_exit(NULL);
}

var变量在线程退出时的行为 #

代码里的var是线程入口函数内定义的自动局部变量，线程退出时它占用的内存会随线程栈一起被回收，完全不会造成内存泄漏。

线程函数的本质 #

线程函数本质就是普通C函数，不存在任何特殊的底层规则。它和进程内其他被调用的函数遵循完全一致的变量生命周期逻辑，唯一的区别仅在于它是被pthread库作为新线程的执行流入口调用，而非被代码中其他业务函数直接调用。

具体规则说明 #

• 每个POSIX线程创建时，系统会为其分配一块独立的线程栈空间，该线程执行流中调用的所有函数，内部定义的非静态、非手动动态分配的局部变量，全部存储在这块栈空间上。
• 当线程调用pthread_exit退出、或者入口函数执行return正常结束时，线程占有的独有资源会被回收，核心就是这块独立的线程栈，栈上存储的所有局部变量会随栈空间回收一起被销毁，不会驻留内存。
• 以下几个场景才可能出现内存相关问题，和栈上普通局部变量无关，需要注意区分：
  • 线程执行过程中通过malloc/calloc/realloc在堆上动态申请的内存，不会随线程退出自动释放，如果没有主动调用free就会造成内存泄漏。
  • 函数内用static修饰的静态变量存储在进程全局数据段，生命周期和整个进程绑定，不会因为线程退出被销毁，这是静态变量本身的设计特性，不属于内存泄漏。
  • 如果把栈上局部变量的地址传递给了其他仍在运行的线程，当前线程退出栈被回收后，其他线程访问这个地址就会触发野指针错误，属于非常常见的并发编程bug。
• 补充线程属性相关细节：默认创建的线程是可汇合（joinable）状态，退出后会保留少量内核资源（比如线程退出码）等待其他线程调用pthread_join获取，这部分资源会在pthread_join执行完成后彻底释放，不属于内存泄漏；如果将线程设置为分离（detached）状态，线程退出时所有资源会被立刻回收。

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