静态变量存储的malloc分配内存指针对应的堆内存会被自动释放还是存在真实内存泄漏？

嘿，这个问题我之前排查macOS内存泄漏时也碰到过，刚好能给你唠清楚～

首先明确两个核心结论：

1. 系统绝对不会自动帮你释放静态变量指向的堆内存，你没调用free()的话，这块内存会一直被占用到进程结束；
2. leaks -atExit没检测到泄漏，是工具的检测逻辑导致的，不是真的没有泄漏。

先给你拆解leaks工具的检测逻辑 #

leaks在atExit模式下，是等程序快退出时，扫描进程的所有内存区域（栈、静态存储区、堆等），找那些没有任何活跃可访问指针指向的堆内存块——只要有一个指针还指着它，工具就会认为这块内存“还在被使用”，不会标记为泄漏。

那回到你的两段代码：
第一段代码：

#include <stdlib.h>

int main(void)
{
    char *leak = malloc(100);
    return (0);
}

这里leak是栈上的局部变量，main函数返回后栈帧被销毁，这个指针就彻底消失了。leaks扫描时找不到任何指向那块100字节堆内存的指针，所以直接标记为泄漏，这个检测是准确的。

第二段代码：

#include <stdlib.h>

int main(void)
{
    static char *test = NULL;
    char *leak = malloc(100);
    test = leak;
    return (0);
}

这里test是静态变量，存在进程的静态存储区里，从程序启动到退出，这个变量的内存地址一直有效，指针值也一直指向你malloc的那块堆内存。leaks扫描到静态区里有个指针还指着这块堆内存，就会判定“这块内存还有归属，不是泄漏”——但实际上你根本没调用free()，所以从内存泄漏的定义（运行时分配的内存不再被使用却未释放，造成资源浪费）来看，这确实是一种泄漏，只是工具没识别出来。

再补充点关键细节 #

虽然这是内存泄漏，但你也不用太担心系统级的残留：当进程完全退出后，操作系统会回收这个进程占用的所有资源，包括堆内存、静态存储区、栈等，不会给系统留下垃圾。但如果你的程序是长期运行的（比如后台服务），这种没被释放的内存会一直累积，最终导致进程占用内存越来越大，这时候就必须在程序退出前手动调用free(test)来释放。

总结一下：你的第二段代码存在真实的运行时内存泄漏，只是leaks工具因为静态指针的存在，误判这块内存还在被使用，所以没报出来。系统不会自动帮你free静态变量指向的堆内存，还是得靠你手动调用free()来释放。

备注：内容来源于stack exchange，提问作者Lineath