c - 我如何修复我的零钱所欠硬币的 'end of non-void function'？

Question

问题是在给定美元找零的情况下，找到最少欠的硬币数量，假设可以归还的硬币是 25c、10c、5c 和 1c。

我在 C 中实现了一个递归解决方案，但不知何故它一直抛出“错误:控制可能到达非空函数的结尾”。我是 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));

}

Answer 1

processChange 中的 for 循环中的代码是这样做的:

• 如果remainder为零，计算并返回。
• 如果 centsChange 为 1，则返回。
• 如果centsChange至少为arr[i]，计算并返回。
• 否则，到达for 循环的末尾并继续迭代。

就编译器而言，i 的值将达到 4，控制将离开 for 循环。那时，控制将流向函数的末尾，那里没有 return 语句。因此，编译器警告您控制将到达非空函数的末尾。 (“非空函数”是指返回类型不是 void 的函数。processChange 的返回类型是 int。)

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

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

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

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

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