1、引用作為返回值，必須遵守以下規則：
（1）不能返回區域性變數的引用。這條可以參照effective c++[1]的item 31。主要原因是區域性變數會在函式返回後被銷毀，因此被返回的引用就成為了 "無所指 "的引用，程式會進入未知狀態。
（2）不能返回函式內部new分配的記憶體的引用。這條可以參照effective c++[1]的item 31。雖然不存在區域性變數的被動銷毀問題，可對於這種情況（返回函式內部new分配記憶體的引用），又面臨其它尷尬局面。例如，被函式返回的引用只是作為乙個臨時變數出現，而沒有被賦予乙個實際的變數，那麼這個引用所指向的空間（由new分配）就無法釋放，造成memory leak。
（3）可以返回類成員的引用，但最好是const。這條原則可以參照effective c++[1]的item 30。主要原因是當物件的屬性是與某種業務規則（business rule）相關聯的時候，其賦值常常與某些其它屬性或者物件的狀態有關，因此有必要將賦值操作封裝在乙個業務規則當中。如果其它物件可以獲得該屬性的非常量引用（或指標），那麼對該屬性的單純賦值就會破壞業務規則的完整性。
（4）引用與一些操作符的過載：
流操作符 < 《和》 > ，這兩個操作符常常希望被連續使用，例如：cout < < "hello " < < endl; 因此這兩個操作符的返回值應該是乙個仍然支援這兩個操作符的流引用。可選的其它方案包括：返回乙個流物件和返回乙個流物件指標。但是對於返回乙個流物件，程式必須重新（拷貝）構造乙個新的流物件，也就是說，連續的兩個 < 《操作符實際上是針對不同物件的！這無法讓人接受。對於返回乙個流指標則不能連續使用 < 《操作符。因此，返回乙個流物件引用是惟一選擇。這個唯一選擇很關鍵，它說明了引用的重要性以及無可替代性，也許這就是c++語言中引入引用這個概念的原因吧。 賦值操作符=。這個操作符象流操作符一樣，是可以連續使用的，例如：x = j = 10;或者(x=10)=100;賦值操作符的返回值必須是乙個左值，以便可以被繼續賦值。因此引用成了這個操作符的惟一返回值選擇。
【例1】 測試用返回引用的函式值作為賦值表示式的左值。
#include
int &put(int n);
int vals[10];
int error=-1;
void main() }
（5）在另外的一些操作符中，卻千萬不能返回引用：+-*/ 四則運算符。它們不能返回引用，effective c++[1]的item23詳細的討論了這個問題。主要原因是這四個操作符沒有side effect，因此，它們必須構造乙個物件作為返回值，可選的方案包括：返回乙個物件、返回乙個區域性變數的引用，返回乙個new分配的物件的引用、返回乙個靜態物件引用。根據前面提到的引用作為返回值的三個規則，第2、3兩個方案都被否決了。靜態物件的引用又因為((a+b) == (c+d))會永遠為true而導致錯誤。所以可選的只剩下返回乙個物件了。
2、引用和多型
引用是除指標外另乙個可以產生多型效果的手段。這意味著，乙個基類的引用可以指向它的派生類例項。
【例2】：
class a;
class b：public a;
b b;
a &ref = b; // 用派生類物件初始化基類物件的引用
ref 只能用來訪問派生類物件中從基類繼承下來的成員，是基類引用指向派生類。如果a類中定義有虛函式，並且在b類中重寫了這個虛函式，就可以通過ref產生多型效果。
引用總結
（1）在引用的使用中，單純給某個變數取個別名是毫無意義的，引用的目的主要用於在函式引數傳遞中，解決大塊資料或物件的傳遞效率和空間不如意的問題。
（2）用引用傳遞函式的引數，能保證引數傳遞中不產生副本，提高傳遞的效率，且通過const的使用，保證了引用傳遞的安全性。
（3）引用與指標的區別是，指標通過某個指標變數指向乙個物件後，對它所指向的變數間接操作。程式中使用指標，程式的可讀性差；而引用本身就是目標變數的別名，對引用的操作就是對目標變數的操作。
（4）使用引用的時機。流操作符 < 《和》 > 、賦值操作符=的返回值、拷貝建構函式的引數、賦值操作符=的引數、其它情況都推薦使用引用。
將引用作為函式返回值
要以引用返回函式值，則函式定義時必須遵循以下格式 型別識別符號 函式名 形參列表及型別說明 可見，以引用返回函式值，定義函式時需要在函式名前加 引用作為函式的返回值時，函式的返回值可以理解為函式返回了乙個變數 事實上，函式返回引用時，它返回的是乙個指向返回值的隱式指標 因此，值為引用的函式可以用作賦...
引用作為函式引數返回值
說明 1 以引用返回函式值，定義函式時需要在函式名前加 2 用引用返回乙個函式值的最大好處是，在記憶體中不產生被返回值的副本。例如 include float temp 定義全域性變數temp float fn1 float r 宣告函式fn1 float fn2 float r 宣告函式fn2 f...
C 把引用作為返回值
返回的引用是函式裡選擇的對應變數返回的引用，return vals i 是陣列的某個元素，然後即可進行賦值 setvalues 1 20.23 記得在定義函式名前加 用引用返回乙個函式值的最大好處是，在記憶體中不產生被返回值的副本。include using namespace std double...