c ++运算符重载不按预期工作

Question

这是全班（复制/粘贴应该工作）：

#include <cstdio>
#include <iostream>
using namespace std;

class Rational
{
    int _n = 0;
    int _d = 1;
public:
    Rational (int numerator = 0, int denominator = 1) : _n(numerator), _d(denominator) {};
    Rational (const Rational & rhs) : _n(rhs._n), _d(rhs._d) {};
    ~Rational();
    int numerator() const {
        return _n;
    };
    int denominator() const {
        return _d;
    };
    Rational & operator = (const Rational &);

};

Rational operator + (const Rational & lhs, const Rational & rhs)
{
    return ((lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator()), lhs.denominator() * rhs.denominator());
}

Rational::~Rational()
{
    _n = 0;
    _d = 1;
}

std::ostream & operator << (std::ostream & o, const Rational & r)
{
    if (r.denominator() == 1) {
        return o << r.numerator();
    } else {
        return o << r.numerator() << '/' << r.denominator();
    }
}


int main()
{
    Rational a = 7;
    cout << "a is: " << a << endl;

    Rational b(5,3);
    cout << "b is: " << b << endl;

    cout << a << " + " << b << " = " << a + b << endl;
    cout << 14 << " + " << b << " = " << 14 + b << endl << endl;

    return 0;
}

我想使用非成员运算符重载。代码编译但显示错误的结果。最后两行应显示：

7 + 5/3 = 26/3

14 + 5/3 = 47/3

但相反显示：

7 + 5/3 = 3

14 + 5/3 = 3

问题很可能是这样的：

Rational operator + (const Rational & lhs, const Rational & rhs)
{
    return ((lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator()), lhs.denominator() * rhs.denominator());
}

因为它可以正常工作，如果我将其更改为先创建对象然后返回：

Rational operator + (const Rational & lhs, const Rational & rhs)
{
    Rational r((lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator()), lhs.denominator() * rhs.denominator());
    return r;
}

我希望隐式转换，两种解决方案都会给出相同的结果。有人可以向我解释这里的区别是什么？

Answer 1

return语句包含逗号运算符调用丢弃第一个表达式的结果（应该是分子）并且只用一个参数调用构造函数。您应该使用正确的初始化语法：

return Rational
(
    (lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator())
,   lhs.denominator() * rhs.denominator()
);

要么

return
{
    (lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator())
,   lhs.denominator() * rhs.denominator()
};

或更好）

return Rational
{
    (lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator())
,   lhs.denominator() * rhs.denominator()
};

Answer 2

这行导致你的错误：

return ((lhs.numerator() * rhs.denominator()) + (lhs.denominator() * rhs.numerator()), lhs.denominator() * rhs.denominator());

问题是它作为一个整体进行评估，它给你一个整数。然后将此整数提供给Rational类的隐式调用构造函数。请注意，此行使用逗号运算符。对于像a, b这样的代码，它首先评估a，丢弃结果，然后评估b并将结果保持为整体表达式的结果。这不是你想要的。