Unary Operator Overloading

[divBaral]

Why is this compiled?
(EDIT: in line no 24)
Isn't c++ is rval? even if it is lval it is not assigned to 4.

 #include <iostream>
using namespace std;
class Counter
{

private:
	int val;
public:
	Counter(int x=0):val(x){}
	Counter operator++(int)
	{
		val++;
		return *this;
	}
	void show()
	{
		cout << val;
	}

};
int main()
{
	Counter c ;
	c++ = 4;
	c.show();
}

[malibor]

Note that Counter operator++(int) is not the same thing as Counter operator++()

One is precondition increment and the other is postcondition increment.
This means you need increment val after return *this in postcondition increment operator

For example:

Counter operator++(int)
{
	Counter temp = *this;
        ++val;
        return temp;
}

[divBaral]

Ok, but my question is why line no 24 works?

[malibor]

On line 24 you assigned number 4 to temporary Counter object that is destroyed on same line.

It works but number 4 is not assigned to the actual Counter object that you have declared on line 23.

It would be assigned 4 for real if operator++ would return a reference to *this, however it returns a temporary unnamed object.

[divBaral]

Thank you, but isn't that temporary Counter rvalue? Why so?

[malibor]

temporary Counter object is an xvalue which means "expiring value", which means a value which is about to be destroyed.

That temporary object is also rvalue which is a value you can't take address of.

Note that xvalue can be either glvalue or rvalue, and in this case it is rvalue.

[divBaral]

thanks