Namespaces
Variants

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

    De es.cppreference.net
     
    C++
    Soporte del compilador
    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 del 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 del lenguaje
    Soporte de tipos (tipos básicos, RTTI)
    Macros de prueba de características de la biblioteca (C++20)
    Utilidades del programa
    Funciones variádicas
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Soporte de corrutinas (C++20)
    Soporte de contratos (C++26)
    Comparación de tres vías
    (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 and_then( F&& f ) &;
    		(1) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(2) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(3) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(4) (desde C++23)
    void especialización parcial
    		 
    template< class F >
constexpr auto and_then( F&& f ) &;
    		(5) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(6) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(7) (desde C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(8) (desde C++23)

    Si *this representa un valor esperado, invoca f y devuelve su resultado. En caso contrario, devuelve un objeto std::expected que contiene un valor inesperado, el cual se inicializa con el valor inesperado de *this.

    1-4) f se invoca con el valor esperado val como argumento.
    5-8) f se invoca sin ningún argumento.

    Dado el tipo U como:

    1,2) std::remove_cvref_t<std::invoke_result_t<F, decltype((val))>>
    3,4) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(val))>>
    5-8) std::remove_cvref_t<std::invoke_result_t<F>>

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

    1,2) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<E, decltype(error())> es true.
    3,4) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<E, decltype(std::move(error()))> es true.
    5,6) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<E, decltype(error())> es true.
    7,8) Estas sobrecargas participan en la resolución de sobrecargas solo si std::is_constructible_v<E, decltype(std::move(error()))> es true.

    Parámetros

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

    Valor de retorno

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

    Notas

    Macro de prueba de características Valor Std 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 de C++ publicados anteriormente.

    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 argumentos .

    Véase también

    (C++23)
    		etiqueta de construcción in-situ para valor inesperado en expected
    (etiqueta)
    		devuelve un expected que contiene el valor esperado transformado si existe; de lo contrario, devuelve el propio expected
    (función miembro pública)