时间戳

首页 > 解决方案 > 我怎样才能为我欠找的最低硬币修复“非无效功能的结束”？

c - 我怎样才能为我欠找的最低硬币修复“非无效功能的结束”？

问题描述

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

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

}

标签： crecursioncs50

解决方案

for循环中的代码processChange执行以下操作：

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

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

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

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

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

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

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

推荐阅读