對于習慣使用C進行開發(fā)的朋友們，在看到c++中出現(xiàn)的&符號，可能會犯迷糊，因為在C語言中這個符號表示了取地址符，但是在C++中它卻有著不同的用途，掌握C++的&符號，是提高代碼執(zhí)行效率和增強代碼質(zhì)量的一個很好的辦法。

引用是C++引入的新語言特性，是C++常用的一個重要內(nèi)容之一，正確、靈活地使用引用，可以使程序簡潔、高效。我在工作中發(fā)現(xiàn)，許多人使用它僅僅 是想當然，在某些微妙的場合，很容易出錯，究其原由，大多因為沒有搞清本源。故在本篇中我將對引用進行詳細討論，希望對大家更好地理解和使用引用起到拋磚 引玉的作用。

　　一、引用簡介

　　引用就是某一變量（目標）的一個別名，對引用的操作與對變量直接操作完全一樣。

　　引用的聲明方法：類型標識符 &引用名=目標變量名；

　　【例1】：int a; int &ra=a; //定義引用ra,它是變量a的引用，即別名

　　說明：

　　（1）&在此不是求地址運算，而是起標識作用。

　　（2）類型標識符是指目標變量的類型。

　?。?）聲明引用時，必須同時對其進行初始化。

　?。?）引用聲明完畢后，相當于目標變量名有兩個名稱，即該目標原名稱和引用名，且不能再把該引用名作為其他變量名的別名。

　　 ra=1; 等價于 a=1;

　?。?）聲明一個引用，不是新定義了一個變量，它只表示該引用名是目標變量名的一個別名，它本身不是一種數(shù)據(jù)類型，因此引用本身不占存儲單元，系統(tǒng)也不給引用分配存儲單元。故：對引用求地址，就是對目標變量求地址。&ra與&a相等。

　?。?）不能建立數(shù)組的引用。因為數(shù)組是一個由若干個元素所組成的集合，所以無法建立一個數(shù)組的別名。

　　二、引用應(yīng)用

　　1、引用作為參數(shù)

　　引用的一個重要作用就是作為函數(shù)的參數(shù)。以前的C語言中函數(shù)參數(shù)傳遞是值傳遞，如果有大塊數(shù)據(jù)作為參數(shù)傳遞的時候，采用的方案往往是指針，因為 這樣可以避免將整塊數(shù)據(jù)全部壓棧，可以提高程序的效率。但是現(xiàn)在（C++中）又增加了一種同樣有效率的選擇（在某些特殊情況下又是必須的選擇），就是引 用。

　　【例2】：

void swap(int &p1, int &p2) //此處函數(shù)的形參p1, p2都是引用
{ int p; p=p1; p1=p2; p2=p; }

　　為在程序中調(diào)用該函數(shù)，則相應(yīng)的主調(diào)函數(shù)的調(diào)用點處，直接以變量作為實參進行調(diào)用即可，而不需要實參變量有任何的特殊要求。如：對應(yīng)上面定義的swap函數(shù)，相應(yīng)的主調(diào)函數(shù)可寫為：

main( )
{
　int a,b;
　cin>>a>>b; //輸入a,b兩變量的值
　swap(a,b); //直接以變量a和b作為實參調(diào)用swap函數(shù)
　cout<<a<< ' ' <<b; //輸出結(jié)果
}

　　上述程序運行時，如果輸入數(shù)據(jù)10 20并回車后，則輸出結(jié)果為20 10。

　　由【例2】可看出：

　　（1）傳遞引用給函數(shù)與傳遞指針的效果是一樣的。這時，被調(diào)函數(shù)的形參就成為原來主調(diào)函數(shù)中的實參變量或?qū)ο蟮囊粋€別名來使用，所以在被調(diào)函數(shù)中對形參變量的操作就是對其相應(yīng)的目標對象（在主調(diào)函數(shù)中）的操作。

　?。?）使用引用傳遞函數(shù)的參數(shù)，在內(nèi)存中并沒有產(chǎn)生實參的副本，它是直接對實參操作；而使用一般變量傳遞函數(shù)的參數(shù)，當發(fā)生函數(shù)調(diào)用時，需要給 形參分配存儲單元，形參變量是實參變量的副本；如果傳遞的是對象，還將調(diào)用拷貝構(gòu)造函數(shù)。因此，當參數(shù)傳遞的數(shù)據(jù)較大時，用引用比用一般變量傳遞參數(shù)的效 率和所占空間都好。

　　（3）使用指針作為函數(shù)的參數(shù)雖然也能達到與使用引用的效果，但是，在被調(diào)函數(shù)中同樣要給形參分配存儲單元，且需要重復(fù)使用"*指針變量名"的 形式進行運算，這很容易產(chǎn)生錯誤且程序的閱讀性較差；另一方面，在主調(diào)函數(shù)的調(diào)用點處，必須用變量的地址作為實參。而引用更容易使用，更清晰。

　　如果既要利用引用提高程序的效率，又要保護傳遞給函數(shù)的數(shù)據(jù)不在函數(shù)中被改變，就應(yīng)使用常引用。

　　2、常引用

　　常引用聲明方式：const 類型標識符 &引用名=目標變量名；

　　用這種方式聲明的引用，不能通過引用對目標變量的值進行修改,從而使引用的目標成為const，達到了引用的安全性。

　　【例3】：

int a ;
const int &ra=a;
ra=1; //錯誤
a=1; //正確

　　這不光是讓代碼更健壯，也有些其它方面的需要。

　　【例4】：假設(shè)有如下函數(shù)聲明：

string foo( );
void bar(string & s);

　　那么下面的表達式將是非法的：

bar(foo( ));
bar("hello world");

　　原因在于foo( )和"hello world"串都會產(chǎn)生一個臨時對象，而在C++中，這些臨時對象都是const類型的。因此上面的表達式就是試圖將一個const類型的對象轉(zhuǎn)換為非const類型，這是非法的。

　　引用型參數(shù)應(yīng)該在能被定義為const的情況下，盡量定義為const 。

　　3、引用作為返回值

　　要以引用返回函數(shù)值，則函數(shù)定義時要按以下格式：

類型標識符 &函數(shù)名（形參列表及類型說明）
{函數(shù)體}

　　說明：

　　（1）以引用返回函數(shù)值，定義函數(shù)時需要在函數(shù)名前加&

　　（2）用引用返回一個函數(shù)值的最大好處是，在內(nèi)存中不產(chǎn)生被返回值的副本。

　　【例5】以下程序中定義了一個普通的函數(shù)fn1（它用返回值的方法返回函數(shù)值），另外一個函數(shù)fn2，它以引用的方法返回函數(shù)值。

#include

　　引用作為返回值，必須遵守以下規(guī)則：

　?。?）不能返回局部變量的引用。這條可以參照Effective C++[1]的Item 31。主要原因是局部變量會在函數(shù)返回后被銷毀，因此被返回的引用就成為了"無所指"的引用，程序會進入未知狀態(tài)。

　?。?）不能返回函數(shù)內(nèi)部new分配的內(nèi)存的引用。這條可以參照Effective C++[1]的Item 31。雖然不存在局部變量的被動銷毀問題，可對于這種情況（返回函數(shù)內(nèi)部new分配內(nèi)存的引用），又面臨其它尷尬局面。例如，被函數(shù)返回的引用只是作為一 個臨時變量出現(xiàn)，而沒有被賦予一個實際的變量，那么這個引用所指向的空間（由new分配）就無法釋放，造成memory leak。

　?。?）可以返回類成員的引用，但最好是const。這條原則可以參照Effective C++[1]的Item 30。主要原因是當對象的屬性是與某種業(yè)務(wù)規(guī)則（business rule）相關(guān)聯(lián)的時候，其賦值常常與某些其它屬性或者對象的狀態(tài)有關(guān)，因此有必要將賦值操作封裝在一個業(yè)務(wù)規(guī)則當中。如果其它對象可以獲得該屬性的非常 量引用（或指針），那么對該屬性的單純賦值就會破壞業(yè)務(wù)規(guī)則的完整性。

　　（4）引用與一些操作符的重載：

　　流操作符<

　　【例6】 測試用返回引用的函數(shù)值作為賦值表達式的左值。

#include

　?。?）在另外的一些操作符中，卻千萬不能返回引用：+-*/ 四則運算符。它們不能返回引用，Effective C++[1]的Item23詳細的討論了這個問題。主要原因是這四個操作符沒有side effect，因此，它們必須構(gòu)造一個對象作為返回值，可選的方案包括：返回一個對象、返回一個局部變量的引用，返回一個new分配的對象的引用、返回一 個靜態(tài)對象引用。根據(jù)前面提到的引用作為返回值的三個規(guī)則，第2、3兩個方案都被否決了。靜態(tài)對象的引用又因為((a+b) == (c+d))會永遠為true而導致錯誤。所以可選的只剩下返回一個對象了。

　　4、引用和多態(tài)

　　引用是除指針外另一個可以產(chǎn)生多態(tài)效果的手段。這意味著，一個基類的引用可以指向它的派生類實例。

　　【例7】：

class 　A;
class 　B：public A{……};
B 　b;
A 　&Ref = b; // 用派生類對象初始化基類對象的引用

　　Ref 只能用來訪問派生類對象中從基類繼承下來的成員，是基類引用指向派生類。如果A類中定義有虛函數(shù)，并且在B類中重寫了這個虛函數(shù)，就可以通過Ref產(chǎn)生多態(tài)效果。

　　三、引用總結(jié)

　?。?）在引用的使用中，單純給某個變量取個別名是毫無意義的，引用的目的主要用于在函數(shù)參數(shù)傳遞中，解決大塊數(shù)據(jù)或?qū)ο蟮膫鬟f效率和空間不如意的問題。

　?。?）用引用傳遞函數(shù)的參數(shù)，能保證參數(shù)傳遞中不產(chǎn)生副本，提高傳遞的效率，且通過const的使用，保證了引用傳遞的安全性。

　?。?）引用與指針的區(qū)別是，指針通過某個指針變量指向一個對象后，對它所指向的變量間接操作。程序中使用指針，程序的可讀性差；而引用本身就是目標變量的別名，對引用的操作就是對目標變量的操作。

　?。?）使用引用的時機。流操作符<<和>>、賦值操作符=的返回值、拷貝構(gòu)造函數(shù)的參數(shù)、賦值操作符=的參數(shù)、其它情況都推薦使用引用。