C语言使用递归删除数组元素的代码故障及参数优化咨询

现有代码的错误点 #

• 后置自增逻辑错误：recursDelete(arr, n, pos+1, i++)中i++是后置自增，会先将i的当前值传入递归函数再执行自增，导致递归调用的i值永远不变，要么触发无限递归栈溢出，要么逻辑完全不符合预期。
• 数组越界风险：终止条件i < n会导致当i取值为n-1时，访问arr[i+1]即下标为n的位置，超出了长度为n的数组的合法下标范围（0~n-1）。
• 参数冗余：pos和i两个参数作用重复，完全可以合并，不需要额外传入i参数。

移除i参数的实现方案 #

C语言没有默认参数，也不建议在递归函数内用静态变量计数（静态变量全局存储，多次调用会残留上次的值，极易出问题），最优方案是封装两层函数：对外暴露无i参数的调用接口，内部用静态辅助函数做递归处理，代码如下：

// 内部递归辅助函数，仅当前文件可访问
static int* recursDeleteHelper(int arr[], int n, int curr_idx) {
    // 终止条件：当前处理到倒数第二个元素，替换后无需继续操作
    if (curr_idx >= n - 1) {
        return arr;
    }
    // 当前位置元素替换为后一位元素，实现左移
    arr[curr_idx] = arr[curr_idx + 1];
    // 递归处理下一个位置
    return recursDeleteHelper(arr, n, curr_idx + 1);
}

// 对外调用接口，无需传入i参数
// 参数说明：arr为目标数组，n为数组原长度，pos为要删除的位置（1-based计数，即删第一个元素pos传1）
int* recursDelete(int arr[], int n, int pos) {
    // 非法参数直接返回，避免越界
    if (pos < 1 || pos > n || n <= 0) {
        return arr;
    }
    // 从要删除的下标位置开始递归移动元素
    return recursDeleteHelper(arr, n, pos - 1);
}

注意事项 #

删除数组元素后，数组的有效长度变为n-1，使用返回的数组时需按新的有效长度访问，避免读到最后一位的冗余数据。

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