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

template< class F > constexpr auto or_else( F&& f ) &;	(1)	(since C++23)
template< class F > constexpr auto or_else( F&& f ) const&;	(2)	(since C++23)
template< class F > constexpr auto or_else( F&& f ) &&;	(3)	(since C++23)
template< class F > constexpr auto or_else( F&& f ) const&&;	(4)	(since C++23)

Если *this содержит неожидаемое значение, вызывает f с аргументом error() и возвращает его результат; в противном случае возвращает объект std::expected, содержащий копию содержащегося ожидаемого значения (полученного из operator*).

1,2) Дано тип G как std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>.

Если G не является специализацией std::expected, или std::is_same_v<G::value_type, T> является false, программа является некорректной.

Эффект эквивалентен

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());

Эти перегрузки участвуют в разрешении перегрузки только если std::is_void_v<T> или std::is_constructible_v<T, decltype(**this)> является true.

3,4) Дано тип G как std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>.

Эффект эквивалентен

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()));

Эти перегрузки участвуют в разрешении перегрузки только если std::is_void_v<T> или std::is_constructible_v<T, decltype(std::move(**this))> является true.

Параметры

f - подходящая функция или Callable объект, который возвращает std::expected

Возвращаемое значение

Результат f, или объект std::expected, содержащий копию ожидаемого значения, как описано выше.

Примечания

Макро-тест функции	Значение	Стандарт	Функция
`__cpp_lib_expected`	202211L	(C++23)	Моноидные функции для `std::expected`

Пример

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применяется к	Поведение, как опубликовано	Правильное поведение
LWG 3938	C++23	`or_else` была некорректной, если `T` не является (возможно cv-квалифицированным) void и `E` не является копируемым	сделано корректным

См. также

transform_error

возвращает сам expected, если он содержит ожидаемое значение; в противном случае возвращает expected, содержащий преобразованное неожидаемое значение
(общедоступный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/expected/or_else