發表一點自己對 《C++ Primer 5th》模板那塊的理解， 歡迎指正

一對一友好關係

在類模板與另一個模板（模板類或模板函式）間建立對應例項及其友好關係，為了在類模板中引用另一個類模板或函式的一個特定例項，必須先宣告另一個模板：
方便理解和敘述，將含友元的類稱為主類，將要做友元類的模板類稱為客類

//為了在類裡面引用 BlobPtr<T> 和 poerator==<T> 現在類之前宣告
template <typename> class BlobPtr;
template <typename> class Blob; 
template
 
 <typename T>
bool operator==(const Blob<T>&, const Blob<T>&);

template <typename T>
class Blob{
friend class BlobPtr<T>; //客類
friend bool operator==<T>; //主類
    (const Blob<T>&, const Blob<T>&);
....
};

//模板類友元運算子過載函式定義：
template <typename
 
 T>
bool operator==<T>(const Blob<T>& lhs, const Blob<T>& rhs)
{
    ...
}

也就是說只有 BlobPtr<int> operator==<int> 才是 Blob<int> 的友元.而 BlobPtr<std::string> 不是 Blob<int> 的友元

通用和特定的模板友好關係

1. 將客類的每個例項都宣告為主類的友元
2. 將客類的特定例項宣告為主類的友元

對於第一種情況不需要在模板類前置宣告

template <typename T>
class C1
{
    //C1每個例項將擁有相同例項化的Pal宣告為友元
    friend class Pal<T>;
    //Pal2所有例項都是 C1 的每個例項的友元 不需前置宣告
    template <typename X> friend class Pal2;

};

Pal2<int>, Pal2<std::string> 都是 C1<int> 或者 C1<std::string> 的友元

第二種情況需要前置宣告

template <typename T> class Pal;

class C2 //C2不是模板類
{
    //C2每個例項將 用C1型別例項化的Pal 宣告為友元
    friend class Pal<C1>;

};

總結：

1. 如果想將客類的所有例項作為主類每個例項的友元，那麼不需要再主類前宣告客類模板，也不需要宣告友元時加，並且在主類內部宣告客類為主類友元之前要加上客類的模板引數列表，而且還不能和主類引數名一樣，如:

template<typename T> class 主類
{
    template <typename X> //模板引數和主類不一樣
    friend 客類; 
};

1. 如果只想將擁有和主類相同例項的客類或模板函式作為主類的友元，那就先在主類前宣告客類（帶模板引數列表template）, 然後在主類中宣告客類friend（帶模板引數，不帶template）並且模板引數<T>需要和主類的引數名相同。

template<typename > class 客類;
template<typename T> class 主類
{
    friend 客類<T>; //模板引數和主類一致
};