Namespaces
Variants

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

    Depuis fr.cppreference.net
     
    C++
    Support du compilateur
    Libre et hébergé
    Langage
    Bibliothèque standard
    En-têtes de la bibliothèque standard
    Exigences nommées
    Macros de test de fonctionnalités (C++20)
    Bibliothèque de support du langage
    Bibliothèque de concepts (C++20)
    Bibliothèque de diagnostic
    Bibliothèque de gestion de la mémoire
    Bibliothèque de métaprogrammation (C++11)
    Bibliothèque d'utilitaires généraux
    Bibliothèque de conteneurs
    Bibliothèque d'itérateurs
    Bibliothèque de plages (C++20)
    Bibliothèque d'algorithmes
    Bibliothèque de chaînes
    Bibliothèque de traitement de texte
    Bibliothèque numérique
    Bibliothèque de date et heure
    Bibliothèque d'entrée/sortie
    Bibliothèque de système de fichiers (C++17)
    Bibliothèque de support de la concurrence (C++11)
    Bibliothèque de contrôle d'exécution (C++26)
    Spécifications techniques
    Index des symboles
    Bibliothèques externes
     
    Bibliothèque d'utilitaires
    Support du langage
    Support des types (types de base, RTTI)
    Macros de test de fonctionnalités de la bibliothèque (C++20)
    Utilitaires de programme
    Fonctions variadiques
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Support des coroutines (C++20)
    Support des contrats (C++26)
    Comparaison à trois voies
    (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)

    Utilitaires généraux
    Opérateurs relationnels (obsolète en C++20)
     
    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, laquelle est initialisée avec la valeur inattendue de *this.

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

    Étant donné le type U comme :

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

    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)