Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
Modèle principal
template < class F >
constexpr auto and_then ( F && f ) & ;
(1) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) const & ;
(2) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) && ;
(3) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) const && ;
(4) (depuis C++23)
void Spécialisation partielle
template < class F >
constexpr auto and_then ( F && f ) & ;
(5) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) const & ;
(6) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) && ;
(7) (depuis C++23)
template < class F >
constexpr auto and_then ( F && f ) const && ;
(8) (depuis C++23)

Si * this représente une valeur attendue, invoque f et retourne son résultat. Sinon, retourne un objet std::expected qui contient une valeur inattendue, initialisée avec la valeur inattendue de * this .

1-4) f est appelée avec la valeur attendue val comme argument.
5-8) f est appelée sans aucun argument.

Étant donné le type U comme suit :

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 n'est pas une spécialisation de std::expected , ou si std:: is_same_v < U :: error_type , E > est false , le programme est mal formé.

1,2) Ces surcharges participent à la résolution de surcharge uniquement si std:: is_constructible_v < E, decltype ( error ( ) ) > est true .
3,4) Ces surcharges participent à la résolution de surcharge seulement si std:: is_constructible_v < E, decltype ( std :: move ( error ( ) ) ) > est true .
5,6) Ces surcharges participent à la résolution de surcharge uniquement si std:: is_constructible_v < E, decltype ( error ( ) ) > est true .
7,8) Ces surcharges participent à la résolution de surcharge seulement si std:: is_constructible_v < E, decltype ( std :: move ( error ( ) ) ) > est true .

Table des matières

Paramètres

f - une fonction appropriée ou Callable qui retourne un std::expected

Valeur de retour

Surcharge Valeur 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 ( ) ) )

Notes

Macro de test de fonctionnalité Valeur Std Fonctionnalité
__cpp_lib_expected 202211L (C++23) Fonctions monadiques pour std::expected

Exemple

Cette section est incomplète
Raison : aucun exemple

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Appliqué à Comportement publié Comportement corrigé
LWG 3938 C++23 la valeur attendue était obtenue par value ( ) [1] modifié en ** this
LWG 3973 C++23 la valeur attendue était obtenue par ** this [2] modifié en val
  1. ↑ value() nécessite que E soit copiable (voir LWG issue 3843 ), alors que operator* ne le nécessite pas.
  2. ↑ ** this peut déclencher la recherche dépendante des arguments .

Voir aussi

(C++23)
étiquette de construction in-place pour la valeur inattendue dans expected
(étiquette)
retourne un expected contenant la valeur attendue transformée si elle existe ; sinon, retourne le expected lui-même
(fonction membre publique)