Namespaces
Variants

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

    Aus de.cppreference.net
     
    C++
     
    Hilfsmittelbibliothek
    Sprachunterstützung
    Typunterstützung (Basistypen, RTTI)
    Bibliotheks-Feature-Test-Makros (C++20)
    Programmhilfsmittel
    Variadische Funktionen
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Koroutinen-Unterstützung (C++20)
    Vertragsunterstützung (C++26)
    Drei-Wege-Vergleich
    (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)

    Allgemeine Hilfsmittel
    Relationale Operatoren (veraltet in C++20)
    Funktionen zum Ganzzahlvergleich
    (C++20)(C++20)(C++20)    
    (C++20)
    Tausch- und Typoperationen
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    Gebräuchliche Vokabular-Typen
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::expected
     
    Primäre Schablone
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(1) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(2) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(3) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(4) (seit C++23)
    void partielle Spezialisierung
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(5) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(6) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(7) (seit C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(8) (seit C++23)

    Falls *this einen unerwarteten Wert enthält, wird f mit dem unerwarteten Wert von *this als Argument aufgerufen und das Ergebnis zurückgegeben. Andernfalls wird ein std::expected-Objekt zurückgegeben, das einen erwarteten Wert darstellt.

    1-4) Der erwartete Wert wird mit dem erwarteten Wert val von *this initialisiert.

    Gegeben sei Typ G als:

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

    Falls G keine Spezialisierung von std::expected ist oder std::is_same_v<G::value_type, T> false ist, ist das Programm fehlerhaft.

    1,2) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<T, decltype((val))> true ist.
    3,4) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<T, decltype(std::move(val))> true ist.

    Parameter

    f - eine geeignete Funktion oder Callable Objekt, das einen std::expected zurückgibt

    Rückgabewert

    Überladung Wert von 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 ( ) ) )

    Hinweise

    Feature-Test Makro Wert Std Funktion
    __cpp_lib_expected 202211L (C++23) Monadische Funktionen für std::expected

    Beispiel

    Dieser Abschnitt ist unvollständig
    Grund: Kein Beispiel

    Fehlerberichte

    Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

    DR Angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
    LWG 3938 C++23 der erwartete Wert wurde durch value ( ) [1] erhalten geändert zu ** this
    LWG 3973 C++23 der erwartete Wert wurde durch ** this [2] erhalten geändert zu val
    1. ↑ value() erfordert, dass E kopierkonstruierbar ist (siehe LWG-Issue 3843 ), während operator* dies nicht tut.
    2. ↑ ** this kann argumentabhängige Namenssuche auslösen.

    Siehe auch

    		gibt das expected selbst zurück, falls es einen erwarteten Wert enthält; andernfalls gibt es ein expected zurück, das den transformierten unerwarteten Wert enthält
    (öffentliche Mitgliedsfunktion)