C语言fork嵌套switch的循环程序输出逻辑咨询

你的推测存在三个核心偏差：

• 第一，误判了switch结构的执行逻辑：无%2版本中，exit(0)和case 0分支下的break都包裹在奇偶判断的if块内，移除判断逻辑后这些语句会被一并删除。case 0分支后没有任何有效语句、也没有break，C语言的switch分支默认是顺序穿透（fall through）逻辑，进入case 0的子进程会直接落到default分支继续执行，根本不会触发跳出switch的break。
• 第二，误以为循环内父进程会等待子进程退出：代码中的wait(NULL)调用写在for循环结束后的printf语句之后，循环体内没有任何等待子进程的逻辑。fork()执行完成后，父子进程是完全独立的调度实体，由操作系统内核调度并发执行，不存在父进程暂停等待子进程的逻辑。
• 第三，误以为只有父进程会进入下一轮循环：移除exit退出逻辑后，不管是父进程还是子进程，执行完空的switch块后都不会退出，都会直接进入下一轮for循环。

无%2版本运行时不会产生输出的原因非常直接：每一轮循环中所有当前存活的进程都会调用一次fork()生成新进程，存活进程数每轮翻一倍，呈指数级增长——第10轮就有1024个进程，第20轮就会超过100万，根本跑不到25轮就会触发操作系统对单个用户的最大进程数限制。此时fork()会因为资源不足调用失败，内核也会因为资源耗尽向进程发送SIGKILL信号强制终止进程，所有进程都会死在循环阶段，根本没有机会执行到循环后的printf语句。

首先要明确一个最容易被忽略的核心前提：代码中pid = getpid();是在进入for循环之前，由最开始启动的初始祖宗进程执行的。后续所有fork()生成的子进程都会完整拷贝父进程的内存地址空间，因此所有进程内的pid变量值，永远等于最开始那个初始祖宗进程的PID，不会自动更新为子进程自身的PID。

程序的实际运行走向完全由初始祖宗进程的PID奇偶性决定（PID是操作系统启动程序时动态分配的），分两种情况：

1. 当初始PID为偶数时
   每一轮循环中，当前唯一存活的进程调用fork()后：
   • 新生成的子进程进入case 0分支，判断pid%2 == 0成立，直接执行exit(0)退出，不会参与后续循环。
   • 调用fork()的原进程（父进程）进入default分支，判断pid%2 != 0不成立，不会执行exit(0)，正常跳出switch进入下一轮循环。
     整个循环过程中永远只有1个进程存活，每轮仅fork一个立刻退出的短生命周期子进程，不会出现进程数爆炸的问题。25轮循环全部跑完后，这个存活的进程就会执行printf打印自身PID和父进程PID，之后调用wait()回收所有之前fork的子进程，最终正常退出。你看到的单条输出就是这个进程打印的。
2. 当初始PID为奇数时
   第一轮循环调用fork()后：
   • 初始祖宗进程进入default分支，判断pid%2 != 0成立，直接执行exit(0)退出。
   • 新生成的子进程进入case 0分支，判断pid%2 == 0不成立，不会执行exit和break，直接穿透到default分支，同样命中pid%2 !=0的判断，执行exit(0)退出。
     第一轮循环尚未结束所有进程就已全部终止，根本执行不到printf语句，这种情况下运行程序也不会有任何输出。你运行时看到输出，只是因为那次启动程序时操作系统分配的初始PID刚好是偶数而已。

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