utility_optional

utility_optional (std::optional)

이 페이지는 C++17에서 도입된 std::optional 클래스 템플릿에 대해 설명해요. std::optional은 값을 가질 수도 있고 가지지 않을 수도 있는 선택적 contained value를 관리하는 타입이에요. 함수가 실패할 수 있는 경우 반환 타입으로 자주 사용돼요.

출처: cppreference

본문

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

std::optional 클래스 템플릿은 선택적 contained value, 즉 존재할 수도 있고 존재하지 않을 수도 있는 값을 관리해요.

optional의 일반적인 사용 사례는 실패할 수 있는 함수의 반환 값이에요. std::pair<T, bool> 같은 다른 접근 방식과 달리 optional은 생성 비용이 큰 객체를 잘 처리하고, 의도가 명시적으로 표현되므로 더 읽기 쉬워요.

어느 시점에서든 optional 인스턴스는 값을 포함하거나 포함하지 않아요.

optional이 값을 포함하면, 그 값은 optional 객체 내부에 중첩되어 보장돼요. 따라서 operator*()와 operator->()가 정의되어 있음에도 optional 객체는 포인터가 아니라 객체를 모델로 해요.

optional<T> 타입 객체가 문맥적으로 bool로 변환될 때, 객체가 값을 포함하면 true를, 포함하지 않으면 false를 반환해요.

optional 객체는 다음 조건에서 값을 포함해요:

• 객체가 T 타입의 값이나 값을 포함하는 다른 optional로 초기화되거나 할당된 경우.

optional 객체는 다음 조건에서 값을 포함하지 않아요:

• 객체가 기본 초기화된 경우.
• 객체가 std::nullopt_t 타입의 값이나 값을 포함하지 않는 optional 객체로 초기화되거나 할당된 경우.
• reset() 멤버 함수가 호출된 경우.

optional 객체는 값을 포함하면 요소 하나를, 포함하지 않으면 요소가 없는 뷰로 간주돼요. contained element의 수명은 객체에 묶여 있어요. (since C++26)

optional 참조, 함수, 배열, (cv-qualified 가능한) void는 존재하지 않아요. 이러한 타입으로 optional을 인스턴스화하면 프로그램이 ill-formed예요. 또한 (cv-qualified 가능한) 태그 타입 std::nullopt_t나 std::in_place_t로 optional을 인스턴스화해도 ill-formed예요.

템플릿 매개변수

중첩 타입

Container의 iterator 타입에 대한 모든 요구 사항은 optional의 iterator 타입에도 적용돼요.

데이터 멤버

멤버 함수

비멤버 함수

헬퍼 클래스

헬퍼

헬퍼 특수화

이 ranges::enable_view 특수화는 optional이 view를 만족하도록 만들어요.

이 format_kind 특수화는 optional의 range formatting 지원을 비활성화해요.

추론 가이드

Notes

Example

#include <iostream>
#include <optional>
#include <string>
 
// optional can be used as the return type of a factory that may fail
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}

// std::nullopt can be used to create any (empty) std::optional
auto create2(bool b)
{
    return b ? std::optional<std::string>{"Godzilla"} : std::nullopt;
}

int main()
{
    std::cout << "create(false) returned "
              << create(false).value_or("empty") << '\n';
    
    // optional-returning factory functions are usable as conditions of while and if
    if (auto str = create2(true))
        std::cout << "create2(true) returned " << *str << '\n';
}

Output:

create(false) returned empty
create2(true) returned Godzilla

결함 보고서

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

같이 보기

더 알아보기 (Learn more)

cppreference