Namespaces
Variants

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

    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 diagnostics
    Bibliothèque de gestion 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 des 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 triadique
    (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 (déprécié en C++20)
     
    std::expected
     
    Gabarit principal
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(1) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(2) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(3) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(4) (depuis C++23)
    void spécialisation partielle
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(5) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(6) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(7) (depuis C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(8) (depuis C++23)

    Si *this contient une valeur inattendue, invoque f avec la valeur inattendue de *this comme argument et retourne son résultat. Sinon, retourne 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.

    Le type G étant :

    1,2) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    3,4) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>
    5,6) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    7,8) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>

    Si G n'est pas une spécialisation de std::expected, ou que std::is_same_v<G::value_type, T> est false, le programme est mal formé.

    1,2) Ces surcharges ne participent à la résolution de surcharge que si std::is_constructible_v<T, decltype((val))> est true.
    3,4) Ces surcharges ne participent à la résolution de surcharge que si std::is_constructible_v<T, decltype(std::move(val))> est true.

    Paramètres

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

    Valeur de retour

    Surcharge Valeur de has_value()
    true false
    ( 1,2 ) G ( std:: in_place , val ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 3,4 ) G ( std:: in_place , std :: move ( val ) ) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
    ( 5,6 ) G ( ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 7,8 ) std:: invoke ( std:: forward < F > ( f ) , 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 une recherche dépendante des arguments .

    Voir aussi

    		retourne l' expected lui-même s'il contient une valeur attendue ; sinon, retourne un expected contenant la valeur inattendue transformée
    (fonction membre publique)