獨自一人苦學模板，實在郁悶，翻譯e文逼迫自己學習：（全部寫完后整理）

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

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

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

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

下面的例子總結了各種可能性：

（注：在VS2003和規則復合，GCC上編譯完全通過）

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

然而，當友元函數在類模板里面聲明并定義的時候會出現有趣的現象，因為模板里面任何東西在未實例化之前都只是聲明而沒有具現?？紤]下面的例子：
這個例子中模板的兩次實例化導致同一函數定義多次，違反了一次定義規則。

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

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

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