C语言传递字符串数组的递归函数调用段错误问题排查

核心问题定位 #

段错误几乎都是非法内存访问导致的，结合你提到的「传递缩减后数组」的问题，大概率是数组传递时的内存操作或参数传递出错，以下是常见坑点和解决思路：

1. 缩减数组的方式错误 #

如果是手动构造新数组传递给递归函数，避开这些错误：

• 不要传递栈上的局部数组地址给递归函数：栈内存会在函数返回后被释放，后续递归访问时会触发非法内存访问
• 不要错误计算新数组的长度：比如递归时长度减多了，导致for循环遍历到不存在的元素
• 不要忘记给动态分配的数组初始化，或者分配的内存大小不够

错误示例：

// 错误：栈上局部数组传递给递归，返回后内存失效
void recurse(char** arr, int len) {
    if (len == 0) return;
    char* new_arr[len-1]; // 栈上数组，函数返回后被销毁
    for (int i=1; i<len; i++) {
        new_arr[i-1] = arr[i];
    }
    recurse(new_arr, len-1); // 传递失效内存地址，必炸
}

正确做法：要么用堆内存分配（记得递归结束后释放，避免内存泄漏），要么直接传递原数组的子集（无需复制，仅调整起始指针和长度）：

// 正确：传递原数组的子集，避免内存复制和栈溢出
void recurse(char** arr, int len) {
    if (len <= 0) return; // 明确终止条件
    // 递归调用时，从arr[1]开始，长度减1
    recurse(arr + 1, len - 1);
}

2. 编译警告绝对不能忽略 #

警告是编译器在提醒你潜在的bug，比如：

• 「指针类型不匹配」：会导致数组地址被错误解析，访问不属于你的内存
• 「未初始化变量」：比如数组长度未赋值，for循环边界变成随机值，直接越界
• 「隐式类型转换」：比如把int当size_t用，64位系统下会导致长度计算错误

比如你写for (int i=0; i < arr_len; i++)，如果arr_len是unsigned类型，当它为0时，i < 0会变成无符号比较，循环会无限执行直到越界。

3. 递归终止条件漏洞 #

如果终止条件写得不严，比如把len <= 0写成len < 0，那当len为0时还会继续递归，传递的长度是-1，for循环直接触发段错误。

调试小技巧 #

• 每次递归时打印数组长度和首元素地址，确认参数是否符合预期
• 全开编译警告（比如GCC加-Wall -Wextra），逐个解决，很多时候解决完警告，段错误也会消失
• 用调试工具（比如gdb）打断点，查看递归时数组的内存状态，定位具体哪一步访问了非法内存

内容的提问来源于stack exchange，提问作者negotiate-merge