std:: variant

클래스 템플릿 std::variant 는 타입 안전 union 을 나타냅니다.

variant 의 인스턴스는 언제든지 대체 타입 중 하나의 값을 보유하거나, 오류 발생 시에는 값을 보유하지 않습니다(이 상태는 달성하기 어렵습니다. valueless_by_exception 참조).

union과 마찬가지로, variant가 객체 타입 T 의 값을 보유하는 경우, T 객체는 내부에 중첩되어 variant 객체 안에 위치합니다.

variant는 참조, 배열 또는 void 타입을 보유할 수 없습니다.

variant은 동일한 타입을 여러 번 보유하는 것이 허용되며, 동일한 타입의 서로 다른 cv 한정 버전을 보유할 수 있습니다.

aggregate initialization 동안의 union 동작과 일관되게, 기본 생성된 variant는 첫 번째 alternative의 값을 보유합니다. 단, 해당 alternative가 기본 생성 가능하지 않은 경우는 예외입니다(이 경우 variant도 기본 생성 가능하지 않습니다). 헬퍼 클래스 std::monostate 를 사용하면 이러한 variant를 기본 생성 가능하게 만들 수 있습니다.

템플릿 인수 없이 std::variant 의 정의를 인스턴스화하는 프로그램은 형식이 잘못되었습니다. std :: variant < std:: monostate > 를 대신 사용할 수 있습니다.

프로그램이 explicit 또는 partial specialization을 선언하는 경우, 그 프로그램은 진단 없이 잘못된 형식입니다.

템플릿 매개변수

멤버 함수

비멤버 함수

헬퍼 클래스

헬퍼 객체

참고 사항

예제

#include <cassert>
#include <iostream>
#include <string>
#include <variant>
int main()
{
    std::variant<int, float> v, w;
    v = 42; // v는 int를 포함
    int i = std::get<int>(v);
    assert(42 == i); // 성공
    w = std::get<int>(v);
    w = std::get<0>(v); // 이전 줄과 동일한 효과
    w = v; // 이전 줄과 동일한 효과
//  std::get<double>(v); // 오류: [int, float]에 double 없음
//  std::get<3>(v);      // 오류: 유효한 인덱스 값은 0과 1
    try
    {
        std::get<float>(w); // w는 float가 아닌 int를 포함: 예외 발생
    }
    catch (const std::bad_variant_access& ex)
    {
        std::cout << ex.what() << '\n';
    }
    using namespace std::literals;
    std::variant<std::string> x("abc");
    // 변환 생성자는 모호하지 않을 때 작동
    x = "def"; // 변환 할당도 모호하지 않을 때 작동
    std::variant<std::string, void const*> y("abc");
    // char const*가 전달될 때 void const*로 캐스트
    assert(std::holds_alternative<void const*>(y)); // 성공
    y = "xyz"s;
    assert(std::holds_alternative<std::string>(y)); // 성공
}

std::get: wrong index for variant

결함 보고서

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

참고 항목