std::optional<T>::or_else
Depuis fr.cppreference.net
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 tous deux modélisés.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 tous deux modélisés.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) |