自己写了一点代码,发现了一个有趣的现象,函数没有显式地返回一个返回值,结果却能够返回一个值,而且结果还是正确的。
代码贴下:
#include <iostream>
using namespace std;
template <class T>
int BinSearch (T * E, T e, int lo, int hi) //[lo, hi)
{
while (lo < hi)
{
int mi = (lo + hi) >> 1;
(e < E[mi]) ? hi = mi : lo = mi + 1;
} //出口时,lo = hi且指向大于e的元素的最小秩
return lo - 1; //返回值就是不大于e的元素的最大秩
}
int _elem[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
template <class T>
int search (T e)
{
BinSearch(_elem, e, 0, 10);
}
int main()
{
cout << search(5);
system("pause");
return 0;
}
效果图:
请教了一个学得久的同学,他查阅了C++标准(http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2960.pdf, 6.6.3 The return statement),解释了这一现象:如果存在一定合法的执行顺序导致函数退出时没有指定返回值,则函数返回值的行为未定义;行为未定义的意思是说,它不对你这样做后产生的效果做任何保证。所以那样只是碰巧而已,且是非常危险的,因为在不同的C++编译器下的效果可能就不一样的。
而这种情况很有可能因为写程序时的不小心出现,而且一旦发生错误很难排查,所以他建议我在编译时加上-Wall和-Wextra参数。一旦出现包含以上及更多的可能的问题(比如函数有返回值,但是没有使用),编译器会在编译时输出警告信息。
比如:
g++ a.cpp -o a.exe -Wall -Wextra
效果如图:

这是一个非常好的建议,在此对这位同学表示感谢~