根据《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,如果没有加的话编译器会将其作为非模板函数对待,也就是说,对于QueueItem,编译器会查找void foo(QueueItem),而对template <class Type> void foo(QueueItem<Type>)视而不见,如果没找到非模板函数,编译器就会报错。
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();
//...
};