std::expected<T,E>:: operator=

기존의 expected 객체에 새로운 값을 할당합니다.

매개변수

효과

기본 템플릿 할당 연산자

void 부분 특수화 할당 연산자

헬퍼 함수 템플릿

설명 전용 함수 템플릿 reinit-expected 는 다음과 같이 "정의"됩니다:

template<class NewType, class OldType, class... Args>
constexpr void reinit-expected(NewType& new_val, OldType& old_val, Args&&... args)
{
    // 경우 1: "new_val"의 생성이 예외를 던지지 않는 경우:
    // "old_val"을 파괴한 후 "new_val"을 직접 생성할 수 있음
    if constexpr (std::is_nothrow_constructible_v<NewType, Args...>)
    {
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::forward<Args>(args)...);
    }
    // 경우 2: "new_val"의 이동 생성이 예외를 던지지 않는 경우:
    // 먼저 임시 NewType 객체를 생성
    // (이 생성 과정에서 예외가 발생하면 "old_val"은 그대로 유지됨)
    else if constexpr (std::is_nothrow_move_constructible_v<NewType>)
    {
        NewType temp(std::forward<Args>(args)...); // 예외를 던질 수 있음
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::move(temp));
    }
    // 경우 3: "new_val"의 생성이 예외를 던질 가능성이 있는 경우:
    // 예외로부터 복구하기 위해 "old_val"의 백업이 필요함
    else
    {
        OldType temp(std::move(old_val)); // 예외를 던질 수 있음
        std::destroy_at(std::addressof(old_val));
        try
        {
            std::construct_at(std::addressof(new_val),
                              std::forward<Args>(args)...); // 예외를 던질 수 있음
        }
        catch (...)
        {
            std::construct_at(std::addressof(old_val), std::move(temp));
            throw;
        }
    }
}

이 함수 템플릿은 할당 연산이 * this 가 대체 값을 보유하게 될 때 호출됩니다 (즉, 기대 값에서 예상치 못한 값으로, 또는 예상치 못한 값에서 기대 값으로 변경될 때).

이 경우, 새로운 값 newval 을 생성하기 전에 기존 값 oldval 을 파괴해야 합니다. 그러나 newval 의 생성 과정에서 예외가 발생할 수 있습니다. 강력한 예외 안전성 보장 을 제공하기 위해서는 예외를 재발생시키기 전에 기존 값을 복원해야 하며, 이를 통해 예외가 처리되는 동안 * this 가 유효한 상태를 유지할 수 있습니다.

반환값

제약 조건 및 보충 정보

기본 템플릿 할당 연산자

void 부분 특수화 할당 연산자

예외

예제

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목