模板好友功能的前向声明

Question

请考虑以下完全正常的代码片段:

class A
{
private:
    int d;
public:
    A(int n){ d = n;}
    friend int foo(A a);
};

int foo(A a)
{
    return a.d;
}

但是,当我尝试为类使用模板时,我需要转发声明友元函数才能运行,如下所示:

template <typename T>
class B;

template <typename T>
T foof(B<T> a);


template <typename T>
class B
{
private:
    T d;
public:
    B(T n){ d = n;}
    friend T foof<>(B<T> a);
};

template <typename T>
T foof(B<T> a)
{
    return a.d;
}

为什么前面的声明在第二个例子中是必要的而不是在第一个例子中？另外,为什么我必须<>在B类中加入foof声明？为什么在模板内声明它是不够的？我试图理解这些东西是如何工作的,所以当我需要使用它时,我不必盲目地记住这种代码.

谢谢

Answer 1

那是因为

friend int foo(A a);

是功能声明和朋友同时,但是:

friend T foof<>(B<T> a);

是模板实例化的朋友声明.那不一样.实例化不声明模板功能.

你可以成为整个函数模板的朋友,然后不需要转发声明:

template <typename T>
class B
{
private:
    T d;
public:
    B(T n){ d = n;}
    template<class U>
    friend U foof(B<U> a);
};