CS50 Recover作业Valgrind检测到仍可访问内存块问题求助

问题定位 #

你遇到的仍可访问（still reachable）内存，来自fopen内部为文件缓冲区分配的内存，这类内存未被释放的核心原因几乎都是有打开的文件句柄（FILE*）未调用fclose关闭。虽然程序功能正常，操作系统会在进程退出后回收这些内存，但Valgrind和check50会严格要求完全清理。

排查与修复步骤 #

1. 检查所有文件的打开/关闭配对 #

• 输入文件card.raw：确认fopen("card.raw", "r")后，在程序退出前（比如main函数末尾）调用了fclose(infile)。
• 输出的JPEG文件：这是最容易遗漏的点。Recover逻辑中需要循环打开新的JPEG文件，你需要确保：
  • 每次打开新的JPEG文件前，先关闭上一个正在写入的JPEG文件（如果存在）。
  • 循环结束后，必须关闭最后一个打开的JPEG文件。
    比如常见错误：代码中用一个FILE* outfile = NULL;来跟踪当前输出文件，当检测到新JPEG头时，只关闭了之前的文件并打开新的，但循环结束后没有处理最后一个打开的outfile，导致它一直处于打开状态，对应的缓冲区内存未释放。

2. 验证malloc/free的正确性 #

你提到的char* sfile是用来存储JPEG文件名的，确认：

• malloc的大小足够：JPEG文件名格式是XXX.jpg，需要至少8字节（比如malloc(8 * sizeof(char))），避免sprintf写入时越界破坏内存结构。
• 没有在malloc后修改sfile的指针地址（比如重新赋值sfile = "000.jpg"会丢失malloc的内存地址，导致无法free，但你说已经free了，这点大概率没问题）。

3. 关于Valgrind "仍可访问"的说明 #

这类内存不属于内存泄漏（leaked），只是程序退出时仍有合法指针指向这些内存。但CS50的check50要求完全清理，所以必须确保所有fopen的文件都被fclose。

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