在 C++ 中重载复合赋值运算符不会改变变量

Question

为了更加熟悉 C++，我正在实现一个类来操作复数。

class Complex {
    private:
        double _real;
        double _imag;

    public:
        Complex();
        Complex(double real, double imag);
        Complex(const Complex& z);

        Complex operator+(const Complex& u) const;
        Complex operator+=(const Complex& u);
};

我已经重载了 + 运算符，它按预期工作：

Complex Complex::operator+(const Complex& u) const {
    Complex z(_real + u._real, _imag + u._imag);
    return z;
}

u=1-2i
v=2-1i
u+v=3-3i

另外，我还想重载+=：

Complex Complex::operator+=(const Complex& u) {
    Complex z(_real + u._real, _imag + u._imag);
    return z;
}

然而，这并没有按预期工作，u+=v 的结果是u=1-2i。为什么会这样？

Answer 1

您的复合赋值运算符创建一个新对象 z 而不是更改原始对象。

在类定义中声明操作符

Complex & operator+=(const Complex& u);

并通过以下方式定义它

Complex & Complex::operator+=(const Complex& u) {
    _real += u._real;
    _imag += u._imag;

    return *this;
}

运算符可以定义为非类友元函数。例如

class Complex {
    private:
        double _real;
        double _imag;

    public:
        Complex();
        Complex(double real, double imag);
        Complex(const Complex& z);

        Complex operator+(const Complex& u) const;
        friend Complex & operator+=(Complex &v, const Complex& u);
};
Complex & operator+=(Complex &v, const Complex& u)
{
    v._real += u._real;
    v._imag += u._imag;

    return v;
}

Answer 2

首先，类似赋值的操作符应该返回对赋值的引用。

其次，你的代码应该改变当前对象的值。

有几种解决方案：

Complex& Complex::operator+=(const Complex& u) {
    *this = Complex(_real + u._real, _imag + u._imag);
    return *this;
}

或者

Complex& Complex::operator+=(const Complex& u) {
    _real += u._real;
    _imag += u._imag;

    return *this;
}