std:: optional

Le modèle de classe std::optional gère une valeur contenue optionnelle, c'est-à-dire une valeur qui peut être présente ou non.

Un cas d'utilisation courant pour optional est la valeur de retour d'une fonction qui peut échouer. Contrairement à d'autres approches, telles que std:: pair < T, bool > , optional gère bien les objets coûteux à construire et est plus lisible, car l'intention est exprimée explicitement.

Toute instance de optional à un moment donné soit contient une valeur soit ne contient pas de valeur .

Si un optional contient une valeur, il est garanti que la valeur est imbriquée à l'intérieur de l'objet optional . Ainsi, un objet optional modélise un objet, et non un pointeur, même si operator*() et operator->() sont définis.

Lorsqu'un objet de type optional<T> est contextuellement converti en bool , la conversion retourne true si l'objet contient une valeur et false s'il ne contient pas de valeur.

L'objet optional contient une valeur dans les conditions suivantes :

• L'objet est initialisé avec/assigné à partir d'une valeur de type T ou d'un autre optional qui contient une valeur.

L'objet ne contient pas de valeur dans les conditions suivantes :

• L'objet est initialisé par défaut.
• L'objet est initialisé avec/assigné à partir d'une valeur de type std::nullopt_t ou d'un objet optional qui ne contient pas de valeur.
• La fonction membre reset() est appelée.

Il n'y a pas de références optionnelles, de fonctions, de tableaux ou de types void (éventuellement qualifiés cv) ; un programme est mal formé s'il instancie un optional avec un tel type. De plus, un programme est mal formé s'il instancie un optional avec les types de balises (éventuellement qualifiés cv) std::nullopt_t ou std::in_place_t .

Paramètres du modèle

Types imbriqués

Toutes les exigences relatives aux types d'itérateurs d'un Container s'appliquent également au type iterator de optional .

Membres de données

Fonctions membres

Fonctions non membres

Classes d'assistance

Aides

Spécialisations d'assistance

Cette spécialisation de ranges::enable_view permet à optional de satisfaire view .

Cette spécialisation de format_kind désactive le support du formatage des plages de optional .

Guides de déduction

Notes

Exemple

#include <iostream>
#include <optional>
#include <string>
// optional peut être utilisé comme type de retour d'une factory qui peut échouer
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}
// std::nullopt peut être utilisé pour créer n'importe quel std::optional (vide)
auto create2(bool b)
{
    return b ? std::optional<std::string>{"Godzilla"} : std::nullopt;
}
int main()
{
    std::cout << "create(false) a retourné "
              << create(false).value_or("vide") << '\n';
    // les fonctions factory retournant un optional sont utilisables comme conditions dans while et if
    if (auto str = create2(true))
        std::cout << "create2(true) a retourné " << *str << '\n';
}

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

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.

Voir aussi