Namespaces
Variants

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

    Aus de.cppreference.net
     
    C++
     
    Hilfsmittelbibliothek
    Sprachunterstützung
    Typunterstützung (Grundlegende Typen, RTTI)
    Feature-Test-Makros der Bibliothek (C++20)
    Programmhilfsmittel
    Variate Funktionen
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Koroutinenunterstü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
    Relationsoperatoren (veraltet in C++20)
     
    std::expected
     
    Haupttemplate
    		 
    template< class F >
constexpr auto and_then( F&& f ) &;
    		(1) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(2) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(3) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(4) (seit C++23)
    void Partielle Spezialisierung
    		 
    template< class F >
constexpr auto and_then( F&& f ) &;
    		(5) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(6) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(7) (seit C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(8) (seit C++23)

    Falls *this einen erwarteten Wert darstellt, ruft f auf und gibt dessen Ergebnis zurück. Andernfalls gibt es ein std::expected-Objekt zurück, das einen unerwarteten Wert enthält, welcher mit dem unerwarteten Wert von *this initialisiert wird.

    1-4) f wird mit dem erwarteten Wert val als Argument aufgerufen.
    5-8) f wird ohne Argument aufgerufen.

    Gegeben sei der Typ U als:

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

    Falls U keine Spezialisierung von std::expected ist, oder std::is_same_v<U::error_type, E> false ist, ist das Programm fehlerhaft.

    1,2) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<E, decltype(error())> true ist.
    3,4) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<E, decltype(std::move(error()))> true ist.
    5,6) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<E, decltype(error())> true ist.
    7,8) Diese Überladungen nehmen nur an der Überladungsauflösung teil, wenn std::is_constructible_v<E, decltype(std::move(error()))> 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 ) 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 ( ) ) )

    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 Korrektes 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 argument-dependent lookup auslösen.

    Siehe auch

    (C++23)
    		In-Place-Konstruktions-Tag für unerwartete Werte in expected
    (Tag)
    		gibt ein expected mit dem transformierten erwarteten Wert zurück, falls vorhanden; andernfalls gibt es das expected selbst zurück
    (öffentliche Member-Funktion)