Namespaces
Variants

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

    cppreference.net에서 발췌
     
    C++
     
    유틸리티 라이브러리
    일반 유틸리티
    관계 연산자 (C++20에서 폐지됨)
    정수 비교 함수
    (C++20)(C++20)(C++20)    
    (C++20)
    Swap 및 타입 연산
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    공통 어휘 타입
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::expected
     
    기본 템플릿
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(1) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(2) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(3) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(4) (since C++23)
    void 부분 특수화
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(5) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(6) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(7) (since C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(8) (since 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이면, 프로그램은 잘못된 형식(ill-formed)입니다.

    1,2) 이 오버로드는 std::is_constructible_v<T, decltype((val))>이 true인 경우에만 오버로드 해결에 참여합니다.
    3,4) 이 오버로드는 std::is_constructible_v<T, decltype(std::move(val))>이 true인 경우에만 오버로드 해결에 참여합니다.

    매개변수

    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)