难以理解分叉逻辑

Question

有人能帮我理解这段代码发生了什么吗？我无法理解为什么输出是这样的。输出是：

0 1 2 3 4

3

2

1

0

int main() {
   int i;

   for (i = 0; i < 5 && !fork(); i++) {
      fflush(stdout);
      printf("%d ", i);
   }
   wait(NULL);

   printf("\n");
   return 0;
}

Answer 1

这里有两件事：

首先，fork() 在子进程中返回 0，而它向父进程返回一个非零 pid。

二、&&短路。

所以在第一个进程（p0）的开始，它运行到i < 5 && !fork()。现在i = 0 并创建了另一个进程（p1）。现在对于 p0，测试 !fork() 失败，它结束 for 循环并等待孩子结束。对于p1，测试成功，打印出0，然后将i加1，然后它会创建进程p2，并像p0一样退出for循环。

由于短路，当i 等于5 时，将不再调用fork。