Namespaces
Variants

std::optional<T>:: or_else

From cppreference.net
C++
Utilities library
std::optional
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

Пример

Запустить этот код 
#include <iostream>
#include <optional>
#include <string>
int main()
{
    using maybe_int = std::optional<int>;
    auto valueless = []
    {
        std::cout << "Valueless: ";
        return maybe_int{0};
    };
    maybe_int x;
    std::cout << x.or_else(valueless).value() << '\n';
    x = 42;
    std::cout << "Has value: ";
    std::cout << x.or_else(valueless).value() << '\n';
    x.reset();
    std::cout << x.or_else(valueless).value() << '\n';
}

Вывод: 

Valueless: 0
Has value: 42
Valueless: 0

Смотрите также

возвращает содержащееся значение, если оно доступно, иначе другое значение
(публичная функция-член)
(C++23)
возвращает результат заданной функции для содержащегося значения, если оно существует, или пустой optional в противном случае
(публичная функция-член)
(C++23)
возвращает optional , содержащий преобразованное значение, если оно существует, или пустой optional в противном случае
(публичная функция-член)