如何管理递归函数内存并解决栈溢出与段错误问题

问题根因 #

你的判断完全正确，该段错误就是递归调用栈溢出导致的。你的dartboard函数属于尾递归写法，但C标准没有强制要求编译器实现尾递归优化，默认编译参数下GCC/Clang都不会开启该优化，每调用一次dartboard就会在栈上新增一层栈帧存储参数、返回地址等信息。默认主线程栈大小仅为8MB左右，每一层栈帧约占几十字节，10万次调用刚好把栈空间占满，继续递归就会触发栈溢出段错误。

解决方案1：将递归改写为迭代（最稳妥，无栈溢出风险） #

直接把递归逻辑替换为循环逻辑，彻底避免栈帧累积，即使跑500万次迭代也不会出现栈溢出问题。修改后的核心代码如下：

// 原递归函数改为循环实现
void dartboard(int* min, int arr[SZ]) {
    size_t count = 0;
    while(count < ITERATIONS) {
        int num1 = rand() % SZ;
        int num2 = rand() % SZ;
        swap(arr, &num1, &num2);
        int sum = score(arr);
        // 调试用打印，正式跑500万次时务必注释，否则IO会成为严重性能瓶颈
        // print_array(arr);
        count++;

        if (sum > *min) {
            swap(arr, &num1, &num2); // 不满足最小和要求，回滚交换
        } else {
            *min = sum; // 更新最小和
        }
    }
    return;
}

// main函数对应修改调用逻辑即可
int main() {
    int arr[SZ] = {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20};
    int min = score(arr);
    assert(min == 24350);
    // 去掉count参数，直接调用
    dartboard(&min, arr);
    printf("Total = %d ", min);
    print_array(arr);
    return 0;
}

修改后逻辑和原递归完全一致，不存在功能差异。

解决方案2：开启编译器尾递归优化（仅兼容特定编译器，不推荐生产使用） #

如果必须保留递归写法，可以在编译时添加优化参数触发尾递归优化，GCC/Clang编译时添加-O2或-foptimize-sibling-calls参数即可，编译器会自动将符合要求的尾递归转换为循环，不会累积栈帧。但该方案依赖编译器实现，不同平台、不同编译器表现不一致，稳定性较差。

额外性能优化建议 #

原score函数使用pow计算平方属于浮点数运算，性能远低于整数运算，直接改为整数乘法可大幅提升运行速度：

int score(int arr[SZ]) {
    int sum = 0;
    for(int i = 0; i < SZ; i++) {
        int tmp = arr[i] + arr[(i+1)%SZ] + arr[(i+2)%SZ];
        sum += tmp * tmp;
    }
    return sum;
}

内容的提问来源于stack exchange，提问作者D-I-S-C