c++返回函数局部对象的引用

1. class Node  
2. {  
3. public:  
4.     double a;  
5.     int b;  
6.     char c;  
7.   
8.     Node(double a=0,int b=0,char c=0)  
9.     {  
10.         this->a=a;  
11.         this->b=b;  
12.         this->c=c;  
13.     }  
14.   
15.         //拷贝构造函数  
16.     //Node(const Node &n)  
17.     //{  
18.     //  a=n.a;  
19.     //  b=n.b;  
20.     //  c=n.c;  
21.     //}  
22. };  
23.   
24. Node& GetNode()  
25. {  
26.     Node str(10.0,2,‘c‘);  
27.     return str;  
28. }  
29.   
30. int main()  
31. {  
32.     Node newnode=GetNode();   
33.     cout<<newnode.a<<" "<<newnode.b<<" "<<newnode.c<<endl;  
34.     return 0;  
35. }  

在上面的代码中，最后能够输出正确的值，然而在函数GetNode()中，str是一个局部的对象，内存空间在栈上，当函数退出时，str的内存空间被回收，这是在高级语言的层面上讲的。但是为什么最后的结果是正确的？原因就是Node newnode=GetNode();这句调用的是默认的拷贝构造函数，如果是自己重新重写拷贝构造函数，而不用默认的拷贝构造函数，那么这段代码就绝对有问题，最后输出的是未定义的数。

然而，为什么用默认的拷贝构造函数就能够正确的输出最后的值呢？

通过调用这段代码的反汇编我们可以看到：

 Node newnode=GetNode(); 
013215FE  call        GetNode (1321019h) 
01321603  mov         ecx,dword ptr [eax]               //eax调用GetNode 函数返回的栈的栈顶指针
01321605  mov         dword ptr [newnode],ecx      
01321608  mov         edx,dword ptr [eax+4] 
0132160B  mov         dword ptr [ebp-10h],edx //这句为double的a数据成员赋值
0132160E  mov         ecx,dword ptr [eax+8] 
01321611  mov         dword ptr [ebp-0Ch],ecx  //这句为int的b数据成员赋值
01321614  mov         edx,dword ptr [eax+0Ch] 
01321617  mov         dword ptr [ebp-8],edx  //这句为char的c数据成员赋值
 cout<<newnode.a<<" "<<newnode.b<<" "<<newnode.c<<endl;

也就是说直接调用默认的拷贝构造函数（或者默认的赋值函数），函数返回，在函数中的局部变量的销毁，其实在栈中只是栈顶的指针的移动，仍然还是可以为其赋值的。

然而：

 Node &newnode=GetNode(); 
 cout<<newnode.a<<" "<<newnode.b<<" "<<newnode.c<<endl;//能够输出正确的值
 cout<<newnode.a<<" "<<newnode.b<<" "<<newnode.c<<endl;//不能输出正确的值
 cout<<&newnode<<endl;

对于代码，newnode是对GetNode函数的引用，当函数结束时，其实是已经吧局部对象str销毁了，但是由于输出的结果仍然还在堆栈中，所以第一个能够输出正确的值，第二个是由于堆栈已经被其他的数覆盖，所以不能输出正确的值，而且这个对象也不能为其赋值，因为它的内存空间已经不存在了。