C++函数返回引用，不能理解

[手抓饼加辣]

#include <iostream>
#include <string>
using namespace std;

int& Fun1()
{
int num=123;
return num;
}

string& Fun2()
{
string str="hello";
return str;
}

int main()
{
int mynum=Fun1();//运行到这一句居然不报错，为什么？难道Fun1中的局部变量num没有被释放？
cout<<mynum<<endl;
string my=Fun2();//运行到这一句会报错，意料之中

return 0;
}
深夜了，又要辛苦大家为我解谜了。谢谢你们。还是希望大家能讲清原理。

[brookmill]

int mynum=Fun1();
int是个很简单的类型，这个赋值只不过是把num所在的地址取4个字节赋值给mynum，不调用任何函数，所以Fun1使用的栈空间不被破坏的可能性还是很大的。
string my=Fun2();
string是个复杂的类，这里需要调用拷贝构造函数，Fun2使用过的栈空间就很可能被破坏。

[qqqpppp]

太牛了

[brookmill]

[Quote=引用楼主 a6230589 的回复:]
难道Fun1中的局部变量num没有被释放
[/Quote]
所谓“释放”，就是告诉系统我不再使用这块内存。而系统会不会马上把这块内存的内容清掉或者覆盖掉，那就不一定了。
比如从硬盘上删掉一个文件，还是可以恢复的，只要那块空间没有被别的文件覆盖过。

铁路桥举过一个例子：申请内存就像在旅馆开个房间，释放内存就像退房。
局部变量也类似，进入函数的时候就开个房间，函数结束的时候就退了。
退房之后，原来留在房间里的东西还会保留多久？如果有别人用了这个房间，那就会被清理了。如果没有别人用，而且清洁工也没去打扫过，你留在那里的东西就还在那。

[千杯不醉-sen]

#include <iostream>
#include <string>

using namespace std;

int& Fun1()
{
	static int num=123;//解决办法将其定义为静态变量
	return num;
}

string& Fun2()
{
	static string str="hello";
	return str;
}

int main()
{
	int mynum=Fun1();
	cout<<mynum<<endl;
	string my=Fun2();
	cout<<my<<endl;
	return 0;
}

int Fun1()//第二种没去掉引用，还有多种，这里不说了。
{
	int num=123;
	return num;
}

string Fun2()//去掉引用
{
	string str="hello";
	return str;
}

int main()
{
	int mynum=Fun1();
	cout<<mynum<<endl;
	string my=Fun2();
	cout<<my<<endl;
	return 0;
}

[千杯不醉-sen]

所谓不能返回局部变量，是指局部变量在栈空间中分配内存，函数返回时栈指针回退，当主调函数继续调用其它被调函数时，栈指针上移，上一次函数调用所分配的空间会被本次调用覆盖，如果此时再引用原来的局部变量就会出现不可预见的结果。所以局部变量在函数返回时并不是被销毁而是相当于可被再次利用。

调用函数时，向操作系统申请栈空间，函数返回时，栈空间被回收，就好比你向房东租房子，退房后，房子里面的东西（栈空间的变量）或许不变，或许物是人非，但你无权过问。

再重复一遍：

函数退出时局部变量出栈，对象肯定是销毁了。

销毁指的是将那块内存标为空闲供其它变量使用，而该内存上的值仍然存在。

释放后那块内存并不是马上就被其他地方占用，根据实际情况起码会空闲一会，可能是一瞬间。如果你的程序较复杂，那这块内存可能很快就再次被使用，如果程序很简单，可能在很长一段时间内都是空闲。

所以在函数返回后将变量的值马上赋值给另外一个变量，局部变量已经销毁了，这块内存上的值还没来得及被修改，所以你的外部变量获得了一个正确的值。

所以你的结果正确并不代表变量没有被销毁。无论用引用还是变量来接受局部变量的值，局部变量肯定是已经销毁了的。

[bluejays]

返回局部变量的指针或引用，结果不可预料，不是一定会出错的。
如果num原来所在的栈地址没被覆盖，就不出错。
比如，我们都知道不应该闯红灯，但是闯几次红灯未必就会有事故，就看RP了