控制可能到达非空函数 C 的末尾

Question

我无法编译我的代码，出现错误：控件可能到达非 void 函数的末尾

/**
 * Returns true if value is in array of n values, else false.
 */
bool search(int value, int values[], int n)
{
    //Binary search algorithm
    int first = 0;
    int last = n-1;
    int middle = (first+last)/2;

    if (n<1)
        return false;
    else
    {
        while (first <= last)
        {
            if (values[middle]==value)
                return true;
            else if(values[middle]<value)
                first=middle+1;
            else if (values[middle]>value)
            {
                last=middle-1; 
            }
            middle=(first+last)/2;
        }
    }

    if (first>last)
        return false;
}

任何人都可以查看我的代码并帮助我找出问题所在吗？我自己很难看到它！从我的角度来看，这个函数返回真或假

Answer 1

bool 的返回类型意味着您的函数在退出之前总是希望返回一个布尔值，无论它采用哪种执行路径。就目前而言，似乎检查您可以“通过”最后一个 if 并且永远不会遇到返回语句。要进行验证，则需要以编译器无法合理预期的方式逐步执行您的逻辑。最后简单地改为说：

  if (first>last) {
      return false;
  } else {
      return true;
  }

或者更简洁：

 return (first > last) ? false : true;

Answer 2

在您的代码中，函数不可能落到最后。

但是，编译器不需要准确诊断函数是否可以到达末尾。一般来说，这样做需要解决停机问题。

相反，作为一项实际措施，您的编译器正在执行一些基本检查和警告，因为它看到了if ( first > last ) return false;，它没有进行足够的代码分析来确定除非first > last，否则永远无法到达此分支。

要取消此警告，您只需删除行 if ( first > last )。顺便说一句，这是一个警告，而不是错误；所以它不应该阻止你的编译。