关于c++中函数的返回值

自己写了一点代码，发现了一个有趣的现象，函数没有显式地返回一个返回值，结果却能够返回一个值，而且结果还是正确的。

代码贴下：

#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++标准(