Namespaces
Variants

std:: monostate

From cppreference.net
C++
Utilities library
std::variant
Определено в заголовочном файле <variant>
Определено в заголовочном файле <utility>
(начиная с C++26)
struct monostate { } ;
(начиная с C++17)

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

Содержание

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

(constructor)
(implicitly declared)
тривиальный неявный конструктор по умолчанию/копирования/перемещения
(public member function)
(destructor)
(implicitly declared)
тривиальный неявный деструктор
(public member function)
operator=
(implicitly declared)
тривиальное неявное присваивание копирования/перемещения
(public member function)

Функции, не являющиеся членами класса

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

constexpr bool operator == ( monostate, monostate ) noexcept { return true ; }
(1) (начиная с C++17)
(2)
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 ; }
(начиная с 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()
{
    // Без типа monostate это объявление завершится ошибкой.
    // Это происходит потому, что S не является конструируемым по умолчанию.
    std::variant<std::monostate, S> var;
    assert(var.index() == 0);
    try
    {
        std::get<S>(var); // выбрасывает исключение! Необходимо присвоить значение
    }
    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
(публичная функция-член)