Namespaces
Variants

std::expected<T,E>:: value_or

From cppreference.net
Utilities library
プライマリテンプレート
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 はデフォルトテンプレート引数を持たない 指定済み

関連項目

期待される値を返す
(公開メンバ関数)
予期しない値が存在する場合はそれを返し、それ以外の場合は別の値を返す
(公開メンバ関数)