Namespaces
Variants

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

    De es.cppreference.net
     
    C++
    Soporte de compiladores
    Independiente y alojado
    Lenguaje
    Biblioteca estándar
    Encabezados de la biblioteca estándar
    Requisitos nombrados
    Macros de prueba de características (C++20)
    Biblioteca de soporte de lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnóstico
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de utilidades generales
    Biblioteca de contenedores
    Biblioteca de iteradores
    Biblioteca de rangos (C++20)
    Biblioteca de algoritmos
    Biblioteca de cadenas
    Biblioteca de procesamiento de texto
    Biblioteca numérica
    Biblioteca de fecha y hora
    Biblioteca de entrada/salida
    Biblioteca del sistema de archivos (C++17)
    Biblioteca de soporte de concurrencia (C++11)
    Biblioteca de control de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de utilidades
    Soporte de lenguaje
    Soporte de tipos (tipos básicos, RTTI)
    Macros de prueba de características de la biblioteca (C++20)
    Utilidades de programa
    Funciones variádicas
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Soporte de corrutinas (C++20)
    Soporte de contratos (C++26)
    Comparación tripartita
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Utilidades generales
    Operadores relacionales (obsoleto en C++20)
     
    std::expected
     
    Plantilla principal
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(1) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(2) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(3) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(4) (desde C++23)
    void especialización parcial
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(5) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(6) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(7) (desde C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(8) (desde C++23)

    Si *this contiene un valor inesperado, invoca f con el valor inesperado de *this como argumento y devuelve su resultado. De lo contrario, devuelve un objeto std::expected que representa un valor esperado.

    1-4) El valor esperado se inicializa con el valor esperado val de *this.

    Dado el tipo G como:

    1,2) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    3,4) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>
    5,6) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    7,8) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>

    Si G no es una especialización de std::expected, o std::is_same_v<G::value_type, T> es false, el programa está mal formado.

    1,2) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<T, decltype((val))> es true.
    3,4) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<T, decltype(std::move(val))> es true.

    Parámetros

    f - una función adecuada u Callable objeto que retorna un std::expected

    Valor de retorno

    Sobrecarga Valor de has_value()
    true false
    ( 1,2 ) G ( std:: in_place , val ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 3,4 ) G ( std:: in_place , std :: move ( val ) ) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
    ( 5,6 ) G ( ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 7,8 ) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

    Notas

    Macro de prueba de características Valor Estándar Característica
    __cpp_lib_expected 202211L (C++23) Funciones monádicas para std::expected

    Ejemplo

    Esta sección está incompleta
    Razón: sin ejemplo

    Informes de defectos

    Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

    DR Aplicado a Comportamiento publicado Comportamiento correcto
    LWG 3938 C++23 el valor esperado se obtenía mediante value ( ) [1] cambiado a ** this
    LWG 3973 C++23 el valor esperado se obtenía mediante ** this [2] cambiado a val
    1. ↑ value() requiere que E sea copiable (ver LWG issue 3843 ), mientras que operator* no lo requiere.
    2. ↑ ** this puede activar la búsqueda dependiente de argumento .

    Véase también

    		retorna el propio expected si contiene un valor esperado; de lo contrario, retorna un expected que contiene el valor inesperado transformado
    (función miembro pública)