std::optional<T>:: value_or
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
std::optional
| Member functions | ||||
| Observers | ||||
|
optional::value_or
|
||||
| Iterators | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
| Monadic operations | ||||
|
(C++23)
|
||||
|
(C++23)
|
||||
|
(C++23)
|
||||
| Modifiers | ||||
| Non-member functions | ||||
| Deduction guides | ||||
| Helper classes | ||||
| Helper objects | ||||
|
template
<
class
U
=
std::
remove_cv_t
<
T
>
>
constexpr T value_or ( U && default_value ) const & ; |
(1) | (C++17以降) |
|
template
<
class
U
=
std::
remove_cv_t
<
T
>
>
constexpr T value_or ( U && default_value ) && ; |
(2) | (C++17以降) |
* this が値を保持している場合は保持されている値を返し、それ以外の場合は default_value を返します。
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
)
)
例
このコードを実行
#include <cstdlib> #include <iostream> #include <optional> std::optional<const char*> maybe_getenv(const char* n) { if (const char* x = std::getenv(n)) return x; else return {}; } int main() { std::cout << maybe_getenv("SHELL").value_or("(none)") << '\n'; std::cout << maybe_getenv("MYPWD").value_or("(none)") << '\n'; }
出力例:
/usr/bin/zsh (none)
欠陥報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 3886 | C++17 |
U
はデフォルトテンプレート引数を持たない
|
指定済み |
関連項目
|
格納されている値を返す
(公開メンバ関数) |