书接上文,这次我想向大家谈一谈关于函数引用返回的问题
非引用返回,非引用接收:
首先我们来看这样一段代码:
#include<iostream>
using namespace std;
int test()
{
int n = 3;
return n;
}
int main(void)
{
int ret = test();
cout << ret << endl;
return 0;
}
对于上述代码,我相信大家都不陌生。那么我们来借助汇编代码详细讨论一下其中的运行机制。
这是在test函数中所发生的事情,在返回时我们可以清楚地看到,首先将3放入寄存器中(当变量小时;变量大时如结构体则再重新开辟栈帧空间),然后呢关于test的栈帧空间被销毁,包括n的空间(特别强调)。
那有没有想过,既然空间已经被销毁,为什么成功打印出3?
答案是虽然n变量被销毁,但寄存器已经提前保存了n的值,最后将其赋给ret,ret的值为3
引用返回,非引用接收
下面我们再来看一组代码:
#include<iostream>
using namespace std;
int& test()
{
int n = 3;
return n;
}
int main(void)
{
int ret = test();
cout << ret << endl;
cout << ret << endl;
cout << ret << endl;
return 0;
}
乍一看答案很正常对吧,但其中大有深意,你们运行出的大概率是 3 3 3或三个相同随机值,这是为什么呢?
答案是,在函数返回时,先生成临时变量(tmp,可能位于寄存器或栈帧空间)作为n的引用,然后关于test的栈帧空间销毁,包括n的空间,那么此时tmp所指向的值已经不再属于用户管理,其可能为原值,也有可能是其他值,这在空间没有被使用时取决于编译器。而当这部分空间被再次使用时,值取决于复写这部分空间的内容。最后,当我们接收时,ret被tmp赋值,多次打印即打印ret所保存的值。
引用返回,引用接收
照例,先看一份代码:
#include<iostream>
using namespace std;
int& test()
{
int n = 3;
return n;
}
int main(void)
{
int& ret = test();
cout << ret << endl;
cout << ret << endl;
cout << ret << endl;
return 0;
}
首先看结果,好像没问题呀,但这是在我的编译器上,每个人运行出的结果可能并不太一样,甚至三个数都是随机数,且互不相同。
答案是,在函数返回时,先生成临时变量(tmp,可能位于寄存器或栈帧空间)作为n的引用,然后关于test的栈帧空间销毁,包括n的空间,那么此时tmp所指向的值已经不再属于用户管理,其可能为原值,也有可能是其他值,这在空间没有被使用时取决于编译器。而当这部分空间被再次使用时,值取决于复写这部分空间的内容。(帮你们加深下记忆)
当我们接收时,ret此时又作为tmp的引用,也将指向已经被销毁的空间,其值是什么并不能保证,但为什么三次打印的结果会不同,这是因为ret并不直接保存值而cout也是一个打印函数,需要调用栈帧空间,他可能会不断复写这部分空间,使其指向的值不断被更改。
总的来说,当我们使用引用返回时,一定要保证其所指对象不被销毁,记住这个,将所向披靡,就比如上面如果写作static int n=3;则不会出现任何问题。
码字不已,点点关注呀,一起学习C++,冲。
别走开,引用下将更加精彩!!