std::monostate

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

std::variant

variant::variant

variant::~variant

variant::operator=

variant::index

variant::valueless_by_exception

variant::emplace

variant::swap

visit

holds_alternative

get

get_if

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)

swap

monostate

bad_variant_access

variant_size

variant_alternative

hash

variant_npos

 

<tbody> </tbody>

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

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

Функции-элементы

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

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

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

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

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>

<tbody> </tbody>

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 функция-элемент)