Linux 进程替换详解：从 fork 到 exec 的完整链路

2. CPU 如何知道入口地址？

Linux 下的可执行文件是 ELF 格式。文件头部的 e_entry 字段存储了程序的入口地址。当 exec 加载新程序时，内核读取 ELF 头中的这个地址，并把 CPU 的指令指针（PC）设置到该位置，让程序从这里开始执行。

3. 后续代码还会执行吗？

• 执行成功：exec 后面的代码永远不会执行。因为成功时没有返回值，不会回到原程序的执行流。
• 执行失败：exec 会返回 -1，程序会继续执行后续代码（通常这里会写错误处理逻辑，比如 perror 然后退出）。

4. 会影响父进程吗？

不会。子进程替换时会丢弃原有资源并构建全新地址空间，与父进程完全独立，因此不会影响父进程的代码和数据。

exec 系列接口详解

execve() 是内核直接提供的系统调用，是'真身'。其他 exec 函数都是 C 库提供的封装，是'马甲'，最终都会调用 execve() 来完成实际的进程替换。

命名规则其实很有规律：

• l (list)：参数以列表形式传递，最后一个必须是 NULL。
• v (vector)：参数以数组形式传递（char *const argv[]）。
• p (path)：会自动在 PATH 环境变量中查找程序，无需写完整路径。
• e (env)：允许显式指定环境变量表，否则默认继承父进程环境。

下面通过几个典型例子说明差异。

1. 基础用法：execl 与 execv

这两个都需要指定完整路径，区别在于参数传递方式。

// execl: 参数逐个列出，最后加 NULL
execl("/bin/ls", "ls", "-l", "-a", NULL);

// execv: 参数放入数组
char *const argv[] = {"ls", "-l", "-a", NULL};
execv("/bin/ls", argv);

2. 自动查找：execlp 与 execvp

如果你不想写 /bin/ls，可以用带 p 的版本，它会在 PATH 里找。

// 不需要完整路径，只要文件名
execlp("ls", "ls", "-l", "-a", NULL);

char *const argv[] = {"ls", "-l", "-a", NULL};
execvp("ls", argv);

3. 环境变量控制：execle 与 execvpe

默认情况下，子进程会继承父进程的环境变量。如果你想彻底替换或自定义环境，需要用带 e 的版本。

// 显式传递环境变量数组
char *const myenv[] = { "MYAVL=111111", "HELLO=222222", NULL };
execle("./testc", "./testc", "-a", "-b", "-c", NULL, myenv);

注意：使用 execle 时，最后一个参数是环境变量数组，必须以 NULL 结尾。

常见问题与实战

Q1: exec 只能执行系统命令吗？

不仅能，还能执行你自己写的程序。只要你把程序编译成可执行文件，然后把它的完整路径传给 exec 函数，就能像执行系统命令一样运行它。

// 执行当前目录下的 testc 程序
execl("./testc", "testc", NULL);

注意：在终端手动执行时需要加 ./ 表示当前目录，但在 exec 函数的第一个参数中，你必须明确写出路径（如 ./testc），告诉系统去哪里找文件。后面的 testc 只是传递给程序的 argv[0]，不是用来定位文件的。

Q2: 为什么脚本和程序能跨语言调用？

因为所有语言运行起来，本质都是进程。不管是 C/C++ 编译出的可执行文件、Shell 脚本，还是 Python 脚本，最终都是由操作系统创建为独立的进程来执行的。调用的本质都是让操作系统加载并执行目标程序，和它原本用什么语言编写无关。

Q3: 如何传递命令行参数和环境变量？

• 命令行参数：通过 argv 数组传递，这是 exec 系列函数的标准参数。
• 环境变量：默认情况下，fork() 创建子进程时，操作系统会自动从父进程复制并继承给子进程。后续调用 exec 替换子进程时，这份环境变量会被完整保留。

如果你想新增环境变量，可以使用 putenv。

// 设置环境变量，格式 KEY=VALUE
putenv("MY_ENV=666666");

pid_t pid = fork();
if (pid == 0) {
    // 子进程执行
    char *const argv[] = { "./testc", NULL };
    execv("./testc", argv);
} else {
    wait(NULL);
}

这样，子进程启动后的 main 函数第三个参数 env[] 或全局变量 environ 中就能访问到这个新变量。

Q4: 如何彻底替换环境变量？

如果需要隔离环境，不使用父进程的环境，必须使用 execle 或 execvpe 显式传入新的环境变量数组。未继承的变量将不可见。

总结

exec 系列函数是操作系统层面的程序加载与替换接口。在终端中，我们输入的非内建指令，本质上都是 Shell 先通过 fork() 创建子进程，再在子进程中调用 exec 系列函数加载并执行目标程序。理解这一机制，对于掌握多进程编程和系统底层逻辑至关重要。