友元成員函式模板：

#include <iostream>

using namespace std;

template<class T> class A;    //當用到友元成員函式時，需注意友元宣告與友元定義之間的互相依賴。這是類A的宣告
template<class T>
class B
{
public:
	void set_show(int x, A<T> &a);             //該函式是類A的友元函式
};
template<class T> //A的這個T決定了對於B的T型別友元，並且只友元A<T>型別
class A
{
public:
	friend void B<T>::set_show(int x, A<T> &a);   //該函式是友元成員函式的宣告
private:
	int data;
	void show() { cout << data << endl; }
};
template<class T>
void B<T>::set_show(int x, A<T> &a)       //只有在定義類A後才能定義該函式，畢竟，它被設為友元是為了訪問類A的成員
{
	a.data = x;
	cout << a.data << endl;
}

int main(void)
{
	class A<int> a;//B的set_show只能訪問A<int>型別，只對這個型別友元
	class B<int> b;//B必須是int才能訪問a的成員，否則不行

	b.set_show(1, a);
	getchar();
	return 0;
}
 

類模板(class template)的友元(friend)和普通類的友元, 有很多區別,

主要原因是類模板包含模板引數(template parameter), 就會導致友元和類模板有很多匹配形式;

主要包含六種形式:

1. 類 - 友元(friend): "模板引數是當前類"的類模板;

2. 類 - 友元: "模板引數任意"的模板類;

3. 模板類 - 友元: "模板引數相同"的模板類;

4. 模板類 - 友元: "模板引數任意"的模板類

5. 模板類 - 友元: 類;

6. 模板類 - 友元: 當前模板引數(類); (C++11)

具體使用參見程式碼及註釋,

程式碼如下:

/*
 * cppprimer.cpp
 *
 *  Created on: 2013.11.24
 *      Author: Caroline
 */

/*eclipse cdt, gcc 4.8.1*/

#include <iostream>
#include <string>

template <typename T> class Pal; //pal朋友

class C {
	friend class Pal<C>; //"以類C例項化"的Pal類, 為C的友元
	template <typename T> friend class Pal2; //Pal2類的所有例項化, 都為C的友元
private:
	void print() { std::cout << "class C" << std::endl; }
};

template <typename T>
class C2 {
	friend class Pal<T>; //"與C2類相同例項化"的Pal類, 為C2的友元
	//Pal2類的所有例項化, 都為C2的友元, 注意模板引數(X)不能相同
	template <typename X> friend class Pal2;
	friend class Pal3; //普通友元
	friend T; //C++11 模板型別引數友元
private:
	void print() { std::cout << "class C2" << std::endl; }
};

template <typename T>
class Pal {
	C myC;
	C2<T> myC2; //必須為T
	//C2<double> myC2; //例項化不同, 無法使用
public:
	void printC() {
		std::cout << "this is class Pal : ";
		myC.print();
	}
	void printC2() {
		std::cout << "this is class Pal : ";
		myC2.print();
	}
};

template <typename T>
class Pal2 {
	C myC;
	C2<double> myC2;
public:
	void printC() {
		std::cout << "this is class Pal2 : ";
		myC.print();
	}
	void printC2() {
		std::cout << "this is class Pal2 : ";
		myC2.print();
	}
};

class Pal3 {
	C2<double> myC2;
public:
	void printC2() {
		std::cout << "this is class Pal3 : ";
		myC2.print();
	}
};

class Pal4 {
	C2<Pal4> myC2; //注意Pal4是C2類的模板引數
public:
	void printC2() {
		std::cout << "this is class Pal4 : ";
		myC2.print();
	}
};

int main (void) {

	std::cout << "Hello Mystra!" << std::endl;

	Pal<C> pc; //Pal類必須例項化為C
	pc.printC(); //可以使用
	//Pal<int> pci;
	//pci.print(); //報錯, 訪問了私有成員

	Pal2<int> pi2; //Pal2類可以隨意例項化
	pi2.printC();

	Pal<int> pi; //有相同的示例化, 在類宣告C2<T>
	pi.printC2();

	pi2.printC2(); //注意, Pal2類被例項化為<int>, 內部C2類被例項化為<double>;

	Pal3 p3;
	p3.printC2();

	Pal4 p4;
	p4.printC2();

	return 0;
}