Namespaces
Variants

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

From cppreference.net
C++
Utilities library
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)

Wenn * this einen erwarteten Wert repräsentiert, ruft es f auf und gibt dessen Ergebnis zurück. Andernfalls gibt es ein std::expected -Objekt zurück, das einen unerwarteten Wert enthält, der 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.

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

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

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

Inhaltsverzeichnis

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)