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

プライマリテンプレート
template < class F > constexpr auto or_else ( F && f ) & ;	(1)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) const & ;	(2)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) && ;	(3)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) const && ;	(4)	(C++23以降)
void 部分特殊化
template < class F > constexpr auto or_else ( F && f ) & ;	(5)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) const & ;	(6)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) && ;	(7)	(C++23以降)
template < class F > constexpr auto or_else ( F && f ) const && ;	(8)	(C++23以降)

* this が予期しない値を含む場合、 f を * this の予期しない値を引数として呼び出し、その結果を返します。それ以外の場合、期待される値を表す std::expected オブジェクトを返します。

型 G が以下のように与えられた場合:

G が std::expected の特殊化でない場合、または std:: is_same_v < G :: value_type , T > が false の場合、プログラムは不適格です。

目次 1 パラメータ 2 戻り値 3 注記 4 例 5 欠陥報告 6 関連項目

パラメータ

f

-

適切な関数または Callable オブジェクトで、 std::expected を返すもの

戻り値

オーバーロード	has_value() の値
	true	false
( 1,2 )	G ( std:: in_place , val )	std:: invoke ( std:: forward < F > ( f ) , error ( ) )
( 3,4 )	G ( std:: in_place , std :: move ( val ) )	std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
( 5,6 )	G ( )	std:: invoke ( std:: forward < F > ( f ) , error ( ) )
( 7,8 )		std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

注記

機能テスト マクロ	値	標準	機能
__cpp_lib_expected	202211L	(C++23)	std::expected のモナディック関数

例

このセクションは不完全です 理由: 例がありません

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR	適用対象	公開時の動作	正しい動作
LWG 3938	C++23	期待値は value ( ) [1] によって取得されていた	** this に変更
LWG 3973	C++23	期待値は ** this [2] によって取得されていた	val に変更

1. ↑ value() は E がコピー構築可能であることを要求する（ LWG issue 3843 を参照）。一方 operator* はこの要求を持たない。
2. ↑ ** this は argument-dependent lookup を引き起こす可能性がある。

関連項目

transform_error

期待される値が含まれている場合は expected 自体を返す。それ以外の場合は、変換された予期しない値を含む expected を返す (公開メンバ関数)