utility_variant

utility_variant (타입 안전 공용체)

std::variant는 C++17에서 도입된 타입 안전 공용체(type-safe union) 클래스 템플릿이에요. variant 객체는 주어진 대안 타입 중 하나의 값을 저장하거나, 오류 상황에서는 값을 갖지 않는 상태가 돼요. 이 페이지에서는 std::variant의 정의, 멤버 함수, 비멤버 함수, 헬퍼 클래스 등을 설명할게요.

출처: cppreference

본문

정의

클래스 템플릿 std::variant는 타입 안전 공용체를 나타내요.

variant 인스턴스는 주어진 시점에 대안 타입 중 하나의 값을 보유하거나, 오류가 발생한 경우 값이 없는 상태(이 상태는 달성하기 어려우며, valueless_by_exception 참고)가 돼요.

공용체와 마찬가지로, variant가 어떤 객체 타입 T의 값을 보유한다면 T 객체는 variant 객체 안에 중첩되어 있어요.

variant는 참조, 배열, void 타입을 보유할 수 없어요.

variant는 같은 타입을 여러 번 보유할 수 있고, cv 한정자가 다른 같은 타입의 버전도 보유할 수 있어요.

집합 초기화 중 공용체의 동작과 일관되게, 기본 생성된 variant는 첫 번째 대안의 값을 보유해요. 단, 그 대안이 기본 생성 가능하지 않으면 variant도 기본 생성 가능하지 않아요. 헬퍼 클래스 std::monostate를 사용하면 그러한 variant를 기본 생성 가능하게 만들 수 있어요.

템플릿 인자 없이 std::variant의 정의를 인스턴스화하는 프로그램은 ill-formed예요. 대신 std::variantstd::monostate를 사용할 수 있어요.

프로그램이 std::variant의 명시적 또는 부분 특수화를 선언하면, 진단이 필요 없이 ill-formed예요.

템플릿 매개변수

멤버 함수

비멤버 함수

헬퍼 클래스

헬퍼 객체

참고 사항

예제

#include <cassert>
#include <iostream>
#include <string>
#include <variant>

int main()
{
    std::variant<int, float> v, w;
    v = 42; // v contains int
    int i = std::get<int>(v);
    assert(42 == i); // succeeds
    w = std::get<int>(v);
    w = std::get<0>(v); // same effect as the previous line
    w = v; // same effect as the previous line
    
//  std::get<double>(v); // error: no double in [int, float]
//  std::get<3>(v);      // error: valid index values are 0 and 1
    
    try
    {
        std::get<float>(w); // w contains int, not float: will throw
    }
    catch (const std::bad_variant_access& ex)
    {
        std::cout << ex.what() << '\n';
    }
    
    using namespace std::literals;
    
    std::variant<std::string> x("abc");
    // converting constructors work when unambiguous
    x = "def"; // converting assignment also works when unambiguous
    
    std::variant<std::string, void const*> y("abc");
    // casts to void const* when passed a char const*
    assert(std::holds_alternative<void const*>(y)); // succeeds
    y = "xyz"s;
    assert(std::holds_alternative<std::string>(y)); // succeeds
}

가능한 출력:

std::get: wrong index for variant

결함 보고서

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

같이 보기

더 알아보기

cppreference