Posted on 2007-08-03 13:00
寶杉 閱讀(202)
評(píng)論(0) 編輯 收藏 引用 所屬分類(lèi):
C++
引用即別名,數(shù)組不能引用。
引用提高效率,又不在函數(shù)中改變。參考:file:///F:/fragments/documents/深入探討C++中的引用%20-%20KiRa的專(zhuān)欄%20-%20CSDNBlog.mht
常引用
常引用聲明方式:const 類(lèi)型標(biāo)識(shí)符 &引用名 = 目標(biāo)變量名;
const類(lèi)型 和 & 是分不開(kāi)的,引用一般定義成const。
引用作為返回值
要以引用返回函數(shù)值,則函數(shù)定義時(shí)要按以下格式:
類(lèi)型標(biāo)識(shí)符 &函數(shù)名(形參列表及類(lèi)型說(shuō)明)
{
函數(shù)體
}
說(shuō)明:
(1)以引用返回函數(shù)值,定義函數(shù)時(shí)需要在函數(shù)名前加&
(2)用引用返回一個(gè)函數(shù)值的最大好處是,在內(nèi)存中不產(chǎn)生被返回值的副本。
例子:Diary files\C++exams\rtn_ref
引用作為返回值,必須遵守以下規(guī)則:
(1)不能返回局部變量的引用。這條可以參照Effective C++[1]的Item 31。主要原因是局部變量會(huì)在函數(shù)返回后被銷(xiāo)毀,因此被返回的引用就成為了"無(wú)所指"的引用,程序會(huì)進(jìn)入未知狀態(tài)。
(2)不能返回函數(shù)內(nèi)部new分配的內(nèi)存的引用。這條可以參照Effective C++[1]的Item 31。雖然不存在局部變量的被動(dòng)銷(xiāo)毀問(wèn)題,可對(duì)于這種情況(返回函數(shù)內(nèi)部new分配內(nèi)存的引用),又面臨其它尷尬局面。例如,被函數(shù)返回的引用只是作為一個(gè)臨時(shí)變量出現(xiàn),而沒(méi)有被賦予一個(gè)實(shí)際的變量,那么這個(gè)引用所指向的空間(由new分配)就無(wú)法釋放,造成memory leak。
(3)可以返回類(lèi)成員的引用,但最好是const。這條原則可以參照Effective C++[1]的Item 30。主要原因是當(dāng)對(duì)象的屬性是與某種業(yè)務(wù)規(guī)則(business rule)相關(guān)聯(lián)的時(shí)候,其賦值常常與某些其它屬性或者對(duì)象的狀態(tài)有關(guān),因此有必要將賦值操作封裝在一個(gè)業(yè)務(wù)規(guī)則當(dāng)中。如果其它對(duì)象可以獲得該屬性的非常量引用(或指針),那么對(duì)該屬性的單純賦值就會(huì)破壞業(yè)務(wù)規(guī)則的完整性。
(4)引用與一些操作符的重載:
流操作符<<和>>,這兩個(gè)操作符常常希望被連續(xù)使用,例如:cout << "hello" << endl; 因此這兩個(gè)操作符的返回值應(yīng)該是一個(gè)仍然支持這兩個(gè)操作符的流引用。可選的其它方案包括:返回一個(gè)流對(duì)象和返回一個(gè)流對(duì)象指針。但是對(duì)于返回一個(gè)流對(duì)象,程序必須重新(拷貝)構(gòu)造一個(gè)新的流對(duì)象,也就是說(shuō),連續(xù)的兩個(gè)<<操作符實(shí)際上是針對(duì)不同對(duì)象的!這無(wú)法讓人接受。對(duì)于返回一個(gè)流指針則不能連續(xù)使用<<操作符。因此,返回一個(gè)流對(duì)象引用是惟一選擇。這個(gè)唯一選擇很關(guān)鍵,它說(shuō)明了引用的重要性以及無(wú)可替代性,也許這就是C++語(yǔ)言中引入引用這個(gè)概念的原因吧。 賦值操作符=。這個(gè)操作符象流操作符一樣,是可以連續(xù)使用的,例如:x = j = 10;或者(x=10)=100;賦值操作符的返回值必須是一個(gè)左值,以便可以被繼續(xù)賦值。因此引用成了這個(gè)操作符的惟一返回值選擇。