我怎样才能解决 'end of non-void function' 我所欠零钱的最低硬币数?

How can I fix the 'end of non-void function' for my minimum coins owed in change?

问题是在给定零钱数额的情况下,找出所欠硬币的最少数量,假设可以归还的硬币是 25c、10c、5c 和 1c。

我在 C 中用递归实现了一个解决方案,但不知何故它一直抛出 "error: control may reach end of non-void function"。我是 C 的新手,所以我不太清楚发生了什么。 任何帮助是极大的赞赏!这是我的代码:

#include <cs50.h>
#include <stdio.h>
#include <math.h> 

int processChange(float change){
 int centsChange = round(change*100);
 int arr[4] = {25,10,5,1};

  for(int i=0;i<4;i++){
    int numCoins =0;
    int remainder = centsChange%arr[i];
    if(remainder==0){
        numCoins = (centsChange - remainder)/arr[i];
        return numCoins;
    }


    if(centsChange ==1){return 1;}//base case
    if(centsChange>=arr[i]){
       numCoins = (centsChange - remainder)/arr[i]+ processChange(remainder/100);
        return numCoins;
    }


   } 
}

 int main(){
   float change;
    do
    {
        change = get_float("Enter the changed owed\n");
    }while (change<0);

   printf("Minimum number of coins returned is %d\n", processChange(change));

}

processChangefor 循环中的代码是这样做的:

  • 如果 remainder 为零,计算 return。
  • 如果 centsChange 为一,则 return。
  • 如果 centsChange 至少为 arr[i],请计算并 return。
  • 否则,到达for循环的末尾并继续迭代。

据编译器所知,i 的值将达到 4,控制将离开 for 循环。那时,控制将流向函数的末尾,那里没有 return 语句。因此,编译器警告您控件将到达 non-void 函数的末尾。 (“non-void 函数”是 return 类型而不是 void 的函数。processChange 的 return 类型是 int。)

解决此问题的一种方法是在函数末尾插入 return 语句。

另一种方法是针对这种情况禁用编译器警告,您可以使用 -Wno-return-type command-line 开关对 GCC 和 Clang 执行此操作。

我们可以看到控制实际上不能离开 for 语句,因为当 i 是三时, arr[i] 是一,所以 centsChange % arr[i] 必然产生零,这分配给 remainder,导致代码流入上面的第一种情况。使用 GCC 和 Clang,您可以通过插入 __builtin_unreachable(); 作为函数中的最后一条语句来通知编译器。这告诉编译器,程序中的任何情况组合在逻辑上都无法达到代码中的那个点。 (当控件无法到达该位置时使用此编译器功能会破坏您的程序。)

请注意,由于上述原因,控制不能离开 for 循环这一事实意味着 centsChange == 1 基本情况是不必要的。 remainder == 0 必须 在某些时候满足这一事实意味着它作为一个基本案例。

尽管此分析按原样讨论代码,但有经验的程序员会重构代码,因此上述解决方案中的 none 是必要的。有时,各种复杂情况促使我们使用编译器无法推断出执行中从未达到某个点的代码,但我们知道它是,并且在这种情况下可以使用上述解决方法。但是,这不是其中之一。这段代码相当简单,可以重新构造,使控制流对编译器来说更简单、更明显。