I am just starting C++. I am a bit confused about the return type of assignment and dereference operator. I am following the book C++ Primer. At various occasions, the author says that the return type of assignment operator is reference to the type of left hand operand but later on, he says that the return type is the type of the left hand operand. I have referred C++11 Standard Sec. 5.17, where the return type is described as "lvalue referring to left hand operand".
Similarly, I can't figure out whether dereference returns the pointed-to object or the reference to the object.
Are these statements equivalent? If so, then how? Any explanation would be appreciated.
Best Answer
The standard correctly defines the return type of an assignment operator. Actually, the assignment operation itself doesn't depend on the return value - that's why the return type isn't straightforward to understanding.
The return type is important for chaining operations. Consider the following construction:
a = b = c;
. This should be equal toa = (b = c)
, i.e.c
should be assigned intob
andb
intoa
. Rewrite this asa.operator=(b.operator=(c))
. In order for the assignment intoa
to work correctly the return type ofb.operator=(c)
must be reference to the inner assignment result (it will work with copy too but that's just an unnecessary overhead).The dereference operator return type depends on your inner logic, define it in the way that suits your needs.