自己寫了一點代碼，發現了一個有趣的現象，函數沒有顯式地返回一個返回值，結果卻能夠返回一個值，而且結果還是正確的。
代碼貼下：
#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
效果如圖：
這是一個非常好的建議，在此對這位同學表示感謝~
