栈数组变量清理疑问：多次调用函数后栈变量未清空的原因

兄弟，我来帮你拆解这个问题的核心原因，给你指几个关键的解决方向：

首先要纠正一个认知：栈变量的“销毁”不是清空内存 #

栈变量在函数退出时，操作系统并不会主动去清空这块内存的内容——它只是把栈指针向上移动，标记这块内存为“可复用”。如果后续没有其他栈操作覆盖这块区域，之前的数据就会原封不动地留在那里。你的buf是栈上的数组，每次调用read_file()时，它在栈上的位置大概率是相同的，所以如果pread没有填满整个BUF_SIZE，剩下的部分就会保留上次调用的残留数据。

你的代码里的核心问题：没有用实际读取的字节数来限制数据范围 #

看你的read_file()代码：

void read_file(){
    char buf[BUF_SIZE];
    int numread = pread(file->fd, buf, BUF_SIZE, file->curpos);
    // 后续其他逻辑
    file->buffer += buf;
}

这里的file->buffer += buf操作，是把整个BUF_SIZE大小的buf数组都追加到了缓冲区里，但你忽略了numread——也就是实际从文件中读取到的字节数。

举个例子：

1. 第一次调用pread读了200字节，剩下的BUF_SIZE-200字节是栈里的旧数据（或者初始垃圾值），你却把整个buf都加进了file->buffer；
2. 第二次调用pread只读了150字节，因为栈位置没变，剩下的BUF_SIZE-150字节还是第一次调用残留的那部分数据，你又把整个buf加进去，自然就带上了上次的内容。

解决方向的关键提示 #

• 永远不要依赖栈变量退出后的内存内容：栈内存被释放后属于未定义行为区域，即使有数据也不能用，后续任何函数调用都可能覆盖它，导致诡异的bug；
• 用numread来控制有效数据长度：只把buf中前numread个字节追加到file->buffer里，而不是整个数组。比如可以用memcpy或者字符串截断（如果是文本的话）的方式，只处理实际读取到的部分；
• 可选：初始化栈数组（但不是必须）：如果担心未读取的部分有垃圾数据，可以在pread前用memset(buf, 0, BUF_SIZE)把buf清零，但这只是辅助手段，核心还是要靠numread来控制有效数据——毕竟pread本身可能不会填满整个buf。

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