为什么这个程序打印“forked!” 4次?
#include <stdio.h>
#include <unistd.h>
int main(void) {
fork() && (fork() || fork());
printf("forked!\n");
return 0;
}
最佳答案
一个来自 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
关于c - 为什么这个程序打印 "forked!"4 次?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26716255/