C语言中从函数返回字符串指针数组的实现问题求助

核心问题：局部数组的内存生命周期失效 #

你在commands函数里定义的char *commands[30]是栈上的局部变量，当函数执行完毕返回时，栈帧会被系统销毁，这块内存会被回收或覆盖。此时返回*commands（数组第一个元素的指针），回到main函数后该指针指向的内存已经无效，后续访问会触发未定义行为。

同时代码还有其他几个错误：

• 混用strtok和strsep，逻辑冗余且易引发混乱
• main函数中user_commands是单个char*，无法接收完整的字符串数组，puts(&user_commands[1])的写法完全错误
• 未处理输入末尾的换行符，会导致最后一个单词带无效换行

修复步骤 #

1. 改用堆内存存储字符串数组 #

要让返回的数组在函数外保持有效，需用malloc在堆上分配内存。字符串数组属于char**类型，要分配足够的指针空间，最后用NULL标记数组末尾（这也是shell命令参数的标准格式）。

2. 统一分割逻辑，移除冗余调用 #

单独用strsep处理分割即可，无需同时使用strtok，避免逻辑冲突。

3. 修正main函数的接收逻辑 #

main中需用char**类型接收返回的命令数组，遍历数组访问每个单词，最后记得释放堆内存避免泄漏。

4. 处理输入换行符 #

用strcspn去掉getline读取到的末尾换行符，避免影响分割结果。

修复后的完整代码 #

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

char** commands(char *command) {
    // 去除输入末尾的换行符
    command[strcspn(command, "\n")] = '\0';

    // 堆上分配字符串数组空间，最多30个元素（最后一个为NULL）
    char **cmd_arr = malloc(sizeof(char*) * 30);
    if (!cmd_arr) {
        perror("malloc failed");
        return NULL;
    }

    int i = 0;
    char *st = command;
    char *token;
    while ((token = strsep(&st, " ")) != NULL) {
        // 跳过连续空格产生的空字符串
        if (strlen(token) == 0) {
            continue;
        }
        cmd_arr[i++] = token;
    }
    // 用NULL标记数组末尾，适配exec系列函数的参数要求
    cmd_arr[i] = NULL;

    // 函数内测试打印
    for (int p = 0; p < i; p++) {
        printf("inside the function still: i-> %d, command: %s\n", p, cmd_arr[p]);
    }

    return cmd_arr;
}

int main(int argc, char *argv[]) {
    size_t size = 10;
    char *user_input = malloc(size);
    if (!user_input) {
        perror("malloc failed");
        return 1;
    }
    ssize_t flag = 0;

    while ((flag = getline(&user_input, &size, stdin)) != -1) {
        printf("witsshell> ");
        char **user_commands = commands(user_input);
        if (!user_commands) {
            continue;
        }

        // 遍历打印分割后的命令
        printf("分割结果：\n");
        for (int j = 0; user_commands[j] != NULL; j++) {
            printf("第%d个单词：%s\n", j, user_commands[j]);
        }

        // 释放堆上的数组空间（字符串本身指向user_input，无需单独释放）
        free(user_commands);
    }

    // 释放用户输入的内存
    free(user_input);
    return 0;
}

关键说明 #

• 堆内存malloc分配的cmd_arr在函数返回后仍有效，直到调用free释放
• 用NULL标记数组末尾，方便后续遍历或直接传给execvp等shell执行函数
• 跳过空分割结果，避免连续空格导致的无效元素
• 所有堆内存都需手动释放，避免内存泄漏

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