请求指导理解fork()进程中变量x的副本数量及终值逻辑

Hey 伙计！我先拿这类问题里最经典的示例代码来给你一步步拆解——如果你的代码有差异，随时补充我再调整推导过程：

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

int main() {
    int x = 10;
    pid_t pid1 = fork();
    if (pid1 == 0) {
        // 子进程分支
        x = 20;
    }
    pid_t pid2 = fork();
    if (pid2 == 0) {
        // 子进程分支
        x += 5;
    }
    printf("x=%d\n", x);
    return 0;
}

核心前提先明确 #

每次调用fork()，操作系统会创建一个全新的子进程，这个子进程会完整复制父进程的地址空间（包括所有变量的当前值）。从fork完成的那一刻起，父子进程的变量就是完全独立的副本——你改你的，我改我的，互相不影响。

一步步推导进程与x的变化 #

1. 初始进程（记为P0） #

程序启动后，只有P0一个进程，此时x = 10。

2. 第一次fork()调用 #

执行pid1 = fork()后：

• P0（父进程）：pid1会得到子进程的PID（非0值），所以不会进入第一个if分支，x保持10。
• 新创建的子进程P1：pid1的值是0，进入第一个if分支，把x改成20。

现在有2个独立进程，各自持有x的副本：

• P0: x=10
• P1: x=20

3. 第二次fork()调用 #

现在P0和P1都会执行第二次fork()：

先看P0的第二次fork：

• P0本身：pid2得到新子进程的PID（非0），不进入第二个if分支，x保持10。
• 新创建的子进程P2：复制P0的地址空间，初始x=10；pid2=0进入第二个if分支，执行x +=5，最终x=15。

再看P1的第二次fork：

• P1本身：pid2得到新子进程的PID（非0），不进入第二个if分支，x保持20。
• 新创建的子进程P3：复制P1的地址空间，初始x=20；pid2=0进入第二个if分支，执行x +=5，最终x=25。

最终结果 #

此时总共有4个独立的x副本，对应4个进程结束时的取值：

• P0（初始进程）：x=10
• P1（第一次fork的子进程）：x=20
• P2（P0第二次fork的子进程）：x=15
• P3（P1第二次fork的子进程）：x=25

如果你的代码是其他结构（比如更多次fork、不同的分支逻辑），本质上都是按照“每次fork就复制当前进程的所有变量，之后父子进程独立修改”这个逻辑去拆解——关键是跟踪每一次fork后产生的新进程，以及每个进程中变量的修改路径。

内容的提问来源于stack exchange，提问作者Sang Lee