std::expected<T,E>::value_or
From ja.cppreference.net
| プライマリテンプレート |
||
template< class U = std::remove_cv_t<T> >
constexpr T value_or( U&& default_value ) const&;
|
(1) | (C++23 から) |
template< class U = std::remove_cv_t<T> >
constexpr T value_or( U&& default_value ) &&;
|
(2) | (C++23 から) |
期待値を保持している場合はそれを返し、そうでなければ default_value を返します。
特殊化 void にはこれらのメンバ関数はありません。
1)
std::is_copy_constructible_v<T> または std::is_convertible_v<U, T> が false の場合、プログラムは ill-formed になります。2)
std::is_move_constructible_v<T> または std::is_convertible_v<U, T> が false の場合、プログラムは ill-formed になります。パラメータ
| default_value | - | *thisが期待される値を含まない場合に使用する値 |
戻り値
1)
has_value
(
)
?
**
this
:
static_cast
<
T
>
(
std::
forward
<
U
>
(
default_value
)
)
2)
has_value
(
)
?
std
::
move
(
**
this
)
:
static_cast
<
T
>
(
std::
forward
<
U
>
(
default_value
)
)
例
|
このセクションは不完全です
理由: 例がありません |
欠陥報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 3886 | C++23 |
U
はデフォルトテンプレート引数を持たない
|
指定済み |
関連項目
|
期待される値を返す
(公開メンバ関数) |
|
|
予期しない値が存在する場合はそれを返し、それ以外の場合は別の値を返す
(公開メンバ関数) |