View source for cpp/language/return

===Explanation===
@1@ Evaluates the {{spar|expression}}, terminates the current function and returns the result of the {{spar|expression}} to the caller, after {{rlp|implicit cast|implicit conversion}} to the function return type. The {{spar|expression}} is optional in functions whose return type is (possibly cv-qualified) {{c/core|void}}, and disallowed in constructors and in destructors.

@2@ Uses {{rlp|list initialization|copy-list-initialization}} to construct the return value of the function.

@3,4@ In a coroutine, the keyword {{lc|co_return}} must be used instead of {{lc|return}} for the final suspension point (see {{rlp|coroutines}} for details).

{{rrev multi
|rev1=
There is a {{rlp|eval order#Sequence point rules (until C++11)|sequence point}} between the copy-initialization of the result of the function call and the destruction of all temporaries at the end of {{spar|expression}}.
|since2=c++11|rev2=
The copy-initialization of the result of the function call is {{rlp|eval order|sequenced-before}} the destruction of all temporaries at the end of {{spar|expression}}, which, in turn, is ''sequenced-before'' the destruction of local variables of the block enclosing the return statement.
}}

{{rrev|since=c++26|
If the return type of the function is a reference type and a {{c/core|return}} statement {{v|1,2}} binds the returned reference to the result of a [[cpp/language/reference initialization#Lifetime of a temporary|temporary expression]], the program is ill-formed.
}}

If control reaches the end of
* a function with the return type (possibly cv-qualified) {{c/core|void}},
* a constructor,
* a destructor, or
* a {{rlp|try#Function try block|function {{c/core|try}} block}} for a function with the return type (possibly cv-qualified) {{c/core|void}}
without encountering a return statement, {{c|return;}} is executed.

If control reaches the end of the {{rlp|main function|{{tt|main}} function}}, {{c|return 0;}} is executed.

Flowing off the end of a value-returning function, except the {{tt|main}} function{{rev inl|since=c++20| and specific {{rlp|coroutines}}}}, without a return statement is undefined behavior.

In a function returning (possibly cv-qualified) {{c/core|void}}, the return statement with {{spar|expression}} can be used, if the expression type is (possibly cv-qualified) {{c/core|void}}.

{{rrev|since=c++14|
If the return type of a function is specified as a {{rlp|auto|placeholder type}}, it will be {{rlp|function#Return type deduction|deduced}} from the return value.
}}