似乎基于堆栈的变量在 C 函数后没有被释放

Question

我是C新手。众所周知，堆栈内存中的变量在函数结束后会被释放。但是在我的测试中，它并没有被释放，内存占用。

例子很清楚：

#include <stdio.h>
#include <unistd.h>
#include <string.h>

void run() {
    printf("Start test. Memory usage in task manager: 504KB \n");
    sleep(5);

    char buf1[3145728];
    memset(buf1, 'x', 3145728);
    printf("buf1 Present. Memory usage in task manager: 3.9MB \n");

    sleep(10);
    return;
}

int main() {
    run();

    printf("run() ends. But memory usage in task manager is still: 3.9MB \n");
    sleep(10);

    char buf2[3145728];
    memset(buf2, 'y', 3145728);
    printf("buf2 Present. Memory usage in task manager: 7.0MB \n");

    sleep(15);
    return 0;
}

我认为，run() 函数之后的内存使用应该回到最初的状态，但似乎变量没有被释放并留在内存中。

我错了吗？

更多详情：

• 写sleep是为了有时间看看任务管理器。
• 我用过gcc编译器。

Answer 1

首先不要太相信任务管理器。这不是很准确。

另一件事是编译器有一个你并不完全了解的分配策略。

众所周知，栈内存中的变量会在函数结束后释放。

“著名”是您不应该在局部变量上创建引用并存储/返回它，因为它有可能被超出范围使用。

如果您在该函数上循环，或创建另一个占用大致相同数量（或更少）堆栈的函数，然后立即调用它，您会注意到内存确实没有增加.

这是因为编译器运行时不会自动调整堆栈大小。它只是保持它为下一次分配（这是堆栈 size 和 容量 之间的差异）。没有“内存泄漏”。您甚至可以配置可执行文件（在链接阶段，以及在 Windows 上使用 EDITBIN 等工具）以在启动时预分配所有堆栈，以避免调整大小和内存移动。