Пространства имён
Варианты
Действия

std::monostate

Материал из cppreference.com
< cpp‎ | utility‎ | variant
 
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования функциональности библиотеки (C++20)    
Управление динамической памятью
Программные утилиты
Поддержка сопрограмм (C++20)
Вариативные функции
Трёхстороннее сравнение (C++20)
(C++20)
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
Общие утилиты
Дата и время
Функциональные объекты
Библиотека форматирования (C++20)
(C++11)
Операторы отношения (устарело в C++20)
Целочисленные функции сравнения
(C++20)(C++20)(C++20)    
(C++20)
Операции обмена и типа
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Общие лексические типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
Элементарные преобразования строк
(C++17)
(C++17)
 
 
Определено в заголовочном файле <variant>
struct monostate { };
(начиная с C++17)

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

Содержание

[править] Функции-элементы

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

[править] Функции, не являющиеся элементами

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::cout << 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
(public функция-элемент) [править]