std::monostate

Определён в заголовочном файле `<variant>`
Определён в заголовочном файле `<utility>`		(начиная с C++26)
struct monostate { };		(начиная с C++17)

Пустой тип, предназначенный для использования в качестве корректной пустой альтернативы в std::variant. В частности, вариант типов, не имеющих конструктора по умолчанию, может содержать std::monostate в качестве первой альтернативы: это делает сам вариант конструируемым по умолчанию.

Функции-члены

(конструктор) (неявно объявлен)	тривиальный неявный конструктор по умолчанию/копирования/перемещения (открытая функция-член)
(деструктор) (неявно объявлен)	тривиальный неявный деструктор (открытая функция-член)
operator= (неявно объявлен)	тривиальное неявное присваивание копированием/перемещением (открытая функция-член)

Функции вне класса

std::operator==, !=, <, <=, >, >=, <=>(std::monostate)

constexpr bool operator==( monostate, monostate ) noexcept { return true; }

(1)

(начиная с C++17)

constexpr bool operator!=( monostate, monostate ) noexcept { return false; }
constexpr bool operator< ( monostate, monostate ) noexcept { return false; }
constexpr bool operator> ( monostate, monostate ) noexcept { return false; }
constexpr bool operator<=( monostate, monostate ) noexcept { return true; }
constexpr bool operator>=( monostate, monostate ) noexcept { return true; }

(2)

(начиная с C++17)
(до C++20)

constexpr std::strong_ordering operator<=>( monostate, monostate ) noexcept
{
    return std::strong_ordering::equal;
}

(начиная с C++20)

Все экземпляры std::monostate равны.

Операторы <, <=, >, >= и != синтезируются из operator<=> и operator== соответственно.

(начиная с C++20)

Вспомогательные классы

std::hash<std::monostate>

template <>
struct std::hash<monostate>;

(начиная с C++17)

Специализирует алгоритм std::hash для std::monostate.

Пример

#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

См. также

(конструктор)

создаёт объект variant
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/variant/monostate