对函数返回形式及传参方式的简单理解（实例）

 

函数可以返回值、引用和常量引用，其中返回常量引用与返回引用区别不大（惟一的区别就是前者返回结果是一个不能变化的对象引用）。

 

我们可以通过以下几个例子来理解返回值和返回引用的区别。

例1

#include "stdafx.h"#include <iostream>class A{public: int v; A(int v) { this->v = v; }};A Func(A& a){ return a;}int _tmain(int argc, _TCHAR* argv[]){ A a(1); A& b = Func(a); a.v = 2; std::cout << "b: " << b.v << std::endl; return 0;}
输出结果 b: 1
函数返回一个值，该值会由形式参数复制到调用函数的环境中，因此改变a的值并不会影响b的值。

 

例2
#include "stdafx.h"#include <iostream>class A{public: int v; A(int v) { this->v = v; }};A& Func(A& a){ return a;}int _tmain(int argc, _TCHAR* argv[]){ A a(1); A& b = Func(a); a.v = 2; std::cout << "b: " << b.v << std::endl; return 0;}

输出结果 b: 2
函数返回引用，返回的结果是指向形式参数的引用，因此改变a的值会同时反映的b上。

 

 

上面两个例子改变一下传参的方式，会有不同的输出结果

例3
#include "stdafx.h"#include <iostream>class A{public: int v; A(int v) { this->v = v; }};A& Func(A a){ return a;}int _tmain(int argc, _TCHAR* argv[]){ A a(1); A& b = Func(a); a.v = 2; std::cout << "b: " << b.v << std::endl; return 0;}

输出结果 b: 273185728
如前一篇的函数传参一文中所述，在调用Func函数前会调用A的构造函数将实际参数拷贝到形式参数，调用函数结束时，会调用A的析构函数释放形式参数。由于函数返回形式参数的引用，而形式参数又被释放掉了，因此这里的输出结果不是1。

 

例4

#include "stdafx.h"#include <iostream>class A{public: int v; A(int v) { this->v = v; }};A Func(A a){ return a;}int _tmain(int argc, _TCHAR* argv[]){ A a(1); A& b = Func(a); a.v = 2; std::cout << "b: " << b.v << std::endl; return 0;}

输出结果 b: 1
这里由于函数Func是返回值而不是引用，函数在返回时会把返回结果复制到调用函数的环境中，因此尽管形式参数会被释放掉，但对返回结果并没有影响，所以输出结果还是1。

 

初学C++，可能理解的不够到位，欢迎各位指正。有更好的例子也欢迎大家提出来讨论讨论，呵呵。