使用execvp执行bash命令：输入解析为char**的函数问题求助

你的代码中的核心问题 #

不管是最初还是修改后的版本，都存在几个关键错误：

• 参数传递错误：最初版本中char **arg_list是值传递，函数内的malloc不会影响外部变量；修改后用了char ***arg_list但逻辑混乱，没有正确分配每个单词的内存。
• 单词统计逻辑错误：最初用空格数代替单词数，完全不准确（比如多个连续空格会被统计成多个单词）；修改后的统计逻辑是对的，但后续处理索引混乱。
• 内存管理错误：最初版本中把word存入arg_list后立刻free，导致野指针；修改后的版本直接给未分配内存的(*arg_list)[j][k]赋值，会直接崩溃。
• 缺少execvp要求的NULL结尾：execvp要求argv数组最后一个元素必须是NULL，你的代码都没处理这个。

正确的实现思路 #

要完成输入解析，需要分三步：

1. 准确统计输入中的单词数量（处理连续空格、开头/结尾空格）。
2. 为arg_list分配足够空间，再为每个单词单独分配内存并复制内容。
3. 确保arg_list最后以NULL结尾，满足execvp的要求。

完整的parse_input实现 #

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <ctype.h>
#include <unistd.h>
#include <sys/wait.h>

// 解析输入buff为arg_list，返回单词数量（不含NULL），失败返回-1
int parse_input(char ***arg_list, char *buff, int bytes) {
    // 先确保buff末尾是'\0'，避免越界
    if (bytes > 0 && buff[bytes-1] != '\0') {
        buff[bytes] = '\0';
    }

    int word_count = 0;
    bool in_word = false;

    // 第一步：统计单词数量
    for (int i = 0; i < bytes; i++) {
        if (isspace(buff[i])) {
            in_word = false;
        } else if (!in_word) {
            in_word = true;
            word_count++;
        }
    }

    // 分配arg_list空间：单词数 + 1（NULL结尾）
    *arg_list = malloc((word_count + 1) * sizeof(char*));
    if (*arg_list == NULL) {
        perror("malloc arg_list failed");
        return -1;
    }

    // 第二步：分割每个单词
    int current_arg = 0;
    in_word = false;
    int word_start = 0;

    for (int i = 0; i <= bytes; i++) { // 遍历到bytes（'\0'的位置）
        if (isspace(buff[i]) || buff[i] == '\0') {
            if (in_word) {
                // 计算单词长度
                int word_len = i - word_start;
                // 分配单词内存
                (*arg_list)[current_arg] = malloc(word_len + 1); // +1存'\0'
                if ((*arg_list)[current_arg] == NULL) {
                    perror("malloc word failed");
                    // 释放已分配的内存
                    for (int j = 0; j < current_arg; j++) {
                        free((*arg_list)[j]);
                    }
                    free(*arg_list);
                    *arg_list = NULL;
                    return -1;
                }
                // 复制单词内容
                strncpy((*arg_list)[current_arg], buff + word_start, word_len);
                (*arg_list)[current_arg][word_len] = '\0'; // 确保结尾是'\0'
                current_arg++;
                in_word = false;
            }
        } else if (!in_word) {
            word_start = i;
            in_word = true;
        }
    }

    // 最后添加NULL结尾
    (*arg_list)[current_arg] = NULL;

    return word_count;
}

// 测试用例
int main() {
    char buff[1024];
    ssize_t bytes;
    char **arg_list;

    while (1) {
        printf("bash$ ");
        bytes = read(0, buff, sizeof(buff)-1);
        if (bytes <= 0) {
            break;
        }

        int word_count = parse_input(&arg_list, buff, bytes);
        if (word_count <= 0) {
            continue;
        }

        // 调用execvp执行命令（必须用fork，否则当前进程会被替换）
        pid_t pid = fork();
        if (pid == 0) {
            execvp(arg_list[0], arg_list);
            perror("execvp failed");
            exit(EXIT_FAILURE);
        } else if (pid > 0) {
            wait(NULL);
        }

        // 释放内存
        for (int i = 0; arg_list[i] != NULL; i++) {
            free(arg_list[i]);
        }
        free(arg_list);
    }

    return 0;
}

代码解释 #

1. 参数传递：用char ***arg_list，这样函数内可以直接修改外部的char**变量，因为传递的是指针的地址。
2. 单词统计：通过in_word标记是否在单词中，避免连续空格被误统计，准确计算实际单词数。
3. 内存分配：先为arg_list分配足够空间，再为每个单词单独分配对应长度的内存，避免固定长度内存的浪费。
4. 字符串复制：用strncpy确保不会越界，手动添加'\0'保证字符串合法。
5. 错误处理：如果内存分配失败，会释放已经分配的内存，避免内存泄漏。
6. NULL结尾：arg_list最后一个元素设为NULL，满足execvp的要求。
7. 命令执行：用fork创建子进程执行命令，父进程等待子进程结束，保证程序可以继续接收新命令。

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