使用return语句返回递归函数时出现Segmentation Error问题求助

问题代码 #

#include<stdio.h>

float small_array_recursion(const float[],int);

int main(){
    float array[]={-34,-89,3,9.67,45,12};

    int size=6;

    float value=small_array_recursion(array,size);

    printf("%s%.2f","smallest value in the array is ",value);
}

float small_array_recursion(const float array1[],int size){
    int len=size-1;

    static float min=3.36e9;

    if(len==0){
        return array1[0]<min?array1[0]:min;
    }
    else if(array1[len]<min){
        min=array1[len];
        return small_array_recursion(array1,len);
    }
    else
       return small_array_recursion(array1,len);
}

问题分析 #

1. main函数缺少return语句：部分编译环境下，main函数未显式返回值会触发未定义行为，可能直接导致段错误。虽C标准允许省略return，但依赖编译器默认行为存在风险。
2. static变量的不合理使用：用static存储最小值会导致函数不可重入——多次调用时，min会保留上次调用的结果，引发逻辑错误；虽不是本次段错误的直接原因，但属于不良编码实践。
3. 递归逻辑冗余：原代码的递归分支重复调用small_array_recursion(array1,len)，代码可简化。

修复后的代码 #

#include<stdio.h>

float small_array_recursion(const float[], int);

int main(){
    float array[] = {-34, -89, 3, 9.67, 45, 12};
    int size = 6;
    float value = small_array_recursion(array, size);
    printf("smallest value in the array is %.2f\n", value);
    return 0; // 显式返回值，避免未定义行为
}

float small_array_recursion(const float array1[], int size){
    // 递归终止条件：数组仅一个元素时直接返回
    if (size == 1) {
        return array1[0];
    }
    // 递归计算前size-1个元素的最小值
    float min_rest = small_array_recursion(array1, size - 1);
    // 比较当前末尾元素与前面的最小值，返回更小值
    return array1[size - 1] < min_rest ? array1[size - 1] : min_rest;
}

修复说明 #

• 给main函数添加return 0;，确保程序正常退出，消除潜在的未定义行为。
• 移除static变量，改为通过递归返回值传递当前最小值，让函数可重入，逻辑更清晰直观。
• 简化递归逻辑，合并重复的递归调用分支，提升代码可读性。

内容的提问来源于stack exchange，提问作者Devesh from India