关于C++中函数返回引用的讨论

从函数返回引用确保其引用的对象在函数执行完后仍然存在。

引用类型返回值的主要特征是可以作为左值，这意味着我们可以在赋值语句的左边使用返回引用的函数的结果。


永远不要从函数中返回局部变量的引用




C++中，返回引用是一个比较晦涩的概念。在书中，对此仅仅做了一个一般的介绍，并没有展开。我觉得有必要对此进行一定的展开。

（1）首先，返回引用，要求在函数的参数中，包含有以引用
方式或指针
方式存在的，需要被返回的参数。比如：

int
& abc(int
a, int
b, int
c, int
& result){

result = a + b + c;

return
result;

}

这种形式也可改写为：

int
& abc(int
a, int
b, int
c, int
*result){

*result = a + b + c;

return
*result;

}

但是，如下的形式是不可以的：

int
& abc(int
a, int
b, int
c){

return
a + b + c;

}

（2）由于返回值直接指向了一个生命期尚未结束的变量，因此，对于函数返回值（或者称为函数结果）本身的任何操作，都在实际上，是对那个变量的操作，这就是引入const
类型的返回的意义。

当使用了const
关键字后，即意味着函数的返回值不能立即得到修改！如下代码，将无法编译通过，这就是因为返回值立即进行了++操作（相当于对变量z进行了++操作），而这对于该函数而言，是不允许的。如果去掉const，再行编译，则可以获得通过，并且打印形成z = 7

的结果。

include
<iostream>

include
<cstdlib>

const int
& abc(int
a, int
b, int
c, int
& result){

result = a + b + c;

return
result;

}

int
main() {

int
a = 1; int
b = 2; int
c=3;

int
z;

abc(a, b, c)++;

cout << "z= "
<< z << endl;

SYSTEM("PAUSE"
);

return
0;

}

标签:


众所周知，C++函数可以传入引用参数和返回引用。

函数引用参数避免了过多的指针操作，对加强函数的可读性很有帮助；另外，在传入体积很大的类型的变量时，引用参数可以避免拷贝对象，加快程序运行效率。

函数支持引用型的返回值是为什么呢？这个问题要一分为二：对于类类型的引用返回值，函数可以在使用重载运算符的串联表达式中使用，而不用担心构造多个对象。



#include <stdio.h>

#include <iostream>

using namespace std;

class Rec

{

public:

int a;

int b;

friend ostream & operator<<(ostream &os,Rec& b)

{

os<<"["<<b.a<<"]";

return os;

}

};

Rec & funRec(Rec& obj)

{

return obj;

}

int main(int argc , char* args[])

{

Rec obj;

Rec *ptr = &(funRec(obj));


Rec ano = funRec(obj);


printf("&obj = %p/nptr = %p/n&ano = %p/n", &obj, ptr, &ano);

return 0;

}

运行结果：

[cinson@localhost test]$ ./a.out

&obj = 0xbf90e338

ptr = 0xbf90e338

&ano = 0xbf90e330

可见，红色代码只会生成一个对象，绿色代码部分需要调用拷贝构造函数。因为fucRec传入引用参数，返回引用对象。如果返回的不是引用对象，那么在
语句Rec *ptr = &( funRec(obj) );
编译不过
。

但是，对于返回基本类型如int型的函数，返回引用类型就变得非常迷惑了。

有代码:

int
&func(
int
& a)

{


return
a;

}

int
main(
int
argc ,
char
* args[])

{




int
a=0;


int
b=func(a);

printf(
"&a=0X%08X,&b=%08X/n"
,&a,&b);

}

运行结果：

&a=0X0012FF7C,&b=0012FF78

这里可以看到，返回变量的地址和传入地址是不同的。变量b是main函数中自己的栈中生成的。

这一点从汇编代码片段中可以看得更清楚：

; Line 38

lea eax, DWORD PTR _a$[ebp]

push eax

call ?func@@YAAAHAAH@Z ; func

add esp, 4

mov ecx, DWORD PTR [eax]

mov
DWORD PTR _b$[ebp], ecx




int& c=func(a)
那么c就是指向a,
a变化那么c也跟着变化,

在上面b的情况,
是重新分配了一个空间,
因此不会同步变化.