C语言中释放含未关闭文件指针的结构体的内存问题

问题背景 #

定义结构体MyStruct及相关初始化、释放函数如下：

结构体定义 #

typedef struct {
  FILE* file;
  ...
  ...
} MyStruct;

初始化函数 #

MyStruct* mystruct_new(const char* filename) {
  MyStruct* ms = malloc(sizeof(MyStruct));
  if (!ms) {
    return NULL;
  }

  FILE* file = fopen(filename, "w+");
  if (!file) {
    free(ms);
    ms = NULL;
    return NULL;
  }

  ms->file = file;
  return ms;
}

待优化的释放函数 #

void free_mystruct(MyStruct* s) {
  if (!s) {
    return;
  }

  if (!s->file) {
    free(s);
    s = NULL;
    return;
  }

  if (fclose(s->file) != 0) {
    // it failed to close the file...
    // how to handle the free?
  }

  free(s);
  s = NULL;
}

当前疑问：当fclose关闭文件失败时，若仍释放结构体是否会造成内存或系统资源泄漏？此时应选择报告错误不执行free()直接返回，还是仍执行free()？核心困惑在于不了解fclose()失败的场景。

核心分析 #

1. fclose失败的常见场景 #

fclose返回非0值，通常是因为文件缓冲区的数据写入底层存储时出错（比如磁盘满、设备断开、权限变化等）。此时，FILE*对应的内核文件描述符已经被系统关闭，只是用户态的缓冲区同步失败。

2. 释放结构体是否会导致泄漏 #

• 内存层面：结构体本身是malloc分配的，必须调用free释放，否则会造成内存泄漏。
• 文件资源层面：即使fclose失败，内核已经回收了文件描述符，不会残留系统资源泄漏——fclose的设计逻辑是：无论缓冲区同步是否成功，都会关闭内核文件描述符。

3. 正确的处理方式 #

必须执行free(s)，不能因为fclose失败就跳过。但需要报告错误，让上层知道数据可能未完全写入。

优化后的释放函数示例 #

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <errno.h>

// 返回错误码让上层处理，也可直接打印错误信息
int free_mystruct(MyStruct* s) {
  int ret = 0;
  if (!s) {
    return ret;
  }

  if (s->file) {
    if (fclose(s->file) != 0) {
      // 记录错误到标准错误输出
      fprintf(stderr, "Failed to close file: %s\n", strerror(errno));
      ret = -1;
    }
    s->file = NULL; // 避免野指针
  }

  free(s);
  // 注意：原函数中s = NULL是无效的，因为参数是传值，修改的是局部变量
  // 若要让调用者的指针置空，需将参数改为MyStruct** s，执行*s = NULL
  return ret;
}

补充说明 #

• 原函数里的s = NULL对调用者无效，因为函数参数是传值传递，修改的只是函数内部的局部变量，不会影响调用者的指针。如果需要让调用者的指针变为NULL，应该把函数参数改为MyStruct** s，然后在函数内执行*s = NULL。
• fclose失败时，核心是告知上层数据可能丢失，结构体的内存必须释放，否则会造成内存泄漏。

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