从函数返回引用确保其引用的对象在函数执行完后仍然存在。
引用类型返回值的主要特征是可以作为左值，这意味着我们可以在赋值语句的左边使用返回引用的函数的结果。
永远不要从函数中返回局部变量的引用
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的情况,
是重新分配了一个空间,
因此不会同步变化.
绝不要返回一个局部栈对象的指针或引用，（编译不过）
绝不要返回一个被分配的堆对象的引用，（new了内存之后，不知道在什么时候delete）
如果存在需要一个以上这样的对象的可能性时，绝不要返回一个局部 static 对象的指针或引用。（多个对象操作同一个static对象，不合适吧）