递归非void函数‘Control may reach end of non-void function’警告的修复咨询——基于自定义改进版二分查找函数

我一眼就看出问题所在了——你的递归调用只是执行了函数，但没有把递归得到的结果返回给上层调用者。编译器之所以警告，是因为它发现函数声明要返回int，但存在代码路径（就是那两个递归分支）没有明确的返回值。

问题根源 #

拿modifiedbinsearch_low举例：当你在if(key > arr[mid])或者else分支里调用递归时，只是执行了modifiedbinsearch_low(...)，但没把这个调用的结果return出去。这就导致函数在这些分支里走完后，没有返回任何值，违反了返回int的函数约定。

修复方案 #

只需要在每个递归调用前加上return，把递归的结果传递回去就行。修复后的完整代码如下：

int modifiedbinsearch_low(int* arr, int low, int high , int key){ 
    if(low==high) return high ; 
    int mid = low + (high-low) /2; 
    if(key > arr[mid] ) { 
        // 加上return，把递归结果返回给上层调用者
        return modifiedbinsearch_low(arr,mid + 1 , high,key); 
    } else { 
        return modifiedbinsearch_low(arr,low,mid,key); 
    } 
} 
int modifiedbinsearch_high(int* arr, int low, int high , int key){ 
    if(low==high) return high ; 
    int mid = low + (high-low) /2; 
    if(key < arr[mid] ) { 
        return modifiedbinsearch_high(arr,low,mid,key); 
    } else { 
        return modifiedbinsearch_high(arr,mid+1,high,key); 
    } 
} 
// 调用部分保持不变
int low = modifiedbinsearch_low( ...);
int high = modifiedbinsearch_high( ...);

为什么之前的尝试没用？ #

你之前加无意义的return或者调整流程逻辑没成功，是因为没抓住核心：递归调用本身是有返回值的，你需要把这个值传递给当前函数的调用者，而不是让递归调用“凭空消失”。现在每个分支都明确返回了值，编译器就不会再警告了。

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