运算符重载模板

Question

我有一个类必须能够保持一种浮动，双重，长的异常。 我想以这样的方式重载它，它可以添加两个持有不同类型的实例。

template <typename T>
class F{
public:
       F(const T & t){a=t;}
       T a;
       F & operator+= (const F & rhs);
}

template<typename T>
F<T> F::operator+= (const F & rhs){
       a+=rhs.a;
       return *this

这只是伪代码我已经保留了无关的位，我实际上试图使用这种解决方案。

现在尝试使用时：

  F<int> first(5);
  F<int> second(4);
  first+=second; // Works

  F<int> third(5);
  F<float> fourth(6.2);
  fourth+=third; // wont work

我可以看出为什么这不起作用，因为它假设rhs参数与lhs的类型相同。 我还可以看到在执行int + = long操作时存在潜在的问题，好像long很大，类型需要更改。 我似乎无法找到解决问题的好方法。 我很感激你的意见。 谢谢

Answer 1

您还需要创建operator+=模板：

template <typename T>
class F{
public:
       F(const T & t){ a = t; }
       T a;

       template<typename T2>
       F& operator+=(const F<T2>& rhs);
}; // semicolon was missing

template<typename T>
template<typename T2>
F<T>& F<T>::operator+=(const F<T2>& rhs) {
       a += rhs.a;
       return *this; // semicolon was missing
} // brace was missing

那你可以做

F<int> a(4);
F<float> b(28.4);

b += a;

cout << b.a << endl; // prints 32.4

这是一个有效的例子 。

Answer 2

    template <typename T>
    class F{
    public:
           F(const T & t){a=t;}
           T a;
           template<typename T2>
           F & operator+= (const F<T2> & rhs);
    };

    template<typename T>
    template<typename T2>
    F<T>& F<T>::operator+= (const F<T2> & rhs){
           a+=(T)rhs.a;
           return *this
    }

编辑：

修复错误，请参阅注释

Answer 3

你可以模板化operator+= ：

template<typename G> F<T> & operator+= (const F<G> & rhs);

...假设你可以某种方式将G转换为T