一、引用的基本知識(shí)

引用就是某一變量（目標(biāo)）的一個(gè)別名，對(duì)引用的操作與對(duì)變量直接操作完全一樣。引用的聲明方法：類型標(biāo)識(shí)符 &引用名=目標(biāo)變量名；　說(shuō)明：

（1）&在此不是求地址運(yùn)算，而是起標(biāo)識(shí)作用。

（2）類型標(biāo)識(shí)符是指目標(biāo)變量的類型。

（3）聲明引用時(shí)，必須同時(shí)對(duì)其進(jìn)行初始化。

（4）引用聲明完畢后，相當(dāng)于目標(biāo)變量名有兩個(gè)名稱，即該目標(biāo)原名稱和引用名，且不能再把該引用名作為其他變量名的別名。

  int a,&ra=a;a為目標(biāo)原名稱，ra為目標(biāo)引用名。給ra賦值：ra=1; 等價(jià)于 a=1;

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

（6）不能建立數(shù)組的引用。因?yàn)閿?shù)組是一個(gè)由若干個(gè)元素所組成的集合，所以無(wú)法建立一個(gè)數(shù)組的別名。

例如： Point pt1(10,10);

Point &pt2=pt1; 定義了pt2為pt1的引用。通過(guò)這樣的定義，pt1和pt2表示同一對(duì)象。

需要特別強(qiáng)調(diào)的是引用并不產(chǎn)生對(duì)象的副本，僅僅是對(duì)象的同義詞。因此，當(dāng)下面的語(yǔ)句執(zhí)行后：

pt1.offset（12，12）；

pt1和pt2都具有（12，12）的值。

引用必須在定義時(shí)馬上被初始化，因?yàn)樗仨毷悄硞€(gè)東西的同義詞。你不能先定義一個(gè)引用后才

初始化它。例如下面語(yǔ)句是非法的：
Point &pt3；
pt3=pt1；

那么既然引用只是某個(gè)東西的同義詞，它有什么用途呢？

下面討論引用的兩個(gè)主要用途：作為函數(shù)參數(shù)以及從函數(shù)中返回左值。

二、引用作為函數(shù)參數(shù)

1、傳遞可變參數(shù)

傳統(tǒng)的c中，函數(shù)在調(diào)用時(shí)參數(shù)是通過(guò)值來(lái)傳遞的，這就是說(shuō)函數(shù)的參數(shù)不具備返回值的能力。

所以在傳統(tǒng)的c中，如果需要函數(shù)的參數(shù)具有返回值的能力，往往是通過(guò)指針來(lái)實(shí)現(xiàn)的。比如，實(shí)現(xiàn)

兩整數(shù)變量值交換的c程序如下：

使用引用機(jī)制后，以上程序的c++版本為：

調(diào)用該函數(shù)的c++方法為：swapint（x,y); c++自動(dòng)把x,y的地址作為參數(shù)傳遞給swapint函數(shù)。

2、給函數(shù)傳遞大型對(duì)象
當(dāng)大型對(duì)象被傳遞給函數(shù)時(shí)，使用引用參數(shù)可使參數(shù)傳遞效率得到提高，因?yàn)橐貌⒉划a(chǎn)生對(duì)象的

副本，也就是參數(shù)傳遞時(shí)，對(duì)象無(wú)須復(fù)制。下面的例子定義了一個(gè)有限整數(shù)集合的類：

先考慮集合交集的實(shí)現(xiàn)

由于重載運(yùn)算符不能對(duì)指針單獨(dú)操作，我們必須把運(yùn)算數(shù)聲明為 Set 類型而不是 Set * 。

每次使用*做交集運(yùn)算時(shí)，整個(gè)集合都被復(fù)制，這樣效率很低。我們可以用引用來(lái)避免這種情況。

三、引用作為返回值
如果一個(gè)函數(shù)返回了引用，那么該函數(shù)的調(diào)用也可以被賦值。這里有一函數(shù)，它擁有兩個(gè)引用參數(shù)并返回一個(gè)雙精度數(shù)的引用：

由于max()函數(shù)返回一個(gè)對(duì)雙精度數(shù)的引用，那么我們就可以用max() 來(lái)對(duì)其中較大的雙精度數(shù)加1：

max(x,y)+=1.0;

四、常引用
常引用聲明方式：const 類型標(biāo)識(shí)符&引用名=目標(biāo)變量名；

用這種方式聲明的引用，不能通過(guò)引用對(duì)目標(biāo)變量的值進(jìn)行修改,從而使引用的目標(biāo)成為const，達(dá)到了引用的安全性。

【例】：

int a ;

const int &ra=a;

ra=1; //錯(cuò)誤

a=1; //正確

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

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

string foo( );

void bar(string & s);

那么下面的表達(dá)式將是非法的：

bar(foo( ));

bar("hello world");

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

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

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

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

【例】：

class A;

class B：public A{……};

B b;

A &Ref = b; // 用派生類對(duì)象初始化基類對(duì)象的引用

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