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。