为类外的模板类声明非模板友元函数

Question

以下非模板代码works well：

struct A { };

struct B
{
    B() {}
    B(const A&) {}
    friend B operator+(const B&) { return B(); }    
};

B operator+(const B&);

int main()
{
    A a;
    B b;
    +b;
    +a;
}

但如果我在这段代码中创建类模板：

template <class T>
struct A { };

template <class T>
struct B
{
    B() {}
    B(const A<T>&) {}
    friend B operator+(const B&) { return B(); }    
};

template <class T>
B<T> operator+(const B<T>&); // not really what I want 

int main()
{
    A<int> a;
    B<int> b;
    +b;
    +a;
}

某种troubles appear：

错误：'operator+' 不匹配（操作数类型为'A'）

是否可以在类外为模板类声明非模板友元函数（就像我在上面为非模板类​​所做的那样）？

我可以通过为A<T> 参数添加template operator 并在里面调用朋友函数来解决问题，但这并不有趣。

UPD：

另一个解决方法（受R Sahu's answer 启发）是为A 类添加friend 声明：

template <class T>
struct A { 
    friend B<T> operator+(const B<T>&);
};

但是这个gives a warning，我不知道如何正确修复它。

Answer 1

是否可以在类外为模板类声明非模板友元函数（就像我在上面为非模板类​​所做的那样）？

是的，这是可能的。但是，您可能还需要一个函数模板，并确保 operator+<int> 是 A<int> 的 friend，operator+<double> 是 friend 的 A<double> 等。

请参阅https://stackoverflow.com/a/35854179/434551 了解如何做到这一点。

Answer 2

是否可以在类外为模板类声明非模板友元函数？

回答：是的，但是...您需要为您使用的每个组合声明一个函数：

这个函数解决了你的 puntual 声明的问题：

A<int> operator+(const A<int>&) { return A<int>(); }

但是，如果使用 A，则需要显式声明其他函数：

A<double> operator+(const A<double>&) { return A<double>(); }

不是必需的朋友，因为在结构中所有成员都是公共的