类模板的友元

详见http://www.cnblogs.com/assemble8086/archive/2011/10/02/2198308.html

 

类模板的友元有三种声明：

 

1）非模板类的友元类或友元函数

template <typename T>
class Rect{
public:
   friend void create(); 
};

 

 create函数成为所有Rect类实例化的友元，它可以访问全局对象;可以使用全局指针访问非全局对象;可以创建自己的对象;可以访问独立对象的模板类的静态数据成员。

template <typename T>
class Rect{
public:
   friend void create(Rect<T>&); 
};

 

 这种声明使得create函数传入了Rect类的实例，create(Rect<T>&)将成为Rect<T>类的友元。

 

2）绑定的友元类模板或友元函数

template <typename T>
class Rect;
template <typename T>
ostream& operator<<(ostream&,const Rect<T>&);


template <typename T>
class Rect{
public:
   friend ostream& operator<< <T>(ostream&,const Rect<T>&);
};

 

 该声明表示类模板的实例和它的友元之间是一种一对一的映射关系。

 将友元模板函数声明在类模板中，定义在类模板之外。当模板函数被声明为类模板的友元时，在函数名之后必须紧跟模板实参表，用来代表该友元声明指向函数模板的实例。否则友元函数会被解释为一个非模板函数，链接时无法解析。

 

3）非绑定的友元类模板或友元函数

 该声明表示类模板的实例和它的友元之间是一种一对多的映射关系。对于非约束友元，友元模板类型参数与模板类类型参数是不同的。

template <typename T>
class Rect{
public:
      Rect(const T&i):item(i){}
      template <typename T2,typename T3>
      friend void show(T2&,T3&); 
private:
      T item;
}; 

template <typename T2,typename T3>
void show(T2& rect1,T3& rect2)
{
    cout << rect1.item << " , " << rect2.item << endl;
}   

 

 通过在类内部声明模板，可以创建非约束友元函数，即每个函数具体化都是每个类具体化的友元。

int main()
{
    Rect<int> R1(10);
    Rect<double> R2(7.5);
    show(R1,R2);
}

 

show是所有Rect具体化的友元，并访问了Rect<int>对象的item成员和Rect<double>对象的item成员。