variant_monostate

variant_monostate (유닛 타입)

std::monostate는 std::variant에서 잘 동작하는 빈 대안으로 사용하기 위한 유닛 타입이에요. 이 타입을 첫 번째 대안으로 지정하면 기본 생성이 불가능한 타입들로 구성된 variant도 기본 생성할 수 있게 돼요. 모든 std::monostate 인스턴스는 서로 같다고 비교돼요.

출처: cppreference

본문

정의

유닛 타입으로, std::variant에서 잘 동작하는 빈 대안으로 사용하기 위한 것이에요. 특히, 기본 생성이 불가능한 타입들의 variant는 첫 번째 대안으로 std::monostate를 나열할 수 있어요. 이렇게 하면 variant 자체가 기본 생성 가능해져요.

멤버 함수

비멤버 함수

std::monostate의 모든 인스턴스는 서로 같다고 비교돼요.

<, <=, >, >=, != 연산자는 각각 operator<=>와 operator==로부터 합성돼요. (C++20부터)

헬퍼 클래스

std:: hash std::monostate

std::monostate에 대한 std::hash 알고리즘을 특수화해요.

예제

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

struct S
{
    S(int i) : i(i) {}
    int i;
};

int main()
{
    // Without the monostate type this declaration will fail.
    // This is because S is not default-constructible.
    std::variant<std::monostate, S> var;
    assert(var.index() == 0);

    try
    {
        std::get<S>(var); // throws! We need to assign a value
    }
    catch(const std::bad_variant_access& e)
    {
        std::cout << e.what() << '\n';
    }

    var = 42;
    std::cout << "std::get: " << std::get<S>(var).i << '\n'
              << "std::hash: " << std::hex << std::showbase
              << std::hash<std::monostate>{}(std::monostate{}) << '\n';
}

가능한 출력:

std::get: wrong index for variant
std::get: 42
std::hash: 0xffffffffffffe19f

같이 보기

더 알아보기 (Learn more)

cppreference