Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
기본 템플릿
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 객체를 반환합니다.

1-4) 기대값은 val 의 기대값으로 초기화됩니다 * this .

주어진 타입 G 는 다음과 같습니다:

1,2) std:: remove_cvref_t < std:: invoke_result_t < F, decltype ( error ( ) ) >>
3,4) std:: remove_cvref_t < std:: invoke_result_t < F, decltype ( std :: move ( error ( ) ) ) >>
5,6) std:: remove_cvref_t < std:: invoke_result_t < F, decltype ( error ( ) ) >>
7,8) std:: remove_cvref_t < std:: invoke_result_t < F, decltype ( std :: move ( error ( ) ) ) >>

만약 G 가 std::expected 의 특수화가 아니거나, std:: is_same_v < G :: value_type , T > 가 false 인 경우, 프로그램의 형식이 올바르지 않습니다.

1,2) 이 오버로드들은 다음 조건이 std:: is_constructible_v < T, decltype ( ( val ) ) > 일 때만 오버로드 해결에 참여합니다.
3,4) 이 오버로드들은 다음 조건이 std:: is_constructible_v < T, decltype ( std :: move ( val ) ) > 일 때만 오버로드 해결에 참여합니다.

목차

매개변수

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 이슈 3843 ), operator* 는 그렇지 않습니다.
  2. ↑ ** this 는 인수 의존적 탐색 을 유발할 수 있습니다.

참고 항목

예상된 값을 포함하고 있으면 expected 자체를 반환하고, 그렇지 않으면 변환된 예상치 못한 값을 포함하는 expected 를 반환합니다
(public member function)