c - 为什么这个程序打印 "forked!"4 次？

Question

为什么这个程序打印“forked!” 4次？

#include <stdio.h>
#include <unistd.h>

int main(void) {

  fork() && (fork() || fork());

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

Answer 1

一个来自 main()，另外三个来自每个 fork()。

请注意，所有三个 forks() 都将被执行。您可能想看看 ref :

RETURN VALUE

Upon successful completion, fork() shall return 0 to the child process and shall return the process ID of the child process to the parent process. Both processes shall continue to execute from the fork() function. Otherwise, -1 shall be returned to the parent process, no child process shall be created, and errno shall be set to indicate the error.

请注意，进程 ID 不能为零，如 here 所述.

---

那么到底发生了什么？

我们有:

fork() && (fork() || fork());

所以第一个 fork() 将返回其非零进程 id 给父进程，而它将返回 0 给子进程。这意味着逻辑表达式的第一个分支将在父进程中被评估为真，而在子进程中它将被评估为假，并且由于 Short circuit evaluation ，它不会调用剩下的两个fork()。

所以，现在我们知道至少会得到两个打印(一个来自 main，一个来自第一个 fork())。

现在，父进程中的第二个 fork() 将被执行，它执行并向父进程返回一个非零值，在子进程中返回一个零值。

所以现在，父进程不会继续执行到最后一个fork()(由于短路)，而子进程将执行最后一个fork，因为的第一个操作数|| 为 0。

这意味着我们将获得另外两个打印件。

因此，我们总共得到了四张照片。

---

短路

这里，短路基本上意味着如果 && 的第一个操作数为零，则其他操作数不被评估。在相同的逻辑中，如果 || 的操作数为 1，则其余操作数不需要计算。这是因为剩下的操作数不能改变逻辑表达式的结果，所以它们不需要被执行，这样我们就节省了时间。

请参阅下面的示例。

---

流程

请记住，父进程会创建子进程，而子进程又会创建其他进程，依此类推。这导致了进程的层次结构(或者可以说是一棵树)。

考虑到这一点，值得一看 similar problem ，以及 this回答。

---

描述性图片

我猜我也制作了这个可以提供帮助的图。我假设每次调用返回的 pid fork() 是 3、4 和 5。

请注意，一些 fork() 上面有一个红色的 X，这意味着它们因为逻辑表达式的短路评估而没有被执行。

顶部的fork()不会被执行，因为&&运算符的第一个操作数是0，所以整个表达式会导致0，因此在执行 && 的其余操作数时没有本质。

底部的 fork() 不会被执行，因为它是 || 的第二个操作数，它的第一个操作数是一个非零数，因此，无论第二个操作数是什么，表达式的结果都已经被评估为真。

在下一张图片中，您可以看到流程的层次结构: 根据上图。

---

短路示例

#include <stdio.h>

int main(void) {

  if(printf("A printf() results in logic true\n"))
    ;//empty body

  if(0 && printf("Short circuiting will not let me execute\n"))
    ;
  else if(0 || printf("I have to be executed\n"))
    ;
  else if(1 || printf("No need for me to get executed\n"))
    ;
  else
  printf("The answer wasn't nonsense after all!\n");

  return 0;
}

输出:

A printf() results in logic true
I have to be executed