关于C++对函数传参与函数返回值进行引用传递的详解

 

关于C++对函数传参与函数返回值进行引用传递的详解

 

　　在坛子里看到这个问题，搞出来说一说，希望对大家有帮助。本文主要讲解在C++中对函数传参与函数返回值进行引用传递的含义，重载“=”的问题。文中以实例讲解，希望有助于大家理解。

 

　　读之前，请确定您已经知道引用传递是个什么东东，只是对它有点混淆。没听过引用传递或没读过引用传递概念的同学不适合读本文。

 

例子程序：

 

例1.一个编译不过去的程序

 

#include <iostream>using namespace std;class MyCopy{ public: int a; fun(MyCopy & obj); //声明函数没有返回值};MyCopy::fun(MyCopy obj) //定义函数没有返回值{ return obj; //却返回了obj，当然编译不过去}int main(){ MyCopy mycopy1, mycopy2; mycopy1.a = 1; mycopy2.a = 2; cout << mycopy1.a <<endl; cout << mycopy2.a <<endl; return 0;} 

 

　　OK，下面进入正题。如果我想利用fun函数来实现令mycopy1与mycopy2两个变量共用同一内存空间的功能。

 

例2.一个达不到目的例子

 

#include <iostream>using namespace std;class MyCopy{ public: int a; MyCopy fun(MyCopy obj);};MyCopy MyCopy::fun(MyCopy obj){ return obj;}int main(){ MyCopy mycopy1,mycopy2; mycopy1.a = 1; mycopy2.a = 2; mycopy1 = mycopy2.fun(mycopy2); //新加的函数调用 mycopy2.a = 3; //新加的赋值 cout << mycopy1.a <<endl; //打印 2 －－ 期待打印 3 cout << mycopy2.a <<endl; //打印 3 return 0;} 

 

　　问题出在，函数传参时，用的值传递，而不是引用。值传递会自制出一个新对象obj，生存期是fun函数执行期间。obj不是我们期待的mycopy2，所以达不到目的。为了让函数体内的obj就是mycopy2“本体”，我们用引用传递。

 

例3.利用引用传递传参，但仍达不到效果

 

#include <iostream>using namespace std;class MyCopy{ public: int a; MyCopy fun(MyCopy & obj); //引用传参};MyCopy MyCopy::fun(MyCopy & obj) //引用传参{ return obj;}int main(){ MyCopy mycopy1,mycopy2; mycopy1.a = 1; mycopy2.a = 2; mycopy1 = mycopy2.fun(mycopy2); mycopy2.a = 3; cout << mycopy1.a <<endl; //打印 2 －－ 期待打印 3 cout << mycopy2.a <<endl; //打印 3 return 0;} 

　　问题是，怎么还不行？好吧，您会经常看到这样的经典用法：

 

MyCopy & fun(MyCopy & obj);

 

　　为什么返回值也要用&修饰？我们先来讲上例中的函数调用原理，这很重要。函数fun被调用时，mycopy2的实体在fun内有意义，也就是说obj和mycopy2是共用一块内存的。而return时，复制了一份mycopy2，返回给了mycopy1。然后由于“=”的作用，这块复制出的mycopy2按“=”的作用，将自己的成员变量的值赋给了mycopy1。最后mycopy1的内存没有发生变化，只是成员变量的值变了。

 

例4.让返回值也是引用传递

 

#include <iostream>using namespace std;class MyCopy{ public: int a; MyCopy & fun(MyCopy & obj); //返回值引用传递};MyCopy & MyCopy::fun(MyCopy & obj) //返回值引用传递{ return obj;}int main(){ MyCopy mycopy1,mycopy2; mycopy1.a = 1; mycopy2.a = 2; mycopy1 = mycopy2.fun(mycopy2); mycopy2.a = 3; cout << mycopy1.a <<endl; //打印 2 －－ 期待打印 3 cout << mycopy2.a <<endl; //打印 3 return 0;} 

 

　　为什么还不行？是这样的，在调用fun函数后mycopy2与obj在fun生存期内共用一块内存。返回时由于是按引用传递的，这块内存也被返回过来。与上例返回一个临时复制的对象不同，这次真的返回了mycopy2的“本体”，可是由于“=”作用，mycopy2成员变量的值被赋给了mycopy1的成员变量，于是mycopy1还是原来的mycopy1。

 

　　我们现在有两个问题：

 

　　1、怎么理解“＝”。

 

　　2、我想让mycopy1与mycopy2指向同一块内存应该怎么做？

 

　　解答：

 

　　1、“＝”可以这样理解mycopy1 = mycopy2;相当于调用了函数 mycopy1.=(mycopy2)。看不懂？OK，这些看得懂吧：Myobj.a(),Myobj.b()，那这个呢Myobj.=()，就是一个名字为“=”的函数。所以函数“=”里怎么写，很重要。这也是重载“=”运算符后，要实现对象复制必需将成员变量一一赋值的原因。

 

　　2、OK，要达到目的，可以这样做MyCopy & mycopy2 = mycopy1;当然也有其它方法。

 

　　本文编译环境为Ubuntu/g++。

 

 

neonlight <[e-mail]>，BLOG：http://blog.csdn.net/neonlight 转载请注明出处，谢谢！2009-12-07