Namespaces
Variants

std::optional<T>:: or_else

From cppreference.net
C++
Utilities library
std::optional
template < class F >
constexpr optional or_else ( F && f ) const & ;
(1) (depuis C++23)
template < class F >
constexpr optional or_else ( F && f ) && ;
(2) (depuis C++23)

Retourne * this s'il contient une valeur. Sinon, retourne le résultat de f .

Le programme est mal formé si std:: remove_cvref_t < std:: invoke_result_t < F >> n'est pas identique à std:: optional < T > .

1) Équivalent à return * this ? * this : std:: forward < F > ( f ) ( ) ; . Cette surcharge participe à la résolution de surcharge seulement si std:: copy_constructible < T > et std:: invocable < F > sont satisfaits.
2) Équivalent à return * this ? std :: move ( * this ) : std:: forward < F > ( f ) ( ) ; . Cette surcharge participe à la résolution de surcharge seulement si std:: move_constructible < T > et std:: invocable < F > sont satisfaits.

Table des matières

Paramètres

f - une fonction ou Callable qui retourne un std:: optional < T >

Valeur de retour

* this ou le résultat de f , comme décrit ci-dessus.

Notes

Macro de test de fonctionnalité Valeur Std Fonctionnalité
__cpp_lib_optional 202110L (C++23) Opérations monadiques dans std::optional

Exemple

Exécuter ce code 
#include <iostream>
#include <optional>
#include <string>
int main()
{
    using maybe_int = std::optional<int>;
    auto valueless = []
    {
        std::cout << "Valueless: ";
        return maybe_int{0};
    };
    maybe_int x;
    std::cout << x.or_else(valueless).value() << '\n';
    x = 42;
    std::cout << "Has value: ";
    std::cout << x.or_else(valueless).value() << '\n';
    x.reset();
    std::cout << x.or_else(valueless).value() << '\n';
}

Sortie : 

Valueless: 0
Has value: 42
Valueless: 0

Voir aussi

renvoie la valeur contenue si disponible, une autre valeur sinon
(fonction membre publique)
(C++23)
renvoie le résultat de la fonction donnée sur la valeur contenue si elle existe, ou un optional vide sinon
(fonction membre publique)
(C++23)
renvoie un optional contenant la valeur contenue transformée si elle existe, ou un optional vide sinon
(fonction membre publique)