在模板中使用“+”运算符添加模板类和参数类时出现错误 C2679

Question

我正在尝试创建一个模板类来表示一组元素，这些元素以两种方式重载“+”运算符： 像这样：someNewSet = setA + setB; 还有这个：someNewSet = setA + newElement;

（我知道这样使用它是一种不好的做法，但请多多包涵。）

但是，我一直遇到后者的问题，可以通过这个示例显示：

foo.h:

template<typename T>
class Foo {
private:
    T bar;
public:
Foo(T arg);
    template<typename TT> friend Foo<TT> operator + (Foo<TT>& a, Foo<TT>& b);
template<typename TT> friend Foo<TT> operator + (Foo<TT>& a, TT& element);
};

template<typename T>
Foo<T>::Foo(T arg) {
    bar = arg;
}

template<typename T>
Foo<T> operator + (Foo<T>& a, Foo<T>& b) {
        return Foo<T>(b.bar);
}

template<typename T>
Foo<T> operator + (Foo<T>& a, T& element) {
    return Foo<T>(element);
}

main.cpp:

int main() {
    Foo<int> f(5);
    Foo<int> g(3);

    f + g;//works fine

    f + 5;//generates error

    system("PAUSE");
    return 0;
};

错误信息：

错误 C2679：二进制“+”：未找到采用“int”类型右手操作数的运算符（或没有可接受的转换）[文件路径]/main.cpp [此处的项目名称]

此外，Visual Studio 2013 中的构建输出窗口显示：

main.cpp [file-path]\main.cpp(43): error C2679: binary '+' : no operator found which采用'int'类型的右手操作数（或没有可接受的转换）

     [file path]\foo.h(27): could be 'Foo<int> operator +<int>(Foo<int> &,T &)'
     with
     [
         T=int
     ]
     while trying to match the argument list '(Foo<int>, int)'

尝试使用函数template<typename TT> friend Foo<TT> add (Foo<TT>& a, TT& element); 会产生类似的结果。

我还尝试前向声明模板类和有问题的函数（并在参数列表前添加<>），但这没有帮助。

我没有遗漏一些明显的东西，是吗？

Answer 1

您的问题可以归结为：

struct Foo {};

Foo operator+(Foo&, int&) { return Foo(); }

int main()
{
  Foo f1;
  Foo f2 = f1 + 42;
}

您的参数是非常量引用，并且您传递的参数不能绑定到这些（在我的示例中为 42，在您的示例中为 5）。您可以将操作员参数更改为 const 引用来解决此问题。无论如何，这是有道理的，因为二元运算符不应该真正改变它的操作数。上面的例子可以这样修复：

Foo operator+(const Foo&, const int&) { return Foo(); }