引用做函数返回值的注意事项（C++）

1、不要返回局部变量的引用

#include <iostream>
using namespace std;

//返回值类型“ int & ”即返回的是一个int类型的变量的别名
int& test()
{
    int a=10;//a为局部变量，存放在四区中的栈区
    return a;
}

int main()
{
    //返回a的别名存放在变量ref中
    int &ref=test();
    //输出ref
    cout << ref << endl;
    cout << ref << endl;
}

以上属于非法操作，运行这段代码，有的编译器（如codeblocks）完全不输出；有的编译器（如VS 2017）会输出10和一行乱码。

第一次输出10是该编译器对a的值进行了保留，而第二次输出时编译器不再保留，a作为局部变量在test函数执行完毕后就被释放了，所以main函数中无法正常输出a的值。有些编译器不对其进行保留，什么也输出不出来。

此时在int a前面加一个static：

#include <iostream>
using namespace std;

int& test()
{
    static int a=10;//此时a为静态变量，存放在四区中的全局区，test执行完毕后a不会立即被释放
    return a;
}

int main()
{
    int &ref=test();
    //输出ref
    cout << ref << endl;
    cout << ref << endl;
}

运行结果为：

10

10

2、函数的调用可以作为左值

如果函数的返回值是引用，这个函数调用可以作为左值。

#include <iostream>
using namespace std;

int& test()
{
    static int a=10;
    return a;
}

int main()
{
    int &ref=test();
    //输出ref
    cout << ref << endl;
    cout << ref << endl;
    
    //将test()作为左值
    test()=1000;
    
    //再次输出ref
    cout << ref << endl;
    cout << ref << endl; 
}

运行结果为：

因为test函数返回的是a的别名，也就相当于返回了a本身，所以在main函数中，“test()=1000”就相当于“a=1000”，而ref又是a的别名，输出ref，就等于输出a。