C/C++ 进程替换和exec函数族

fork 创建的子进程一般不会执行和父进程相同的代码段，而是调用 exec 相关函数，将该进程的用户空间代码和数据完全替换，子进程从替换的新程序启动执行。exec仅仅是替换代码和数据，并不会创建新进程，所以被替换的进程 id 和子进程 id 相等。
如下图： 

新进程从调用进程继承了下列属性：

进程 ID 和父 ID，实际用户 ID 和实际组 ID
附属组 ID，进程组 ID，回话 ID
控制终端
闹钟尚预留的时间
当前工作目录
根目录
文件模式创建屏蔽字
文件锁
进程信号屏蔽字
未处理信号
资源限制
nice值
tms_utime, tms_stime, tms_cutime, tms_cstime
exec函数族

函数    参数格式    是否带路径    是否使用当前环境变量
int execl(const char * path,const char * arg, …);    list    不带    是
int execlp(const char * file,const char * arg, …);    list    带    是
int execle(const char * path,const char * arg, … char const *envp[]);    list    不带    需自己组装环境变量
int execv(const char * path,char* const argv[]);    array    不带    是
int execvp(const char * file,char* const argv[]);    array    带    是
int execve(const char * path,char* const argv[], char const *envp[]);    array    不带    需自己组装环境变量
参数：

根据命名可以看出，名字中的 l 表示新进程的参数通过exec可变参数列表传过去，因此带 l 的函数参数列表都有 ... 代表可变参数;
而带 v 的函数，新进程的参数则是通过 一个字符串数组传过去；
名字中带 p 的代表会自动到环境变量PATH 中搜索新进程，而不带 p 的，则第一个参数必须是相对路径或者绝对路径；
对于带 e 的代表可以自己组装一份环境变量，通过参数3传递给新进程。
返回值：

替换成功，则从新进程开始执行，不会返回，失败返回-1，；所以该函数只要返回，就说明进程替换失败。
事实上这些函数最终都调了系统调用 execve， 如下图： 

看下面这个例子： 
hello.c

#include <stdio.h>

int main(int argc, char *argv[], char *env[])
{
    int i = 0;
    for(; i < argc; i++){
        printf("argv[%d]: %s\n", i, argv[i]);
    }

    int j = 0;
    while(env[j]){
        printf("%s\n", env[j]);
        j++;
    }

    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
exec.c

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

extern char **environ;

int main()
{
    const char *path= "./hello";
    char* const arg[] = {"aaa", "bbb", "ccc", NULL};
    char* const env[] = {"MYENV=myenv", NULL};
    execve(path, arg, env);

    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
运行结果： 

可以看到，打印出的参数正是我们传过去的参数，而环境变量也是如此。

——完！