c - 调用 "getpid() == fork()"时应该返回什么

Question

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

int main(int argc, char **argv) {
    printf ("%d", getpid() == fork());
    return 0;
}

这个程序的输出是00。我不太明白为什么 0 被打印了两次。我的理解是，在调用 fork() 之后，会创建一个子进程。现在两个进程都继续运行程序的下一行。这是否意味着子进程将运行 return 0？我可以看到，如果它是 fork() == getpid()，我将得到 00。谢谢!

Answer 1

fork 不会导致子进程跳转到“下一行”。假设操作成功，fork 函数调用 返回两次，每个进程一次。所以两个进程都执行与 getpid 的比较。

此外，C 标准没有指定对 getpid 的调用是在调用 fork 之前(在这种情况下它只发生一次)还是之后(在这种情况会发生两次并返回两个不同的值)，但这无关紧要，因为所有可能的情况都会导致比较结果为假:

• fork 失败:没有创建新进程，它向父进程返回 −1，这不是有效的进程 ID，因此无法与返回给父进程的值进行比较获取标识符。 getpid 发生在 fork 之前还是之后并不重要，因为在这两种情况下都是相同的过程。

• fork 成功:它将子进程 ID 返回给父进程，并将零返回给子进程。

  • 子进程ID不能等于父进程ID(因为两者同时运行)，所以，在父进程中，比较永远为假，无所谓getpid 发生在 fork 之前还是之后，因为这两种情况下都是相同的进程。

  • 如果 getpid 调用发生在 fork 之前，子进程会将零与父进程 ID 进行比较；如果它发生在 fork 之后，子进程会将零与子进程 ID 进行比较。零也不是有效的进程 ID，因此无论哪种方式，比较都是错误的。

getpid 是 POSIX 规定永远不会失败的极少数系统调用之一，因此我们不必担心这种可能性。

因此，该程序唯一可以打印的是 0(如果 fork 失败)或 00(如果 fork 成功)。

我强烈建议不要在实际程序中编写这样的内容。具有“异常”控制流行为的操作，如 fork，应始终作为独立语句完成，因为这使程序更易于人类阅读。您可能还没有意识到它的重要性，所以让我给您做一个练习:重新阅读您三个月前编写的程序，并尝试记住它的作用和原因。 (如果您的编程时间还不够长，无法做到这一点，请记下在可以的时候做这个练习。)