Namespaces
Variants

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

    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 funcionalidades (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 funcionalidades 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 a 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 primaria
    		 
    template< class F >
constexpr auto transform_error( F&& f ) &;
    		(1) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&;
    		(2) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) &&;
    		(3) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&&;
    		(4) (desde C++23)
    void especialización parcial
    		 
    template< class F >
constexpr auto transform_error( F&& f ) &;
    		(5) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&;
    		(6) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) &&;
    		(7) (desde C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&&;
    		(8) (desde C++23)

    Si *this contiene un valor inesperado, invoca a f con el valor inesperado de *this como argumento y devuelve un objeto std::expected que contiene un valor inesperado, inicializado con el resultado de f. En caso 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_cv_t<std::invoke_result_t<F, decltype(error())>>
    3,4) std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(error()))>>
    5,6) std::remove_cv_t<std::invoke_result_t<F, decltype(error())>>
    7,8) std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(error()))>>

    Si se cumple alguna de las siguientes condiciones, el programa está mal formado:

    • G no es un argumento de plantilla válido para std::unexpected.
    • La siguiente declaración correspondiente está mal formada:
    1,2) G g(std::invoke(std::forward<F>(f), error()));
    3,4) G g(std::invoke(std::forward<F>(f), std::move(error()));
    5,6) G g(std::invoke(std::forward<F>(f), error()));
    7,8) G g(std::invoke(std::forward<F>(f), std::move(error()));


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

    Parámetros

    f - una función adecuada u Callable objeto cuya firma de llamada retorna un tipo que no es referencia

    Valor de retorno

    Dada la expresión expr como:

    1,2) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    3,4) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
    5,6) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    7,8) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

    Los valores de retorno se definen de la siguiente manera:

    Sobrecarga Valor de has_value()
    true false
    ( 1,2 ) std:: expected < T, G > ( std:: in_place , val ) std:: expected < T, G >
    ( std:: unexpect , expr )
    ( 3,4 ) std:: expected < T, G > ( std:: in_place , std :: move ( val ) )
    ( 5,6 ) std:: expected < T, G > ( )
    ( 7,8 )

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

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