C程序中调用exit()时如何确保文件被关闭？

我正在维护一个C项目，程序核心逻辑简化如下：

int main(int argc, const char* argv[]) {  
  initVM();
  // global pointer to a file where all output of
  // the program are directed to
  debugOut = fopen(DEBUG_OUTPUT_FILE_PATH, "wt");

  if (argc == 2) runFile(argv[1]); // may call `exit`
  else if (argc == 1) repl();      // may call `exit`
  else {
    fprintf(stderr, "Usage: clox [path]\n");
    exit(64);
  }

  fclose(debugOut);
  freeVM();
  return 0;
}

我的疑问：

1. 如果在执行fclose前调用了exit()函数，文件会被关闭吗？
2. 若无法保证资源被清理，该如何确保文件和VM资源被释放？是否需要定义自定义exit函数统一处理？
3. C语言没有finally语句，有没有等效的实现方式？

1. 调用exit()时，标准IO文件流会被自动关闭吗？ #

会，但有前提。
C标准明确规定：调用exit()时，会自动刷新并关闭所有由标准stdio库打开的文件流（比如你用fopen打开的debugOut）。但要注意两个例外：

• 如果是通过底层系统调用open()打开的文件描述符，exit()不会自动关闭；
• 如果exit()是在信号处理函数中调用的，标准IO流的刷新/关闭行为是未定义的（你的场景中runFile/repl里的exit属于正常调用，不受此限制）。

不过你真正的问题其实不是文件关闭，而是freeVM()会被exit()跳过，导致VM资源泄漏。

2. 确保资源清理的几种方案 #

方案1：自定义统一退出函数（最直接） #

定义一个封装了资源清理逻辑的退出函数，要求所有终止程序的地方都调用它，而非直接调用exit()：

// 全局可见的自定义退出函数
void clox_exit(int status) {
    fclose(debugOut); // 显式关闭文件，即使exit会自动处理，显式写更清晰
    freeVM();         // 释放VM资源
    exit(status);     // 最终调用标准exit终止程序
}

然后把代码中所有的exit()调用（包括runFile、repl内部的）都替换成clox_exit()。这样不管哪里触发退出，都能保证资源被清理。

方案2：用atexit()注册清理回调 #

C标准库提供atexit()函数，可以注册在程序正常终止（调用exit()或main自然返回）时自动执行的清理函数：

void cleanup_resources() {
    fclose(debugOut);
    freeVM();
}

int main(int argc, const char* argv[]) {  
    initVM();
    debugOut = fopen(DEBUG_OUTPUT_FILE_PATH, "wt");

    // 注册清理函数，程序正常退出时自动执行
    atexit(cleanup_resources);

    if (argc == 2) runFile(argv[1]); // 调用exit()会触发cleanup_resources
    else if (argc == 1) repl();      // 同上
    else {
        fprintf(stderr, "Usage: clox [path]\n");
        exit(64);
    }

    // 这里的fclose和freeVM可以删除，atexit会处理
    return 0;
}

注意点：

• atexit注册的函数执行顺序是后进先出；
• 如果程序通过_exit()或_Exit()终止，注册的清理函数不会执行，因此要确保所有退出路径都使用exit()。

方案3：重构代码避免提前exit()（最优雅） #

如果可以修改runFile和repl的实现，让它们不再直接调用exit()，而是返回退出状态码，由main统一处理资源清理：

int main(int argc, const char* argv[]) {  
    initVM();
    debugOut = fopen(DEBUG_OUTPUT_FILE_PATH, "wt");
    int exit_status = 0;

    if (argc == 2) {
        exit_status = runFile(argv[1]); // 改为返回状态码，内部不调用exit
    } else if (argc == 1) {
        exit_status = repl(); // 同上
    } else {
        fprintf(stderr, "Usage: clox [path]\n");
        exit_status = 64;
    }

    // 无论分支如何走，都会执行资源清理
    fclose(debugOut);
    freeVM();
    return exit_status;
}

这种方式完全符合结构化编程逻辑，没有提前退出的分支，所有资源清理都集中在main末尾，是最干净的实现方式，但前提是你能修改runFile和repl的内部逻辑。

总结 #

• 标准IO流在exit()时会被自动关闭，但其他自定义资源（比如VM）需要手动处理；
• 自定义退出函数或atexit()是C语言中替代finally的常用方案；
• 重构代码避免提前exit()是最稳妥的长期解决方案。

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