什么是引用?
對象的別名(另一個(gè)名稱)。
引用經(jīng)常用于“按引用傳遞(pass-by-reference)”:
?void swap(int& i, int& j)
?{
?? int tmp = i;
?? i = j;
?? j = tmp;
?}
?
?int main()
?{
?? int x, y;
?? // ...
?? swap(x,y);
?}
此處的 i 和 j 分別是main中的 x 和 y。換句話說,i 就是 x —— 并非指向 x 的指針,也不是 x 的拷貝,而是 x 本身。對 i 的任何改變同樣會(huì)影響 x,反之亦然。
OK,這就是作為一個(gè)程序員所認(rèn)知的引用。現(xiàn)在,給你一個(gè)不同的角度,這可能會(huì)讓你更糊涂,那就是引用是如何實(shí)現(xiàn)的。典型的情況下,對象 x 的引用 i 是 x 的機(jī)器地址。但是,當(dāng)程序員寫 i++ 時(shí),編譯器產(chǎn)生增加 x 的代碼。更詳細(xì)的來說,編譯器用來尋找 x 的地址位并沒有被改變。C 程序員將此認(rèn)為好像是 C 風(fēng)格的按指針傳遞,只是句法不同 (1) 將 & 從調(diào)用者移到了被調(diào)用者處,(2)消除了*s。換句話說,C 程序員會(huì)將 i 看作為宏 (*p),而 p 就是指向 x 的指針(例如,編譯器自動(dòng)地將潛在的指針解除引用;i++被改變?yōu)?(*p)++;i = 7 被自動(dòng)地轉(zhuǎn)變成 *p = 7)。
很重要:請不要將引用看作為指向一個(gè)對象的奇異指針,即使引用經(jīng)常是用匯編語言下的地址來實(shí)現(xiàn)的。引用就是對象。不是指向?qū)ο蟮闹羔槪膊皇菍ο蟮目截悾褪菍ο蟆?
--------------------------------------------------------------------------------
給引用賦值,意味著什么?
改變引用的“指示物”(引用所指的對象)。
請記住: 引用就是它的指示物,所以當(dāng)改變引用的值時(shí),也會(huì)改變其指示物的值。以編譯器編寫者的行話來說,引用是一個(gè)“左值”(它可以出現(xiàn)在賦值運(yùn)算符左邊)。
--------------------------------------------------------------------------------
?返回一個(gè)引用,意味著什么?
意味著該函數(shù)調(diào)用可以出現(xiàn)在賦值運(yùn)算符的左邊。
最初這種能力看起來有些古怪。例如,沒有人會(huì)認(rèn)為表達(dá)式 f() = 7 有意義。然而,如果 a 是一個(gè) Array 類,大多數(shù)人會(huì)認(rèn)為 a = 7 有意義,即使 a 實(shí)際上是一個(gè)函數(shù)調(diào)用的偽裝(它調(diào)用了 如下的 Array 類的 Array::operator[](int))。
?class Array {
?public:
?? int size() const;
?? float& operator[] (int index);
?? // ...
?};
?
?int main()
?{
?? Array a;
?? for (int i = 0; i < a.size(); ++i)
???? a = 7;??? // 這行調(diào)用了 Array::operator[](int)
?}
--------------------------------------------------------------------------------
object.method1().method2() 是什么意思?
連接這些方法的調(diào)用,因此被稱為方法鏈
第一個(gè)被執(zhí)行的是 object.method1()。它返回對象,可能是對象的引用(如,method1()可能以 return *this 結(jié)束),或可能是一些其他對象。我們姑且把返回的對象稱為objectB。然后objectB成為method2()的this對象。
方法鏈最常用的地方是iostream庫。例如,cout << x << y 可以執(zhí)行因?yàn)?cout << x是一個(gè)返回cout.的函數(shù)
雖然使用的較少,但仍然要熟練掌握的是在命名參數(shù)法(Named Parameter Idiom)中使用方法鏈。
--------------------------------------------------------------------------------
?如何能夠使一個(gè)引用重新指向另一個(gè)對象?
不行。
你無法讓引用與其指示物分離。
和指針不同,一旦引用和對象綁定,它無法再被重新指向其他對象。引用本身不是一個(gè)對象(它沒有標(biāo)識(shí); 當(dāng)試圖獲得引用的地址時(shí),你將的到它的指示物的地址;記住:引用就是它的指示物)。
從某種意義上來說,引用類似 int* const p? 這樣的const指針(并非如 const int* p 這樣的指向常量的指針)。不管有多么類似,請不要混淆引用和指針;它們完全不同。
--------------------------------------------------------------------------------
何時(shí)該使用引用, 何時(shí)該使用指針?
盡可能使用引用,不得已時(shí)使用指針。
當(dāng)你不需要“重新指向(reseating)”時(shí),引用一般優(yōu)先于指針被選用。這通常意味著引用用于類的公有接口時(shí)更有用。引用出現(xiàn)的典型場合是對象的表面,而指針用于對象內(nèi)部。
上述的例外情況是函數(shù)的參數(shù)或返回值需要一個(gè)“臨界”的引用時(shí)。這時(shí)通常最好返回/獲取一個(gè)指針,并使用 NULL 指針來完成這個(gè)特殊的使命。(引用應(yīng)該總是對象的別名,而不是被解除引用的 NULL 指針)。
注意:由于在調(diào)用者的代碼處,無法提供清晰的的引用語義,所以傳統(tǒng)的 C 程序員有時(shí)并不喜歡引用。然而,當(dāng)有了一些 C++ 經(jīng)驗(yàn)后,你會(huì)很快認(rèn)識(shí)到這是信息隱藏的一種形式,它是有益的而不是有害的。就如同,程序員應(yīng)該針對要解決的問題寫代碼,而不是機(jī)器本身。
--------------------------------------------------------------------------------
什么是對象的句柄?它是指針嗎?它是引用嗎?它是指向指針的指針?它是什么?
[Recently created (on 4/01). Click here to go to the next FAQ in the "chain" of recent changes.]
句柄術(shù)語一般用來指獲取另一個(gè)對象的方法——一個(gè)廣義的假指針。這個(gè)術(shù)語是(故意的)含糊不清的。
含糊不清在實(shí)際中的某些情況下是有用的。例如,在早期設(shè)計(jì)時(shí),你可能不準(zhǔn)備用句柄來表示。你可能不確定是否將一個(gè)簡單的指針或者引用或者指向指針的指針或者指向引用的指針或者整型標(biāo)識(shí)符放在一個(gè)數(shù)組或者字符串(或其它鍵)以便能夠以哈希表(hash-table)(或其他數(shù)據(jù)結(jié)構(gòu))或數(shù)據(jù)庫鍵或者一些其它的技巧來查詢。如果你只知道你會(huì)需要一些唯一標(biāo)識(shí)的東西來獲取對象,那么這些東西就被稱為句柄。
因此,如果你的最終目標(biāo)是要讓代碼唯一的標(biāo)識(shí)/查詢一個(gè)Fred類的指定的對象的話,你需要傳遞一個(gè)Fred句柄這些代碼。句柄可以是一個(gè)能被作為眾所周知的查詢表中的鍵(key)來使用的字符串(比如,在std::map<std::string,Fred> 或 std::map<std::string,Fred*>中的鍵),或者它可以是一個(gè)作為數(shù)組中的索引的整數(shù)(比如,F(xiàn)red* array = new Fred[maxNumFreds]),或者它可以是一個(gè)簡單的 Fred*,或者它可以是其它的一些東西。
初學(xué)者常常考慮指針,但實(shí)際上使用未初始化的指針有底層的風(fēng)險(xiǎn)。例如,如果Fred對象需要移動(dòng)怎么辦?當(dāng)Fred對象可以被安全刪除時(shí)我們?nèi)绾潍@知?如果Fred對象需要(臨時(shí)的)連續(xù)的從磁盤獲得怎么辦?等等。這些時(shí)候的大多數(shù),我們增加一個(gè)間接層來管理位置。例如,句柄可以是Fred**,指向Fred*的指針可以保證不會(huì)被移動(dòng)。當(dāng)Fred對象需要移動(dòng)時(shí),你只要更新指向Fred*的指針就可以了。或者讓用一個(gè)整數(shù)作為句柄,然后在表或數(shù)組或其他地方查詢Fred的對象(或者指向Fred對象的指針)。
重點(diǎn)是當(dāng)我們不知道要做的事情的細(xì)節(jié)時(shí),使用句柄。
使用句柄的另一個(gè)時(shí)機(jī)是想要將已經(jīng)完成的東西含糊化的時(shí)候(有時(shí)用術(shù)語magic cookie也一樣,就像這樣,“軟件傳遞一個(gè)magic cookie來唯一標(biāo)識(shí)并定位適當(dāng)?shù)腇red對象”)。將已經(jīng)完成的東西含糊化的原因是使得句柄的特殊細(xì)節(jié)或表示物改變時(shí)所產(chǎn)生的連鎖反應(yīng)最小化。舉例來說,當(dāng)將一個(gè)句柄從用來在表中查詢的字符串變?yōu)樵跀?shù)組中查詢的整數(shù)時(shí),我們可不想更新大量的代碼。
當(dāng)句柄的細(xì)節(jié)或表示物改變時(shí),維護(hù)工作更為簡單(或者說閱讀和書寫代碼更容易),因此常常將句柄封裝到類中。這樣的類常重載operator-> 和 operator*算符(既然句柄的效果象指針,那么它可能看起來也象指針)。