Namespaces
Variants

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

From cppreference.net
C++
Utilities library
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. De lo contrario, retorna 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 sobrecarga solo si std:: is_constructible_v < E, decltype ( error ( ) ) > es true .
3,4) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_constructible_v < E, decltype ( std :: move ( error ( ) ) ) > es true .
5,6) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_constructible_v < E, decltype ( error ( ) ) > es true .
7,8) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_constructible_v < E, decltype ( std :: move ( error ( ) ) ) > es true .

Contenidos

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)