std::optional<T>::or_else
template< class F > constexpr optional or_else( F&& f ) const&; | (1) | (с C++23) |
template< class F > constexpr optional or_else( F&& f ) &&; | (2) | (с C++23) |
Возвращает *this, если содержит значение. В противном случае, возвращает результат f.
Программа некорректна, если std::remove_cvref_t<std::invoke_result_t<F>> не совпадает с std::optional<T>.
1) Эквивалентно
return *this ? *this : std::forward<F>(f)();. Этот перегруз участвует в разрешении перегрузки только если оба std::copy_constructible<T> и std::invocable<F> моделируются.
2) Эквивалентно
return *this ? std::move(*this) : std::forward<F>(f)();. Этот перегруз участвует в разрешении перегрузки только если оба std::move_constructible<T> и std::invocable<F> моделируются.Параметры
| f | - | функция или объект Callable, возвращающий std::optional<T> |
Возвращаемое значение
*this или результат f, как описано выше.
Примечания
| Макрос проверки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_optional | 202110L | (C++23) |
Монадные операции в std::optional |
Пример
См. также
| возвращает содержащееся значение, если оно доступно, иначе другое значение (публичный член-функция) |
|
|
(C++23) | возвращает результат заданной функции от содержащегося значения, если оно существует, или пустой optional в противном случае (публичный член-функция) |
|
(C++23) | возвращает optional, содержащее преобразованное содержащееся значение, если оно существует, или пустой optional в противном случае (публичный член-функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/optional/or_else