Namespaces
Variants

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

    Depuis fr.cppreference.net
     
    C++
    Support du compilateur
    Autonome 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 dates et heures
    Bibliothèque d'entrée/sortie
    Bibliothèque du 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 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 transform_error( F&& f ) &;
    		(1) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&;
    		(2) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) &&;
    		(3) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&&;
    		(4) (depuis C++23)
    void spécialisation partielle
    		 
    template< class F >
constexpr auto transform_error( F&& f ) &;
    		(5) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&;
    		(6) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) &&;
    		(7) (depuis C++23) 
    template< class F >
constexpr auto transform_error( F&& f ) const&&;
    		(8) (depuis C++23)

    Si *this contient une valeur inattendue, invoque f avec la valeur inattendue de *this comme argument et renvoie un objet std::expected qui contient une valeur inattendue, lequel est initialisé avec le résultat de f. Sinon, renvoie un objet std::expected qui représente une valeur attendue.

    1-4) La valeur attendue est initialisée avec la valeur attendue val de *this.

    Étant donné le type G comme :

    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 l'une des conditions suivantes est satisfaite, le programme est mal formé :

    • G n'est pas un argument de modèle valide pour std::unexpected.
    • La déclaration correspondante suivante est mal formée :
    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) Cette surcharge participe à la résolution de surcharge seulement si std::is_constructible_v<T, decltype((val))> est true.
    3,4) Cette surcharge participe à la résolution de surcharge seulement si std::is_constructible_v<T, decltype(std::move(val))> est true.

    Paramètres

    f - une fonction appropriée ou Callable objet dont la signature d'appel retourne un type non-référence

    Valeur de retour

    Expression donnée expr comme :

    1,2) std:: invoke ( std:: forward < F > ( f ) , erreur ( ) )
    3,4) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
    5,6) std:: invoke ( std:: forward < F > ( f ) , erreur ( ) )
    7,8) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

    Les valeurs de retour sont définies comme suit :

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

    Notes

    Macro de test de fonctionnalité Valeur Norme 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 Applicable à 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 une recherche dépendante des arguments .

    Voir aussi

    		retourne l' expected lui-même s'il contient une valeur attendue ; sinon, retourne le résultat de la fonction donnée sur la valeur inattendue
    (fonction membre publique)
    		retourne un expected contenant la valeur attendue transformée si elle existe ; sinon, retourne l' expected lui-même
    (fonction membre publique)