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();
    //...

};

posted on 2018-02-25 22:31  AlanTu  阅读(3667)  评论(0编辑  收藏  举报

导航