类模板和友元

类模板和友元

如果一个类模板包含一个非模板友元，则友元被授权可以访问所有模板实例。如果友元自身是模板，类可以授权给所有模板实例，也可以只授权给特定实例。

一对一友好关系

类模板和另一个模板（类或函数）建立友好关系的最常见模式是建立对应实例及其友元间的友好关系。

template<typename> class BlobPtr;
template<typename> class Blob;
template<typename T> 
	bool operator==(const Blob<T>&, const Blob<T>&);

template <typename T> class Blob{
	//每个Blob实例都会将访问权限授予相同类型实例化的BlobPtr类
	friend class BlobPtr<T>;
	friend bool operator==<T>
		(const Blob<T>& ,const Blob<T>& );
};

这样的定义，是针对同种类型的实例，才算是友元。

Blob<string> blob;

对于blob这个对象而言， BlobPtr<string>和bool operator==<string>才是它的友元。

通用和特定的模板建立友好关系

一个类也可以将另一个模板的每个实例都声明为自己的友元，或者限定特定的实例为自己的友元。

一个类和模板发生友好关系

template <typename T>	class Pa1;

class C{
	frined class Pal<C>; //用类C实例化的Pal是C的一个友元
	template <typename T> friend class Pal2;//Pal2的所有实例都是C的友元。
};

• 和特定的模板实例建立友好关系，只需要指定类型即可
• 和通用的模板实例建立友好关系，需要使用template <typename T> friend

类模板和模板发生友好关系

template <typename T> class C2{
	// C2的每个实例和相同实例化的pal声明为友元
	friend class Pal<T>;
	//Pal2的所有实例都是C2的每个实例的友元
	template <typename x> friend class Pal2;
	//Pal3是一个非模板类，他是所有C2的友元。
	friend class Pal3;
};

从这个例子可以看出，但一个模板的所有实例，想要和另一模板发生友元关系，那么必须在它的类作用域内进行声明，而且typename还不能一样
template <typename x> friend class Pal2