std:: optional

Die Klassenvorlage std::optional verwaltet einen optionalen enthaltenen Wert, d.h. einen Wert, der vorhanden sein kann oder nicht.

Ein häufiger Anwendungsfall für optional ist der Rückgabewert einer Funktion, die fehlschlagen kann. Im Gegensatz zu anderen Ansätzen, wie std:: pair < T, bool > , optional behandelt aufwändig zu konstruierende Objekte gut und ist lesbarer, da die Absicht explizit ausgedrückt wird.

Jede Instanz von optional enthält zu jedem gegebenen Zeitpunkt entweder einen Wert oder enthält keinen Wert .

Wenn ein optional einen Wert enthält, ist garantiert, dass der Wert innerhalb des optional -Objekts geschachtelt ist. Daher modelliert ein optional -Objekt ein Objekt, nicht einen Zeiger, obwohl operator*() und operator->() definiert sind.

Wenn ein Objekt vom Typ optional<T> kontextuell zu bool konvertiert wird , gibt die Konvertierung true zurück, wenn das Objekt einen Wert enthält, und false , wenn es keinen Wert enthält.

Das optional -Objekt enthält einen Wert unter folgenden Bedingungen:

• Das Objekt wird mit einem Wert vom Typ T oder einem anderen optional initialisiert/zugewiesen, das einen Wert enthält.

Das Objekt enthält in den folgenden Fällen keinen Wert:

• Das Objekt wird standardmäßig initialisiert.
• Das Objekt wird mit einem Wert vom Typ std::nullopt_t initialisiert oder von einem optional -Objekt, das keinen Wert enthält, zugewiesen.
• Die Memberfunktion reset() wird aufgerufen.

Es gibt keine optionalen Referenzen, Funktionen, Arrays oder (möglicherweise cv-qualifizierte) void ; ein Programm ist fehlerhaft, wenn es ein optional mit einem solchen Typ instanziiert. Zusätzlich ist ein Programm fehlerhaft, wenn es ein optional mit den (möglicherweise cv-qualifizierten) Tag-Typen std::nullopt_t oder std::in_place_t instanziiert.

Template-Parameter

Verschachtelte Typen

Alle Anforderungen an die Iteratortypen eines Container gelten ebenfalls für den iterator -Typ von optional .

Datenmitglieder

Memberfunktionen

Nicht-Member-Funktionen

Hilfsklassen

Helfer

Helfer-Spezialisierungen

Diese Spezialisierung von ranges::enable_view bewirkt, dass optional die Anforderungen von view erfüllt.

Diese Spezialisierung von format_kind deaktiviert die Bereichsformatierungsunterstützung von optional .

Ableitungsleitfäden

Hinweise

Beispiel

#include <iostream>
#include <optional>
#include <string>
// optional can be used as the return type of a factory that may fail
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}
// std::nullopt can be used to create any (empty) std::optional
auto create2(bool b)
{
    return b ? std::optional<std::string>{"Godzilla"} : std::nullopt;
}
int main()
{
    std::cout << "create(false) returned "
              << create(false).value_or("empty") << '\n';
    // optional-returning factory functions are usable as conditions of while and if
    if (auto str = create2(true))
        std::cout << "create2(true) returned " << *str << '\n';
}

create(false) returned empty
create2(true) returned Godzilla

Fehlerberichte

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

Siehe auch