在 C++ 中解决控制达到终点的非虚函数错误
Jinku Hu
2023年10月12日
本文将为大家讲解解决控制到达终点的非 void 函数错误 C++ 的几种方法。
在函数体的结尾使用 return 语句
非 void 函数需要有一个返回类型。因此，函数需要有一个返回相应类型对象的语句。如果传递了某些编译器标志，这种类型的错误或警告可能会被完全抑制，如果给定的函数在程序中被调用，将导致运行时故障。
下面的示例代码中定义了 reverseString 函数，该函数接受一个字符串的引用并返回字符串值。如果我们研究一下函数体，并没有 return 语句。即使 reverseString 没有向调用函数传递任何参数，编译器也只是显示警告信息，可执行程序还是会被构建。如果函数被调用，那么控制流很可能会导致分段故障。
#include <algorithm>
#include <iostream>
#include <iterator>
using std::cout;
using std::endl;
using std::reverse;
using std::string;
string reverseString(string &s) { string rev(s.rbegin(), s.rend()); }
int main() {
string str = "This string is arbitrary";
int cond = -1;
cout << str << endl;
cout << reverseString(str, cond) << endl;
return EXIT_SUCCESS;
}
在函数体的每条代码路径末尾使用 return 语句
另一种控制到达非 void 函数结尾的情况是，条件块中并不是每条路径都有 return 语句。因此，如果非 void 函数中的执行是分支的，而且 if 语句并没有覆盖每一条可能的路径，那么就需要在函数体的末尾有一个显式的 return 调用。
下一个例子演示了字符串操作函数的两个条件路径，将返回值传递给调用函数。然而，有些情况下，对于给定的条件没有进行评估，这意味着控制流可能会到达函数块的末端，并导致运行时错误。
#include <algorithm>
#include <iostream>
#include <iterator>
using std::cout;
using std::endl;
using std::reverse;
using std::string;
string reverseString(string &s, int condition) {
if (condition == -1) {
string rev(s.rbegin(), s.rend());
return s;
} else if (condition == 0) {
return s;
}
}
int main() {
string str = "This string is arbitrary";
int cond = -1;
cout << str << endl;
cout << reverseString(str, cond) << endl;
return EXIT_SUCCESS;
}
你可能会看到下面的警告。
Main.cpp:15:1: warning: non-void function does not return a value in all control paths [-Wreturn-type]
}
^
1 warning generated.
作者： Jinku Hu
