为什么这个程序打印“叉”4次?
为什么这个程序打印“叉”4次?
#include <stdio.h> #include <unistd.h> int main(void) { fork() && (fork() || fork()); printf("forked!\n"); return 0; }
第一个fork()
在调用过程中返回一个非零值(称为p0),在子元素中返回0(称为p1)。
在p1中, &&
的短路被采用,进程调用printf
并终止。 在p0中,该过程必须评估expression式的其余部分。 然后再次调用fork()
,从而创build一个新的subprocess(p2)。
在p0中fork()
返回一个非零值,并且||
的短路 被采取,所以这个过程调用printf
并终止。
在p2中, fork()
返回0,所以||的余数 必须被评估,这是最后一个fork()
; 导致为p2创build一个孩子(称为p3)。
然后P2执行printf
并终止。
P3然后执行printf
并终止。
然后执行4个printf
。
一个来自main()
,另一个来自每个fork()
。
注意所有三个forks()
都将被执行。 你可能想看看ref :
返回值
成功完成后, fork()将返回0给subprocess,并将subprocess的进程ID返回给父进程 。 这两个过程将继续从fork()函数执行。 否则,-1将返回到父进程,不会创buildsubprocess,并且应设置错误号来指示错误。
请注意,进程ID不能为零,如此处所述。
那么究竟发生了什么?
我们有:
fork() && (fork() || fork());
所以第一个fork()
会返回父进程的非零进程ID,而它将返回0到subprocess。 这意味着逻辑expression式的第一个分支将在父进程中被评估为true,而在subprocess中则被评估为false,并且由于短路评估 ,它将不会调用其余的两个fork()
。
所以,现在我们知道要得到至less两个打印(一个来自main和一个来自第一个fork()
)。
现在,父进程中的第二个fork()
将会被执行,它会返回一个非零的值给父进程,并在subprocess中返回一个零值。
所以现在,父进程将不会继续执行到最后一个fork()
(由于短路),而subprocess将执行最后一个fork,因为||
的第一个操作数。 是0。
所以这意味着我们将得到两个更多的打印。
结果,我们总共得到四张照片。
短路
在这里, 短路基本上意味着如果&&的第一个操作数为零,则其他操作数不被评估。 在相同的逻辑上,如果一个||的操作数 是1,那么其余的操作数不需要评估。 发生这种情况是因为其余的操作数不能改变逻辑expression式的结果,所以不需要执行,因此节省了时间。
看下面的例子。
处理
请记住,父进程创build后代进程,进而创build其他进程等。 这导致了一个层次的过程(或者说一棵树)。
考虑到这一点,值得看看这个类似的问题 ,以及这个答案。
描述性的图像
我猜也是这个数字可以帮忙的。 我认为每次调用返回的pid的fork()
都是3,4和5。
注意一些fork()
在它们之上有一个红色的X,这意味着它们不会被逻辑expression式的短路评估所执行。
上面的fork()
不会被执行,因为运算符&&
的第一个操作数是0,因此整个expression式将会为0,所以没有执行&&
的其余操作数的本质。 。
底部的fork()
不会被执行,因为它是||
的第二个操作数 ,其第一个操作数是一个非零数字,因此无论第二个操作数是什么,expression式的结果都已经计算为true。
在下一张图片中,您可以看到进程的层次结构: 基于上图。
短路电路的例子
#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
对于所有的downvoters,这是来自一个合并但不同的问题。 责备SO。 谢谢。
您可以将问题分解为三行,第一行和最后一行都只是进程数量的两倍。
fork() && fork() || fork();
运营商是短路的,所以这就是你得到的:
fork() / \ 0/ \>0 || fork() && fork() /\ / \ / \ 0/ \>0 * * || fork() * / \ * *
所以这个共有4 * 5 = 20个处理每个打印一行。
注意:如果由于某种原因fork()失败(例如,对进程数量有一些限制),则返回-1,然后可以得到不同的结果。
执行fork() && (fork() || fork())
,会发生什么情况
每个fork
分别给出两个进程,分别是pid(parent)和0(child)
第一叉:
- 父类的返回值是pid not null =>执行
&& (fork() || fork())
- 第二个fork父值是pid not null停止执行
||
部分=>打印forked
- 第二个fork子值= 0 =>执行
|| fork()
|| fork()
-
forked
第三个分叉父打印 - 第三叉子打印
forked
-
- 第二个fork父值是pid not null停止执行
- 子返回值是0,停止执行&&部分=>打印
forked
总计:4 forked
我喜欢所有已经提交的答案。 也许如果你在你的printf语句中增加了一些variables,你会更容易看到发生了什么事情。
#include<stdio.h> #include<unistd.h> int main(){ long child = fork() && (fork() || fork()); printf("forked! PID=%ld Child=%ld\n", getpid(), child); return 0; }
在我的机器上它产生了这个输出:
forked! PID=3694 Child = 0 forked! PID=3696 Child = 0 forked! PID=3693 Child = 1 forked! PID=3695 Child = 1
此代码:
fork(); fork() && fork() || fork(); fork();
为自己获得20个进程,并且20次Printf将进入。
和
fork() && fork() || fork();
printf将总共进行5次。