Namespaces
Variants

    std::monostate

    Со ru.cppreference.net
     
    C++
    Поддержка компиляторов
    Автономные и размещенные реализации
    Язык
    Стандартная библиотека
    Заголовки стандартной библиотеки
    Именованные требования
    Макросы тестирования возможностей (C++20)
    Библиотека поддержки языка
    Библиотека концептов (C++20)
    Библиотека диагностики
    Библиотека управления памятью
    Библиотека метапрограммирования (C++11)
    Библиотека общих утилит
    Библиотека контейнеров
    Библиотека итераторов
    Библиотека диапазонов (C++20)
    Библиотека алгоритмов
    Библиотека строк
    Библиотека обработки текста
    Библиотека численных операций
    Библиотека даты и времени
    Библиотека ввода/вывода
    Библиотека файловой системы (C++17)
    Библиотека поддержки конкурентности (C++11)
    Библиотека управления выполнением (C++26)
    Технические спецификации
    Индекс символов
    Внешние библиотеки
     
    Библиотека утилит
    Поддержка языка
    Поддержка типов (основные типы, RTTI)
    Макросы тестирования возможностей библиотеки (C++20)
    Утилиты программ
    Функции с переменным числом аргументов
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Поддержка корутин (C++20)
    Поддержка контрактов (C++26)
    Трёхстороннее сравнение
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Общие утилиты
    Операторы отношений (устарело в C++20)
    Функции сравнения целых чисел
    (C++20)(C++20)(C++20)    
    (C++20)
    Обмен и операции с типами
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    Общеупотребительные типы
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



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

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

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

    (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
    (публичная функция-член)