Why can't I use const when returning a reference?

user_397524 0
Viewed 132

For the sake of completeness, I want to provide me with a trivial unary + operator as well. The unary operators should be immutable, I think. If I make operator-() return a copy of the negated object, a statement -obj=other; (both obj and other are objects of type Complex) will not compile. However, if I make operator+() return the object itself, another statement +obj=other; will compile.

The problem is I cannot use const in the following snippet. What does the error mean?

Complex& operator+() const
{
    return *this;
}

enter image description here

Complete Code

class Complex
{
private:
    double re;
    double im;

public:

    // others are intentionally removed for the sake of simplicity
    Complex operator-() const
    {
        return Complex{-re,-im};
    }
    Complex& operator+() const
    {
        return *this;
    }
}
c++
3 Answers

You operator is marked const thus the *this is Complex const &. Your return type strips the const.

user_3410650

By declaring the function const , you in fact give a promise that this operation won't change the object's state .

In other words , this is now a const pointer ( aka a pointer to constant data ) , and thus by dereferencing it you get a const Complex& , something which is dropped when you assign that value to a non-const reference and thus the error .

user_152984370

You have to change your code to this:

const Complex& operator+() const {
    return *this;
}

When declaring a method with const, not only are you promising you won't touch any of the internal state of the object, you also promise that you will not return anything that can be used to change the internal state of the object

user_56628050
Related