C++模板类内友元(友元函数,友元类)声明的三种情况
根据《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();
//...
};