c语言中fork()&&fork()||fork()是什么意思

Question

我对 fork 进程有疑问。我有一个代码是

int main(int c, char **v){
  fork();
  fork() && fork() || fork();
  printf("Hello\t");
}

根据我的说法，上述代码的输出将是 2⁴ = 16 次 "Hello"，因为每个分叉都会创建两个自己的副本，所以整体变为 2*2*2*2，它们是 16 乘以 "Hello"。 但这是不正确的，它给我的输出是10 times Hello。这里发生了什么？

Answer 1

这是一个脑筋急转弯，测试您对fork 以及逻辑运算符如何在 C 中工作的理解。尤其是它们的短路评估。它基于以下原则工作：

• || 不会计算第二个表达式，如果第一个表达式的计算结果为真值（非 0）。

• 如果第一个表达式的计算结果为假值 (0)，&& 将不会计算第二个表达式。

• && 的优先级高于 ||。所以“棘手”的表达式等价于带括号的((fork() && fork()) || fork());

• fork 向子进程返回 0，向父进程返回 0 以外的值。它在失败时返回 -1，但显然在问题中假定成功。

考虑到这一点，我们可以如下跟踪进程创建：

1. 原进程无条件调用fork。从而产生2个进程。

2. #1 中的每个进程都调用逻辑表达式中的第一个 fork。这样创建的每个孩子都返回一个 0，因此它不会在 && 之后调用 fork。进程总数现在是 4 个。

3. #1 中的两个进程做 在&& 之后调用fork。他们创建了另外 2 个进程。使我们总共有 6 个。父母满足 || 的左子表达式，因此他们不会再调用 fork。新创建的子进程还不满足||。所以他们会打电话给最后一个fork。

4. 在#2 中创建的两个孩子和在#3 中创建的两个孩子在|| 之后调用最后一个fork。它们总共产生了 4 个进程。将计数增加到 10。