为何for循环中调用fork()会产生意外且不确定的输出结果？

首先先贴出你的代码：

#include <unistd.h>
#include <stdio.h>
void func() {
    for (int i = 0; i < 2; ++i) {
        fork();
        printf("-");
    }
}
int main() {
    func();
    return 0;
}

你预期输出6个-，逻辑是第一次fork得到2个进程各打1个，第二次fork得到4个进程各打1个，2+4=6。但实际输出会是8个-（偶尔数量可能因进程调度略有波动），核心问题出在printf的缓冲区机制上。

核心原因：行缓冲+fork的地址空间复制 #

默认情况下printf是行缓冲模式——只有遇到换行符\n、缓冲区满，或者进程退出时，才会把缓冲区里的内容真正输出到控制台。你的代码里printf("-")没有换行符，所以每次调用后，-只是被暂存到进程的输出缓冲区，并没有立即打印。

而fork()会完整复制父进程的地址空间，包括当前未刷新的输出缓冲区内容。这就导致子进程继承了父进程缓冲区里的未输出字符，等所有进程退出时，各自的缓冲区都会被刷新，最终输出的字符数就比预期多了。

一步步拆解执行过程 #

我们逐进程跟踪行为就清楚了：

• 初始父进程（P0），i=0：
  • 调用fork()创建子进程P1，此时两者缓冲区都是空的。
  • 执行printf("-")，P0和P1的缓冲区各存入1个-。
• i=1时，P0的执行：
  • 调用fork()创建子进程P2，P0缓冲区里的1个-被复制给P2。
  • 执行printf("-")，P0缓冲区变成2个-，P2的缓冲区也变成2个-。
• i=1时，P1的执行：
  • 调用fork()创建子进程P3，P1缓冲区里的1个-被复制给P3。
  • 执行printf("-")，P1缓冲区变成2个-，P3的缓冲区也变成2个-。
• 所有进程退出，缓冲区刷新：
  P0、P1、P2、P3各自输出缓冲区里的2个-，总计8个。

如何得到你预期的6个-？ #

要避免缓冲区被fork复制，让每个printf的内容立即输出，有两种简单方法：

• 方法1：给printf加上换行符，强制刷新缓冲区：

  printf("-\n");
  

  缺点是每个-会单独占一行，最终输出6行-。
• 方法2：每次printf后手动刷新缓冲区：

  printf("-");
  fflush(stdout);
  

  这样每个-会立即输出，fork时缓冲区是空的，最终就能得到你预期的6个连续-。

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