std::optional<T>::or_else
ja.cppreference.net より
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> と同じ型でない場合、プログラムは ill-formed になります。
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
を返す
(公開メンバ関数) |