從函數返回引用確保其引用的對象在函數執行完后仍然存在。
引用類型返回值的主要特征是可以作為左值，這意味著我們可以在賦值語句的左邊使用返回引用的函數的結果。
永遠不要從函數中返回局部變量的引用
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對象，不合適吧）