獨(dú)自一人苦學(xué)模板，實(shí)在郁悶，翻譯e文逼迫自己學(xué)習(xí)：（全部寫完后整理）

8.4 友元
聲明友元的思想其實(shí)很簡單：標(biāo)識一個類或者函數(shù)，對于將其聲明為友元所在的類具有某種特權(quán)。但是在以下兩個方面，問題似乎有點(diǎn)復(fù)雜：
1、一個友元聲明只能是一個實(shí)體的唯一聲明（注：我還沒理解，不能解釋）
2、友元函數(shù)聲明的同時可以定義。

友元類在聲明的時候不允許定義，所以一般不會有問題。在模板情況下，唯一一點(diǎn)不同就是可以將類模板的一個特定實(shí)例聲明為友元：
注意：類模板在被一個類或者類模板聲明為友元的時候必須是可見的，而對于普通的類則沒有這種需求：

8.4.1 友元函數(shù)
函數(shù)模板的實(shí)例可以通過在函數(shù)名后面跟一對<>將其聲明為友元。<>里面可以包含模板參數(shù)，如果編譯器可以推導(dǎo)出模板參數(shù)，可以省略調(diào)模板參數(shù)：
（注：在GCC下測試，VS2003不行）
注意：我們可以對模板進(jìn)行專門化定義，但是不能對模板實(shí)例進(jìn)行定義，所以聲明模板實(shí)例為友元時不能定義。

如果名字后面跟有<>，有2種可能：
1、如果名字沒有限定詞（也就是前面沒有::），就不可能是模板實(shí)例。如果在聲明友元的地方?jīng)]有非模板函數(shù)匹配的話，就是函數(shù)的首次聲明，聲明同時可以定義。
2、如果名字有限定詞，那么一定與前面聲明的函數(shù)或者模板函數(shù)有關(guān)，在匹配的時候優(yōu)先選擇非函數(shù)模板而不是函數(shù)模板，然而在聲明的時候是不允許定義的。

下面的例子總結(jié)了各種可能性：

（注：在VS2003和規(guī)則復(fù)合，GCC上編譯完全通過）

前面例子我們討論了一般類（相對于類模板）里面的友元函數(shù)，遵守的規(guī)則同樣適用于類模板，但模板參數(shù)在確定友元函數(shù)的時候會起作用：

然而，當(dāng)友元函數(shù)在類模板里面聲明并定義的時候會出現(xiàn)有趣的現(xiàn)象，因?yàn)槟０謇锩嫒魏螙|西在未實(shí)例化之前都只是聲明而沒有具現(xiàn)。考慮下面的例子：
這個例子中模板的兩次實(shí)例化導(dǎo)致同一函數(shù)定義多次，違反了一次定義規(guī)則。

所以對于上面的情況，我們必須確保類模板的模板參數(shù)出現(xiàn)在聲明并定義的友元函數(shù)形參里面（除非想阻止多次實(shí)例化一個類模板，這好像不太可能）。把這個規(guī)律運(yùn)用到前面那個例子：
這個例子中，Creator每個實(shí)例都生成不同的函數(shù)。注意這些函數(shù)是類模板實(shí)例產(chǎn)生的，但函數(shù)本身并不是函數(shù)模板的實(shí)例，而是普通函數(shù)。
還要注意這些函數(shù)體定義于類中，默認(rèn)是內(nèi)聯(lián)的，所以在兩個翻譯單元產(chǎn)生相同的函數(shù)是沒有問題的。（注：由于內(nèi)聯(lián)函數(shù)基于代碼替代技術(shù)，所以一個函數(shù)定義所在的h文件被多次包含不會有問題，內(nèi)聯(lián)函數(shù)在編譯器看來就是一段代碼。）

8.4.2 友元模板
一般情況我們都是把函數(shù)模板或者類模板的某一實(shí)例聲明為友元，但把模板本身聲明為友元有時候也是非常有用的。這就需要所謂的模板友元，例如：
和普通友元函數(shù)一樣，沒有限定詞且名字后面沒有<>的函數(shù)模板在聲明為友元同時可以定義。
聲明原始函數(shù)模板或者原始類模板為友元的時候，所有相關(guān)的偏特化以及顯示特例化都自動成為友元。
（注：測試代碼

）
(本節(jié)完，汗...... 自己收獲不小)