Namespaces
Variants

std::optional<T>:: or_else

From cppreference.net
Utilities library
template < class F >
constexpr optional or_else ( F && f ) const & ;
(1) (desde C++23)
template < class F >
constexpr optional or_else ( F && f ) && ;
(2) (desde C++23)

Devuelve * this si contiene un valor. De lo contrario, devuelve el resultado de f .

El programa está mal formado si std:: remove_cvref_t < std:: invoke_result_t < F >> no es igual a std:: optional < T > .

1) Equivalente a return * this ? * this : std:: forward < F > ( f ) ( ) ; . Esta sobrecarga participa en la resolución de sobrecarga solo si tanto std:: copy_constructible < T > como std:: invocable < F > están modelados.
2) Equivalente a return * this ? std :: move ( * this ) : std:: forward < F > ( f ) ( ) ; . Esta sobrecarga participa en la resolución de sobrecarga solo si ambos std:: move_constructible < T > y std:: invocable < F > están modelados.

Contenidos

Parámetros

f - una función u Callable objeto que devuelve un std:: optional < T >

Valor de retorno

* this o el resultado de f , como se describió anteriormente.

Notas

Macro de prueba de características Valor Estándar Característica
__cpp_lib_optional 202110L (C++23) Operaciones mónadicas en std::optional

Ejemplo

#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';
}

Salida:

Valueless: 0
Has value: 42
Valueless: 0

Véase también

devuelve el valor contenido si está disponible, otro valor en caso contrario
(función miembro pública)
(C++23)
devuelve el resultado de la función dada sobre el valor contenido si existe, o un optional vacío en caso contrario
(función miembro pública)
(C++23)
devuelve un optional que contiene el valor contenido transformado si existe, o un optional vacío en caso contrario
(función miembro pública)