算术运算符重载对于类模板，运算符应该取两个不同类型的类

Question

我正在为分数制作一个模板类，分子和分母可以是int、浮点数或双精度类型。当重载算术或关系运算符时，当我尝试添加两个类时，它会出现错误，比如A类和B类

在头文件“fraction. h”中

#include<iostream>
using namespace std;

template <class T>
class fraction
{
friend ostream& operator<< <T>(ostream&, const fraction<T>&);
public:
fraction();
fraction<T>(T, T);
friend fraction<T> operator+(const fraction<T>&, const fraction<T>&);
private:
    T numerator;
    T denominator;
};

template <class T>
fraction<T>::fraction()
{
    numerator = 0;
    denominator = 1;
}

template <class T>
fraction<T>::fraction(T num, T denom)
{
    numerator = num;
    denominator = denom;
}
template <class T>
ostream& operator<<(ostream& osObject, const fraction<T>& frac)
{
osObject << frac.numerator << "/" << frac.denominator;
return osObject;
}

template <class T>
fraction<T> operator+(const fraction<T>& fraction1, const fraction<T>&     fraction2)
{
fraction<T> temp;
temp.numerator = fraction1.numerator * fraction2.denominator + fraction1.denominator * fraction2.numerator;
temp.denominator = fraction1.denominator * fraction2.denominator;

return temp;
}

在cpp文件中

#include"fraction.h"

int main()
{
    fraction<int> num1(5,6);
    fraction<double> num2(5.1,6.1);
    fraction<double> num3();

    cout << num1+num2; 
}

我期望它显示10.1/12.1，但是它给出编译器错误C2678，说二进制“”:没有找到接受“fraction”类型的左操作数的运算符(或者没有可接受的转换)。我花了很多时间试图解决这个问题，现在我明白了，因为num1和num2是不同的类型，所以它们不能相加，因为“”运算符的返回没有被指定为任何类型。我该如何解决这个问题？

Answer 1

您的重载< code >运算符函数采用两个< code >常量分数

要开始解决它，您需要为每个参数使用不同的类型，这意味着两个模板参数。您还需要为返回的派系对象提供通用类型。

类似的东西

template <typename U, typename V>
fraction<std::common_type_t<U, V>> operator+(const fraction<U>& fraction1, const fraction<V>& fraction2)
{
    fraction<std::common_type_t<U, V>> temp;

    // ...

    return temp;
}

请注意，我对它们都使用不同的模板参数名称。这是因为复制粘贴友元声明应该更容易（还必须更新以匹配新函数），并且不能隐藏模板参数（也就是说，因为类具有模板参数名称 T，因此友元函数声明不能具有它）。