如何使用 && 评估这些 fork() 调用和|| C 中的运算符？

Question

我下面有一些使用 fork() 系统调用的 C 代码，但我只是很困惑：我该怎么做
解决它的作用：

int main()
{
    fork();
    fork() || fork() && fork();
    fork();
    printf("ämit");
}

fork() &&叉() || fork(); 的评估如下：

       fork()
      /      \
    0/        \>0
 || fork()     && fork()
     /\            /   \
    /  \         0/     \>0
   *    *     || fork()  *
                /   \
               *     *

我需要相同类型的树 fork() || fork() && fork()。谁能告诉我应该如何实现它？

Answer 1

如果这是一个面试问题（可能）或家庭作业（可能性较小），您首先要冷静地解释您可以如何评估它。

我的意思是，您声明第一个、第二个和第五个分叉是无条件的，但第三个和第四个分叉取决于第二个和第三个（并且第二个和第三个分叉将在多个进程中发生）。

这将表明您理解这些概念。

然后你解释说这并不重要，因为如果任何编码器实际上向你提供了这样的代码，就会发生一些严重的焦油和羽毛行为。像这样的怪物代码在现实世界中没有立足之地，尽管它有助于测试您的理解，但您在现实中永远不会遇到它。

Answer 2

|| 的优先级低于 &&，并且如果第一个操作数包含足够的数据，这些运算符在评估第一个操作数后会短路 (||如果第一个操作数为 true，则 code> 短路；如果第一个操作数为 false，则 && 短路）。

fork()||fork()&&fork() 相当于 fork() || ( fork() && fork() )

因此：

                                                       fork()
                                                     0/     \>0
                                                     /       *  ==> || short-circuits, no evaluation of  fork()&&fork()
                                                   fork()
                                                   0/    \>0
 && short-circuits, no evaluation of &&fork() ==>  *     fork()
                                                         /   \
                                                        *     *

对于第一个示例，它相当于 ( fork() && fork() ) || fork()。