C语言命令行解析器struct指针中char指针成员被无意替换为"\320"问题

你遇到的是典型的内存越界/非法内存访问问题，那些\320/\240是八进制表示的脏内存数据，说明你的代码在写入内存时超出了分配的范围，或者引用了已失效的内存地址，刚好覆盖了后续命令结构体的内容。结合你的描述，核心问题集中在这几个方向：

可能的根源 #

1. 参数数组内存分配不足 #

如果给command_args分配的数组长度小于实际参数数量（包括命令本身+所有参数+终止NULL），写入后续参数时会越界，直接覆盖相邻内存——而相邻内存刚好是下一个命令结构体的成员（比如命令指针），就会把合法的命令地址冲成脏数据。

比如一个命令有3个参数（命令+2个参数），需要分配4个char*的空间（最后一个位置存NULL），如果只分配3个，写入第3个参数时就会越界。

2. 直接使用栈内存指针 #

如果在分割参数时，把栈上的字符串指针直接存入command_args，栈内存会在函数返回或后续操作时被覆盖。比如用strtok分割栈上的输入字符串，然后直接把strtok返回的指针存起来，后续处理其他参数时栈内存被改写，之前存的指针就指向了脏数据。

3. 命令结构体内存分配错误 #

创建命令链表节点时，如果错误分配了指针大小的内存（比如malloc(sizeof(Command*))而不是malloc(sizeof(Command))），结构体内容会越界写入，覆盖后续节点的数据。

具体修复步骤 #

1. 准确统计参数数量，分配足够内存 #

处理每个命令的参数时，先遍历一次统计参数总数，再分配参数数+1个char*的数组（必须留一个位置存NULL，符合exec系列函数的要求）：

typedef struct Command {
    char** command_args;
    struct Command* next;
} Command;

// 统计参数个数
int count_args(const char* cmd_str) {
    char* tmp = strdup(cmd_str);
    char* token = strtok(tmp, " ");
    int count = 0;
    while (token != NULL) {
        count++;
        token = strtok(NULL, " ");
    }
    free(tmp);
    return count;
}

// 分配参数数组并填充
void fill_args(Command* cmd, const char* cmd_str) {
    int arg_count = count_args(cmd_str);
    // 分配arg_count+1个char*，最后一个存NULL
    cmd->command_args = malloc((arg_count + 1) * sizeof(char*));
    if (!cmd->command_args) {
        perror("malloc failed");
        exit(EXIT_FAILURE);
    }

    char* tmp = strdup(cmd_str);
    char* token = strtok(tmp, " ");
    int i = 0;
    while (token != NULL) {
        // 把参数复制到堆内存，再存指针
        cmd->command_args[i++] = strdup(token);
        token = strtok(NULL, " ");
    }
    cmd->command_args[i] = NULL; // 必须添加终止NULL
    free(tmp);
}

2. 所有字符串必须存到堆内存 #

绝对不能把栈上的字符串指针直接存入command_args，必须用strdup()或者malloc()+strcpy()复制到堆内存：

// 错误示例：直接用栈指针
char buf[256];
strcpy(buf, split_arg);
cmd->command_args[i] = buf; // 栈内存后续会被覆盖

// 正确示例：复制到堆
cmd->command_args[i] = strdup(split_arg);
// 或者手动分配
size_t len = strlen(split_arg);
cmd->command_args[i] = malloc(len + 1);
if (cmd->command_args[i]) {
    strcpy(cmd->command_args[i], split_arg);
}

3. 检查命令结构体的内存分配 #

创建链表节点时，确保分配的是结构体的大小，不是指针大小：

// 错误：分配了指针的大小，结构体内容会越界
Command* new_cmd = malloc(sizeof(Command*));

// 正确：分配结构体的完整大小
Command* new_cmd = malloc(sizeof(Command));
if (!new_cmd) {
    perror("malloc command failed");
    exit(EXIT_FAILURE);
}
// 初始化成员
new_cmd->command_args = NULL;
new_cmd->next = NULL;

4. 用工具快速定位问题 #

编译时打开地址 sanitizer，能直接定位内存越界的位置：

gcc -g -Wall -Wextra -fsanitize=address your_parser.c -o parser
./parser "cmd1 arg1 | cmd2 arg2 arg3"

工具会直接输出越界的代码行、内存地址等信息，比手动调试高效得多。

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