std::expected<T,E>:: value_or
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
std::expected
| Member functions | ||||
| Observers | ||||
|
expected::value_or
|
||||
| Monadic operations | ||||
| Modifiers | ||||
| Non-member functions | ||||
| Helper classes | ||||
|
プライマリテンプレート
|
||
|
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
の場合、プログラムは不適格となる。
2)
std::
is_move_constructible_v
<
T
>
または
std::
is_convertible_v
<
U, T
>
が
false
の場合、プログラムは不適格となる。
目次 |
パラメータ
| 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
はデフォルトテンプレート引数を持たない
|
指定済み |
関連項目
|
期待される値を返す
(公開メンバ関数) |
|
|
予期しない値が存在する場合はそれを返し、それ以外の場合は別の値を返す
(公開メンバ関数) |