OUTCOME_CO_TRYV2(spec, expr)

Evaluate an expression which results in a type matching the following customisation points, continuing execution if successful, immediately returning try_operation_return_as(X) from the calling function if unsuccessful:

• OUTCOME_V2_NAMESPACE::try_operation_has_value(X)
• OUTCOME_V2_NAMESPACE::try_operation_return_as(X)
• OUTCOME_V2_NAMESPACE::try_operation_extract_value(X)

Default overloads for these customisation points are provided. See the recipe for supporting foreign input to OUTCOME_TRY.

Hints are given to the compiler that the expression will be successful. If you expect failure, you should use OUTCOME_TRYV2_FAILURE_LIKELY(spec, expr) instead.

Overridable: Not overridable.

Definition: Firstly the expression’s temporary is bound to a uniquely named, stack allocated, spec. If that reference’s bound object’s try_operation_has_value() is false, immediately execute return try_operation_return_as(propagated unique reference);, propagating the rvalue/lvalue/etc-ness of the original expression.

Header: <outcome/try.hpp>