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) (C++23以降)
template < class F >
constexpr optional or_else ( F && f ) && ;
(2) (C++23以降)

値が含まれている場合は * this を返します。それ以外の場合は、 f の結果を返します。

プログラムは、 std:: remove_cvref_t < std:: invoke_result_t < F >> が std:: optional < T > と同じでない場合、不適格です。

1) 次と等価： return * this ? * this : std:: forward < F > ( f ) ( ) ; 。このオーバーロードは、 std:: copy_constructible < T > と std:: invocable < F > の両方が満たされる場合にのみ、オーバーロード解決に参加する。
2) 次と等価： return * this ? std :: move ( * this ) : std:: forward < F > ( f ) ( ) ; 。このオーバーロードは、 std:: move_constructible < T > と std:: invocable < F > の両方が満たされる場合にのみ、オーバーロード解決に参加します。

目次

パラメータ

f - 関数または Callable オブジェクトで、 std:: optional < T > を返すもの

戻り値

* this または上記のように f の結果を返します。

注記

機能テスト マクロ 値 標準 機能
__cpp_lib_optional 202110L (C++23) モナド操作 in std::optional

例

このコードを実行 
#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';
}

出力: 

Valueless: 0
Has value: 42
Valueless: 0

関連項目

利用可能な場合は格納された値を返し、それ以外の場合は別の値を返す
(公開メンバ関数)
(C++23)
値が存在する場合は指定された関数を格納値に適用した結果を返し、それ以外の場合は空の optional を返す
(公開メンバ関数)
(C++23)
値が存在する場合は変換された格納値を含む optional を返し、それ以外の場合は空の optional を返す
(公開メンバ関数)