在 Unix/Linux 系统中，新进程通过 fork() 后 execve()（或 exec 系列函数）的方式创建，是一种经过长期实践验证的经典设计，核心原因在于分离进程创建与程序加载的职责，同时兼顾灵活性、效率和历史设计哲学。
1. 分工明确：分离"复制进程"与"替换程序"
fork()的作用是创建一个与父进程几乎完全相同的子进程：子进程会复制父进程的地址空间（代码段、数据段、堆、栈）、文件描述符、信号处理方式等大部分属性，唯一显著区别是进程 ID（PID）和父进程 ID（PPID）。execve()的作用是用新程序替换当前进程的地址空间：它会加载新的可执行文件，覆盖原进程的代码、数据、堆、栈，仅保留进程 ID 等少数核心属性（如 PID、文件描述符表）。
这种"先复制、再替换"的分离设计，遵循了 Unix "单一职责"的哲学——每个系统调用只做一件事，却能组合出强大的功能。
2. 灵活性：允许子进程在执行新程序前"自定义配置"
在 fork() 之后、execve() 之前，子进程可以做一系列自定义操作，再加载新程序。这是这种设计最核心的优势，例如：
- 修改文件描述符：实现输入输出重定向（如
cmd > file中，子进程关闭 stdout 后重新打开文件，再执行cmd）。 - 调整环境变量：为新程序设置特定的环境变量（如
PATH、LANG等）。 - 改变工作目录：通过
chdir()切换到新的工作目录后再执行程序。 - 设置信号掩码：修改信号处理方式，避免新程序受到不必要的信号干扰。
如果直接设计一个"创建进程并运行新程序"的单一系统调用，很难灵活支持这些中间操作。
3. 效率：写时复制（COW）技术降低复制开销
早期 fork() 会完整复制父进程的地址空间，开销较大。但现代系统通过写时复制（Copy-On-Write） 优化：
fork()时不实际复制内存，而是让父子进程共享同一份物理内存，仅标记为"只读"。- 当任一进程修改内存时，才会复制被修改的页，避免了不必要的复制。
这使得 fork() 几乎成为"零成本"操作，即使后续要通过 execve() 替换程序，中间的复制开销也极低。
4. 历史与兼容性：Unix 设计的延续
Unix 早期仅提供 fork() 系统调用，后来为了支持加载新程序才引入 exec 系列函数。这种设计被证明非常成功，成为 Unix/Linux 进程模型的基础：
- shell（命令行解释器）的实现严重依赖这种机制：用户输入命令时，shell 先
fork()子进程，在子进程中处理重定向等逻辑，再execve()执行命令程序。 - 后续的多进程应用（如服务器程序）也依赖这种模式实现并发（父进程
fork()子进程处理请求）。
总结
fork() + execve() 的组合，通过分离"进程复制"和"程序加载"，既保证了灵活性（允许中间配置），又通过写时复制保证了效率，同时延续了 Unix 简洁、可组合的设计哲学。这使得它成为 Unix/Linux 系统中创建新进程的标准方式，至今仍被广泛使用。