C语言调用带函数指针的test函数返回char**数组出现段错误如何解决

• 直接修改argv指向的只读字符串：C标准中main的argv指向的字符串字面量存储在只读内存段，直接修改会触发访问异常
• 返回了栈上分配的char**数组：test函数内如果在栈上声明指针数组，函数退出后栈内存被回收，返回的野指针访问直接触发段错误
• 没有为新的字符串分配足够的堆内存：拷贝字符串时未计算末尾\0的长度，或者完全没申请内存就直接写入
• 函数指针调用逻辑错误：传入的转换函数没有正确处理字符串边界，越界访问内存

核心逻辑说明 #

我们需要在test函数内申请堆内存存储新的指针数组，再为每个字符串单独申请堆内存拷贝原内容，再调用转换函数处理，最后返回堆上的指针数组，使用完后手动释放避免内存泄漏。

完整可运行代码示例如下：

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

// 示例转换函数：转大写
void str_to_upper(char* str) {
    while (*str) {
        *str = toupper((unsigned char)*str);
        str++;
    }
}

// 示例转换函数：转小写
void str_to_lower(char* str) {
    while (*str) {
        *str = tolower((unsigned char)*str);
        str++;
    }
}

char** test(int argc, char** argv, void (*convert_func)(char*)) {
    // 申请存储argc个指针的堆内存
    char** res_arr = (char**)malloc(sizeof(char*) * argc);
    if (res_arr == NULL) {
        perror("malloc failed for res_arr");
        return NULL;
    }

    for (int i = 0; i < argc; i++) {
        // 为每个字符串分配内存：原字符串长度+1存储结束符'\0'
        int str_len = strlen(argv[i]);
        res_arr[i] = (char*)malloc(str_len + 1);
        if (res_arr[i] == NULL) {
            perror("malloc failed for single string");
            // 申请失败时释放已申请的内存，避免泄漏
            for (int j = 0; j < i; j++) {
                free(res_arr[j]);
            }
            free(res_arr);
            return NULL;
        }
        // 拷贝原字符串到新申请的可写内存
        strcpy(res_arr[i], argv[i]);
        // 调用转换函数处理字符串
        convert_func(res_arr[i]);
    }
    return res_arr;
}

int main(int argc, char** argv) {
    // 调用test函数，传入转大写的函数指针
    char** modified_arr = test(argc, argv, str_to_upper);
    if (modified_arr == NULL) {
        return 1;
    }

    // 遍历打印修改后的结果
    for (int i = 0; i < argc; i++) {
        printf("%s\n", modified_arr[i]);
    }

    // 释放内存：先释放每个字符串内存，再释放指针数组本身
    for (int i = 0; i < argc; i++) {
        free(modified_arr[i]);
    }
    free(modified_arr);
    return 0;
}

• 如果不需要保留原argv的内容，也可以在程序启动时先把参数拷贝到堆内存再传入test修改，比重新申请全部内存性能更好，但不要直接修改原argv指向的只读字符串
• 转换函数的参数不能是const char*类型，否则会出现编译报错或写入只读内存的问题
• 所有堆内存必须成对释放，避免内存泄漏，释放顺序要遵循「先释放数组元素、再释放数组本身」的规则

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