6.3 返回类型和返回语句 | Return type & Return statement

无返回值函数

对于返回类型是void的函数，return后不跟表达式。最后的 return; 可以没有而让程序隐式执行。在void函数中的return语句还有提前使函数退出的作用而不进行接下来的计算，如定义一个swap函数在二者相同时不继续运算直接退出：

void swap(int& v1, int& v2){
    if (v1==v2) return;
    int tmp = v2;
    v2 = v1;
    v1 = tmp;
    //可以不显式添加return
}

有返回值函数

函数不是void类型，则每个void语句都必须返回一个值，且这个值必须与函数返回类型相同或可以隐式转换为函数的返回类型。同样，程序执行到return语句后会提前退出：

int foo(int a){
    if (a) return 0;
    return 1;
}

int main(){
    int b = 2, c = 0;
    cout<

值如何被返回

返回的方式和初始化一个变量或形参完全一致：返回的值用于初始化调用点的一个临时量，此临时量即函数调用结果。

不要返回局部对象的引用或指针

否则当结束运行，函数的占用空间被完全释放，引用或指针不再有效。

返回类类型的函数和调用运算符

调用运算符的优先级和点运算符或箭头运算符相同。因此可以使用函数调用的结果直接访问结果对象的成员：

string a(string s1, string s2){return s1+s2;}
int main(){
    string sa = "a", sb = "b";
    cout<

引用返回左值

调用一个返回引用的函数，得到的结果是一个左值。因此可以为返回类型是非常量引用的函数的结果赋值：

//注意函数返回类型为char！
char get_var(string& str, string::size_type index){
    return str[index];
}
int main(){
    s = "hello";
    get_val(s, 0) = 'H';
    cout<

列表初始化返回值

可以返回花括号包围的值列表给一个临时量。此列表也用来对表示函数返回值的临时量进行初始化。若是空，则默认初始化。否则由函数返回类型决定返回值。

就如果返回的是内置类型，则花括号列表只允许最多一个值且该值所占空间不应大于目标类型的空间。若是类类型则由类本身定义，如vector的列表初始化。

主函数main的返回值

允许main函数没有return语句而直接结束，编译器会隐式地在最后插入 return 0。

递归

无论直接或间接，一个函数调用了自身则称为递归函数。如下列阶乘函数：

int factorial(int val){
    if (val) {
        cout<

返回数组指针

数组不能拷贝，所以不能被返回。
返回数组的指针可用类型别名简化：

typedef int arrT[10];
using arrT = int[10];//与上述等价且易懂
arrT* func(int i);   //返回一个指向（含有10个整数的数组的）指针

声明一个返回数组指针的函数

函数形式如下：
type (*function(parameter_list))[dimension]

• func(int i)：表示调用func时需要int i作为实参
• (*func(int i))：表示可以对调用结果进行解引用操作
• (*func(int i))[10]：表示解引用func的调用将得到一个大小10的数组
• int (*func(int i))[10]：表示数组中元素是int类型。

尾置返回类型trailing return type

任何函数定义都可以使用尾置返回，对于返回类型复杂的函数较为有效，比如返回类型是数组的指针或者数组的一样弄。尾置返回类型跟在形参列表后面以 -> 开头：

auto func(int i) -> int(*)[10]

使用decltype

如果知道函数返回指针指向哪个数组，即可使用decltype声明返回类型。例如下列函数返回的指针根据参数不同而改变：

int odd[] = {1, 3, 5, 7, 9};
int even[] = {2, 4, 6, 8, 0};
decltype(odd) *arrPtr(int i){
    return (i%2) ? &odd : &even;
}

int main(){
    int i = 3;
    cout<<*(*arrPtr(i)+1);
}

attrPtr使用decltype表示其返回类型是个指针，并且该指针所指的对象与odd的类型一致。因为odd是数组，arrPtr返回一个指向含有5个整数数组的指针。注意decltype的结果是个数组，要想表示arrPtr返回指针还必须在函数声明时加一个*符号。