C程序中如何修改参数传递给其他程序且避免exec前malloc内存泄漏？

问题核心结论 #

exec 系列函数执行成功后，原进程的全部地址空间会被操作系统直接回收，你通过malloc分配的参数内存不会产生内存泄漏，不需要额外处理。

原理说明 #

• exec执行成功场景：此时原程序的所有代码、数据（包括堆上分配的内存、栈数据、全局变量等）都会被新程序的镜像完全覆盖，操作系统会统一回收原进程持有的所有内存资源，完全没有内存泄漏的风险。
• exec执行失败场景：此时进程会继续运行原程序的后续代码，这种情况下才需要释放已分配的内存，避免泄漏。

正确代码示例 #

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

int main(int argc, char *argv[]) {
    // 为修改后的参数分配堆内存
    char *new_argv1 = malloc(128);
    if (new_argv1 == NULL) {
        perror("malloc argv1 failed");
        exit(EXIT_FAILURE);
    }
    snprintf(new_argv1, 128, "%s_suffix", argv[1] ? argv[1] : "default_val1");

    char *new_argv2 = malloc(128);
    if (new_argv2 == NULL) {
        perror("malloc argv2 failed");
        free(new_argv1); // 分配失败提前释放已申请内存
        exit(EXIT_FAILURE);
    }
    snprintf(new_argv2, 128, "%s_suffix", argv[2] ? argv[2] : "default_val2");

    // 替换argv数组对应位置的指针
    argv[1] = new_argv1;
    argv[2] = new_argv2;

    // 执行目标程序，注意argv数组末尾必须以NULL结尾
    execv("/bin/echo", argv);

    // -------------- 只有exec执行失败才会运行到此处 --------------
    perror("exec failed");
    // 释放已分配的堆内存
    free(new_argv1);
    free(new_argv2);
    exit(EXIT_FAILURE);
}

额外注意事项 #

• 不要直接修改原始argv指向的字符串内存：原始argv的字符串存储在进程栈的固定区域，长度不可扩展，直接追加内容会导致栈溢出，必须申请新内存替换指针。
• 若参数长度可控，也可以直接在栈上分配内存存储修改后的参数，不需要调用malloc，彻底避免内存分配相关问题。
• 如果需要新增参数而非修改原有参数，建议自行构造一个全新的指针数组作为exec的入参，避免修改原argv数组导致越界。

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