C++模板类内友元（友元函数，友元类）声明的三种情况

转：/article/7980744.html

根据《C++ Primer》第三版16.4节的叙述，C++类模板友元分为以下几种情况

1.非模板友元类或友元函数。 书上给了一个例子：

class Foo{

void bar();

};

template <class T>

class QueueItem{

friend class foobar;

friend void foo();

friend void Foo::bar();

//....

};

很简单，跟非模板类没什么区别，有一点需要注意，如果要把函数和类生命为友元，前面不需要声明或定义。但是如果要把类成员函数声明为友元，则前面必须有类的定义（注意不是声明，是定义），因为一个类成员只能由该类的定义引入 。

2.绑定的友元类模板或函数模板。 例子如下：

template <class Type>

class foobar{ ...};

template <class Type>

void foo(QueueItem<Type>);

template <class Type>

class Queue{

void bar();

//...

};

template <class Type>

class QueueItem {

friend class foobar<Type> ;

friend void foo<Type> (QueueItem<Type>);

friend void Queue<Type> ::bar();

//...

};

需要注意两点：

a.与非模板函数或类不同，模板函数或类声明为友元之前必须在前面声明过 ，否则无法通过编译。

b.注意红字部分，那几个Type不能少。比如对于函数foo，如果少了<Type>的话编译器会将其作为非模板函数对待，也就是说，对于QueueItem<int>，编译器会查找void foo(QueueItem<int>)，而对template<class T>void foo(QueueItem<T>)视而不见，如果没找到非模板函数则会报错。

3.非绑定友元类模板或函数模板。 举例如下：

template <class Type>

class QueueItem {

template<class T>

friend class foobar;

template<class T>

friend void foo(QueueItem<T>);

template<class T>

friend void Queue<T>::bar();

//...

};