utility_expected

utility_expected (std::expected - 예상 값 또는 예상치 못한 값 표현)

std::expected 클래스 템플릿은 두 값 중 하나를 나타내는 방법을 제공해요. T 타입의 예상 값(expected value) 또는 E 타입의 예상치 못한 값(unexpected value)을 저장할 수 있지요. expected 객체는 절대 값이 없는 상태가 아니며, 성공 또는 실패 결과를 명시적으로 다룰 때 유용해요.

이 페이지에서는 C++23부터 도입된 std::expected의 템플릿 매개변수, 중첩 타입, 멤버 함수, 비멤버 함수, 헬퍼 클래스 등을 자세히 설명할게요.

출처: cppreference

본문

<expected> 헤더에 정의되어 있어요.

std::expected 클래스 템플릿은 두 값 중 하나를 나타내는 방법을 제공해요. T 타입의 예상 값 또는 E 타입의 예상치 못한 값이지요. expected는 절대 값이 없는 상태가 아니에요.

참조 타입, 함수 타입 또는 std::unexpected의 특수화로 expected를 인스턴스화하면 프로그램은 ill-formed예요. 또한 T는 std::in_place_t나 std::unexpect_t가 아니어야 해요.

템플릿 매개변수

중첩 타입

멤버 템플릿

데이터 멤버

멤버 함수

비멤버 함수

헬퍼 클래스

참고 사항

같은 기능을 가진 타입은 Rust에서는 Result, Haskell에서는 Either라고 불러요.

예제

#include <cmath>
#include <expected>
#include <iomanip>
#include <iostream>
#include <string_view>

enum class parse_error
{
    invalid_input,
    overflow
};

auto parse_number(std::string_view& str) -> std::expected<double, parse_error>
{
    const char* begin = str.data();
    char* end;
    double retval = std::strtod(begin, &end);
    
    if (begin == end)
        return std::unexpected(parse_error::invalid_input);
    else if (std::isinf(retval))
        return std::unexpected(parse_error::overflow);
    
    str.remove_prefix(end - begin);
    return retval;
}

int main()
{
    auto process = [](std::string_view str)
    {
        std::cout << "str: " << std::quoted(str) << ", ";
        if (const auto num = parse_number(str); num.has_value())
            std::cout << "value: " << *num << '\n';
            // If num did not have a value, dereferencing num
            // would cause an undefined behavior, and
            // num.value() would throw std::bad_expected_access.
            // num.value_or(123) uses specified default value 123.
        else if (num.error() == parse_error::invalid_input)
            std::cout << "error: invalid input\n";
        else if (num.error() == parse_error::overflow)
            std::cout << "error: overflow\n";
        else
            std::cout << "unexpected!\n"; // or invoke std::unreachable();
    };
    
    for (auto src : {"42", "42abc", "meow", "inf"})
        process(src);
}

출력:

str: "42", value: 42
str: "42abc", value: 42
str: "meow", error: invalid input
str: "inf", error: overflow

결함 보고서

다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.

참고 문헌

• C++23 표준 (ISO/IEC 14882:2024):
• 22.8 Expected objects [expected]

같이 보기

더 알아보기 (Learn more)

cppreference