Evaluate within a coroutine an expression which results in a type matching the following customisation points, assigning
T to a decl called
var if successful, immediately returning
from the calling function if unsuccessful:
Default overloads for these customisation points are provided. See the recipe for supporting foreign input to
Hints are given to the compiler that the expression will be successful. If you expect failure, you should use
An internal temporary to hold the value of the expression is created, which generally invokes a copy/move. If you wish to never copy/move, you can tell this macro to create the internal temporary as a reference instead.
Overridable: Not overridable.
for most of the mechanics.
var is initialised or assigned to the expression result’s
.assume_value() if available, else to its
.value(). This binds a reference possibly to the
T stored inside the bound result of the expression, but possibly also to a temporary emitted from the value observer function.
Legacy: Before Outcome v2.2,
var was always declared as an automatic rvalue ref. You can use the backwards compatibility macro
OUTCOME21_CO_TRY() if wish to retain the old behaviour.