std:: optional

클래스 템플릿 std::optional 는 선택적으로 포함된 값, 즉 존재할 수도 있고 존재하지 않을 수도 있는 값을 관리합니다.

optional 의 일반적인 사용 사례는 실패할 수 있는 함수의 반환 값입니다. std:: pair < T, bool > 과 같은 다른 접근 방식과 달리, optional 은 생성 비용이 높은 객체를 잘 처리하며 의도가 명시적으로 표현되어 가독성이 더 높습니다.

optional 의 모든 인스턴스는 특정 시점에 값을 포함하거나 값을 포함하지 않거나 둘 중 하나의 상태를 가집니다.

만약 optional 이 값을 포함하고 있다면, 그 값은 해당 optional 객체 내부에 중첩되어 있음이 보장됩니다. 따라서 optional 객체는 포인터가 아닌 객체를 모델링하며, 비록 operator*() 와 operator->() 가 정의되어 있더라도 마찬가지입니다.

optional<T> 타입의 객체가 bool로 문맥적 변환 bool 될 때, 객체가 값을 포함하고 있으면 변환 결과가 true 를 반환하고 값을 포함하지 않으면 false 를 반환합니다.

optional 객체는 다음 조건에서 값을 포함합니다:

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

객체는 다음 조건에서 값을 포함하지 않습니다:

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

선택적 참조, 함수, 배열 또는 (cv 한정자가 있을 수 있는) void 타입은 존재하지 않습니다; 이러한 타입으로 optional 을 인스턴스화하는 프로그램은 형식 오류입니다. 또한, std::nullopt_t 또는 std::in_place_t 태그 타입들(가능하게 cv 한정된)로 optional 을 인스턴스화하는 프로그램도 형식 오류입니다.

템플릿 매개변수

중첩 타입

Container 에 대한 반복자 타입의 모든 요구사항은 optional 의 iterator 타입에도 동일하게 적용됩니다.

데이터 멤버

멤버 함수

비멤버 함수

헬퍼 클래스

헬퍼

헬퍼 특수화

이 특수화는 ranges::enable_view 가 optional 이 view 를 만족하도록 합니다.

format_kind 의 이 특수화는 optional 의 범위 형식 지정 지원 을 비활성화합니다.

추론 가이드

참고 사항

예제

#include <iostream>
#include <optional>
#include <string>
// optional은 실패할 수 있는 팩토리의 반환 타입으로 사용될 수 있음
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}
// std::nullopt는 모든 (빈) 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을 반환하는 팩토리 함수들은 while과 if의 조건으로 사용 가능함
    if (auto str = create2(true))
        std::cout << "create2(true) returned " << *str << '\n';
}

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

결함 보고서

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

참고 항목