Namespaces
Variants

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

    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 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 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
     
    template< class F >
constexpr auto transform( F&& f ) &;
    		(1) (desde C++23) 
    template< class F >
constexpr auto transform( F&& f ) const&;
    		(2) (desde C++23) 
    template< class F >
constexpr auto transform( F&& f ) &&;
    		(3) (desde C++23) 
    template< class F >
constexpr auto transform( F&& f ) const&&;
    		(4) (desde C++23)

    Si *this contiene un valor esperado, invoca a f y devuelve un objeto std::expected que contiene su resultado; en caso contrario, devuelve un objeto std::expected que contiene una copia de error().

    Si T no es (posiblemente cv-cualificado) void, el valor contenido (operator*()) se pasa como argumento a f; en caso contrario, f no toma argumentos.

    Sea U:

    • si T no es (posiblemente cv-cualificado) void:
      • para las sobrecargas (1-2), std::remove_cv_t<std::invoke_result_t<F, decltype(operator*())>>;
      • para las sobrecargas (3-4), std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(operator*()))>>;
    • en caso contrario (T es posiblemente cv-cualificado void), std::remove_cv_t<std::invoke_result_t<F>>.

    U debe ser un tipo de valor válido para std::expected. Se debe poder construir una variable de tipo U a partir del resultado de la invocación (pero no necesita ser movible-construible). El tipo de retorno es std::expected<U, E>.

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

    Formalmente, estas funciones realizan los siguientes pasos:

    • Si *this contiene un valor esperado val:
    1. Invoca a f como si fuera
      • std::invoke(std::forward<F>(f), val) para las sobrecargas (1,2) si std::is_void_v<T> es false;
      • std::invoke(std::forward<F>(f), std::move(val)) para las sobrecargas (3,4) si std::is_void_v<T> es false;
      • std::invoke(std::forward<F>(f)) si std::is_void_v<T> es true.
    2. Entonces:
      • si std::is_void_v<U> es false, devuelve un objeto std::expected que contiene un valor esperado, inicializado directamente desde el resultado de la invocación;
      • en caso contrario, devuelve std::expected<U, E>().
    • En caso contrario (*this contiene un valor de error), devuelve std::expected<U, E>(std::unexpect, error()).

    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 ) , val )
    3,4) std:: invoke ( std:: forward < F > ( f ) ,std :: move ( val ) )
    5-8) std:: invoke ( std:: forward < F > ( f ) )

    Los valores de retorno se definen de la siguiente manera:

    Sobrecarga Valor de has_value()
    true false
    ( 1,2 ) std:: expected < U, E > ( std:: unexpect , error ( ) )
    ( 3,4 ) std:: expected < U, E >
    ( std:: unexpect , std :: move ( error ( ) ) )
    ( 5,6 ) std:: expected < U, E > ( std:: unexpect , error ( ) )
    ( 7,8 ) std:: expected < U, E >
    ( std:: unexpect , 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 de C++ publicados anteriormente.

    DR Se aplica 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 un expected que contiene el valor inesperado transformado
    (función miembro pública)