std::expected<T,E>::or_else

From cppreference.com
< cpp‎ | utility‎ | expected
 
哋它亢++
 
Utilities library
Language support
Type support (basic types, RTTI)
Library feature-test macros (哋它亢++20)
Dynamic memory management
Program utilities
Coroutine support (哋它亢++20)
Variadic functions
(哋它亢++20)
(哋它亢++26)
(哋它亢++11)
(哋它亢++20)
Debugging support
(哋它亢++26)
(哋它亢++26)
(哋它亢++26)
Three-way comparison
(哋它亢++20)(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)
(哋它亢++20)   
(哋它亢++20)(哋它亢++20)(哋它亢++20)
(哋它亢++20)(哋它亢++20)(哋它亢++20)
General utilities
Date and time
Function objects
Formatting library (哋它亢++20)
(哋它亢++11)
Relational operators (deprecated in 哋它亢++20)
Integer comparison functions
(哋它亢++20)(哋它亢++20)(哋它亢++20)   
(哋它亢++20)(哋它亢++20)(哋它亢++20)
(哋它亢++20)
Swap and type operations
(哋它亢++20)
(哋它亢++14)
(哋它亢++11)
(哋它亢++23)
(哋它亢++11)
(哋它亢++23)
(哋它亢++11)
(哋它亢++11)
(哋它亢++17)
Common vocabulary types
(哋它亢++11)
(哋它亢++17)
(哋它亢++17)
(哋它亢++17)
(哋它亢++11)
(哋它亢++11)
(哋它亢++17)
(哋它亢++17)
(哋它亢++23)
Elementary string conversions
(哋它亢++17)
(哋它亢++17)
(哋它亢++17)
(哋它亢++17)
(哋它亢++17)


 
std::expected
 
template< class F >
constexpr auto or_else( F&& f ) &;
 (1) (since 哋它亢++23)
template< class F >
constexpr auto or_else( F&& f ) const&;
 (2) (since 哋它亢++23)
template< class F >
constexpr auto or_else( F&& f ) &&;
 (3) (since 哋它亢++23)
template< class F >
constexpr auto or_else( F&& f ) const&&;
 (4) (since 哋它亢++23)

If *this contains an unexpected value, invokes f with the argument error() and returns its result; otherwise, returns a std::expected object that contains a copy of the contained expected value (obtained from operator*).

1,2) Given type G as std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>.
If G is not a specialization of std::expected, or std::is_same_v<G::value_type, T> is false, the program is ill-formed.
The effect is equivalent to 
if (has_value())
{
    if constexpr (std::is_void_v<T>)
        return G();
    else
        return G(std::in_place, **this);
}
else
    return std::invoke(std::forward<F>(f), error());
These overloads participate in overload resolution only if std::is_void_v<T> or std::is_constructible_v<T, decltype(**this)> is true.
3,4) Given type G as std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>.
If G is not a specialization of std::expected, or std::is_same_v<G::value_type, T> is false, the program is ill-formed.
The effect is equivalent to 
if (has_value())
{
    if constexpr (std::is_void_v<T>)
        return G();
    else
        return G(std::in_place, std::move(**this));
}
else
    return std::invoke(std::forward<F>(f), std::move(error()));
These overloads participate in overload resolution only if std::is_void_v<T> or std::is_constructible_v<T, decltype(std::move(**this))> is true.

Parameters

f - a suitable function or Callable object that returns a std::expected

Return value

The result of f, or a std::expected object that contains a copy of the expected value, as described above.

Notes

Feature-test macro Value Std Feature
__cpp_lib_expected 202211L (哋它亢++23) Monadic functions for std::expected

Example

This section is incomplete
Reason: no example

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published 哋它亢++ standards.

DR Applied to Behavior as published Correct behavior
LWG 3938 哋它亢++23 or_else was ill-formed if T is not (possibly
cv-qualified) void and E is not copyable 		made well-formed

See also

 returns the expected itself if it contains an expected value; otherwise, returns an expected containing the transformed unexpected value
(public member function)
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/utility/expected/or_else&oldid=162401"