Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
Plantilla principal
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 f con el valor inesperado de * this como argumento y retorna un objeto std::expected que contiene un valor inesperado, el cual se inicializa con el resultado de f . De lo contrario, retorna 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 satisface cualquiera 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 .

Contenidos

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 )

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)