C++ operator overloading return

Question

In this code:

RationalNum operator+(const RationalNum& left, const RationalNum& right) {
 RationalNum temp;
 /*code here*/
 return temp;
}

How can it return a RationalNum object if the object is "deleted" from the stack when this function exits?

• drescherjm: Make sure your RationalNum class follows the rule of 3 /5 /0.
• Mohammad Kanan: @FredyR4zox, objects are not deleted in stack, but they are destructed when they are out of scope?
• Henri Menke: Cannot reproduce wandbox.org/permlink/BpySBdLYWcvRYBn0
• PaulMcKenzie: How can it return a RationalNum object if the object is "deleted" -- The same way that int foo() { int i = 10; return i;} returns 10, even though "i" is "deleted".
• Fred Larson: Since this is a by-value return, there's no problem here. In fact, with NRVO, chances are good that temp will never actually be created in the function's stack frame at all. If you were returning a pointer or reference, you'd be in deep doo doo.

Answer 1

It is because the return value is copied (if necessary) before local variables are destroyed. And destroying the returned object is the duty of the calling function.

The returned object is constructed at the point of the return statement but the destruction of locals is left until the end of the block (which comes after the return).

• M.M: Note that this is a copy elision context
• Drew Dormann: "copied" or "moved" or "constructed elsewhere on the stack, because it is known the variable will be returned".
• FredyR4zox: Thank you all :) I understood :)