为什么 exit_group 刷新 output 缓冲区？

Question

从手册页我知道：

exit()刷新 output 缓冲区，而_exit 、 _Exit 、 exit_group不刷新。

在下面的代码中，只有在子进程中调用了exit() ， test.log的内容才会是hello\nhello\n ，这和我测试的一样。

但是当子进程中没有语句时，它会表现得像在调用exit() ， test.log的内容也会是hello\nhello\n 。

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
int main()
{

    int pid;

    FILE *fp = fopen("test.log", "w");
    fprintf(fp, "hello\n");
    pid = fork();
    if (pid == 0)
    {
        // do something
        ;
    }
    else
    {
        wait(NULL);
        exit(1);
    }
}

通过ltrace和strace我可以看到父母和孩子都叫exit_group 。

由于我在parent中调用了exit ，所以通过ltrace可以判断exit会调用exit_group 。

但反过来我无法判断子进程是否调用了exit 。

gcc 是否在子进程中隐式调用了exit ？ 正如许多人所说，在子进程中调用exit可能是有害的。 如果不是，那么为什么要刷新缓冲区？

测试 gcc 和 glibc 版本：

• gcc 版本 6.3.0 20170516 (Debian 6.3.0-18+deb9u1)
• GNU C 库 (Debian GLIBC 2.24-11+deb9u4) 稳定版 2.24

Answer 1

将 PSkocik 的评论提升为答案：

从main返回总是等同于调用exit() 。 无论哪种方式都应该代表进程的“正常”终止，您希望缓冲的所有数据实际写出，调用所有atexit()清理函数，等等。

事实上，C 库的启动代码通常被简单地写成exit(main(argc, argv));

如果你想要_exit()或_Exit()的“严厉”效果，那么你必须明确地调用它们。 分叉的子进程是一个常见的实例，这正是您想要的。

Answer 2

但是当子进程中没有语句时，它会表现得像在调用exit()，test.log的内容也会是hello\nhello\n。

您在子进程中有一个声明（隐式）：

当子进程从main()返回时，C 运行时调用exit(0); （或者更好的是，相当于exit(main(arc, argv, envp)); ，确实）这意味着您试图避免刷新缓冲区。

如果你想消除其中一个hello\n ，只需fflush(fp); 在调用fork()系统调用之前，因为该调用将在两个进程中复制fp ，每个进程都以相同的方式使用部分满的缓冲区，这就是您复制缓冲区内容的原因。 或者更好地使用fflush(NULL); .