Заголовочный файл стандартной библиотеки <variant> (C++17)

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Языковая поддержка
<cstddef> <cstdlib> <version>(C++20) <limits> <climits>	<cfloat> <cstdint>(C++11) <stdfloat>(C++23) <new> <typeinfo>	<source_location>(C++20) <exception> <initializer_list>(C++11) <compare>(C++20)	<coroutine>(C++20) <csignal> <csetjmp> <cstdarg>
Концепты
<concepts>(C++20)
Диагностика
<stdexcept> <stacktrace>(C++23)	<cassert>	<cerrno>	<system_error>(C++11)
Управление памятью
<memory>	<memory_resource>(C++17)	<scoped_allocator>(C++11)
Метапрограммирование
<type_traits>(C++11)	<ratio>(C++11)
Общие утилиты
<utility> <tuple>(C++11) <optional>(C++17) <variant>(C++17)	<any>(C++17) <expected>(C++23) <bitset>	<functional> <typeindex>(C++11) <execution>(C++17)	<charconv>(C++17) <format>(C++20) <bit>(C++20)
Строки
<string_view>(C++17) <string>	<cctype> <cwctype>	<cstring> <cwchar>	<cuchar>(C++11)
Контейнеры
<array>(C++11) <deque> <forward_list>(C++11) <list>	<vector> <map> <set> <unordered_map>(C++11)	<unordered_set>(C++11) <queue> <stack> <flat_map>(C++23)	<flat_set>(C++23) <span>(C++20) <mdspan>(C++23)
Итераторы
<iterator>
Диапазоны
<ranges>(C++20)	<generator>(C++23)
Алгоритмы
<algorithm>	<numeric>
Числа
<cfenv>(C++11) <complex>	<random>(C++11) <valarray>	<cmath>	<numbers>(C++20)
Время
<chrono>(C++11)	<ctime>
Локализация
<locale>	<clocale>	<codecvt>(C++11/17*)
Ввод/вывод
<iosfwd> <iostream> <ios> <streambuf>	<istream> <ostream> <iomanip> <print>(C++23)	<sstream> <spanstream>(C++23) <fstream> <syncstream>(C++20)	<filesystem>(C++17) <cstdio> <cinttypes>(C++11) <strstream>(C++98*)
Регулярные выражения
<regex>(C++11)
Поддержка конкуренции
<stop_token>(C++20) <thread>(C++11) <atomic>(C++11)	<stdatomic.h>(C++23) <mutex>(C++11) <shared_mutex>(C++14)	<condition_variable>(C++11)   <semaphore>(C++20) <latch>(C++20)	<barrier>(C++20) <future>(C++11)
Совместимость с C
<cstdbool>(C++11/17/20*)   <ccomplex>(C++11/17/20*)	<ctgmath>(C++11/17/20*)	<cstdalign>(C++11/17/20*)	<ciso646>(до C++20)

 

Этот заголовок является частью библиотеки общих утилит.

Включает
<compare> (C++20)	Поддержка оператора трёхстороннего сравнения
Классы
variant (C++17)	типобезопасное размеченное объединение (шаблон класса)
monostate (C++17)	тип-заполнитель для использования в качестве первой альтернативы в конструируемых не по умолчанию типах variant (класс)
bad_variant_access (C++17)	исключение при неправильном доступе к значению variant (класс)
variant_sizevariant_size_v (C++17)	получает размер списка альтернатив во время компиляции (шаблон класса)(шаблонная переменная)
variant_alternativevariant_alternative_t (C++17)	получает тип альтернативы, указанный её индексом, во время компиляции (шаблон класса)(псевдоним шаблона)
std::hash<std::variant> (C++17)	поддержка хэширования для std::variant (специализация шаблона класса)
Константы
variant_npos (C++17)	индекс variant в недопустимом состоянии (константа)
Функции
visit (C++17)	вызывает предоставленный функтор с аргументами, содержащимися в одном или нескольких variant’ах (шаблон функции)
holds_alternative (C++17)	проверяет, содержит ли variant в настоящее время заданный тип (шаблон функции)
std::get(std::variant) (C++17)	читает значение variant по заданному индексу или типу (если тип уникален), генерирует исключение при ошибке (шаблон функции)
get_if (C++17)	получает указатель на значение variant, переданного по указателю, по индексу или типу (если он уникален), возвращает null при ошибке (шаблон функции)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)	сравнивает объекты variant как содержащиеся в них значения (шаблон функции)
std::swap(std::variant) (C++17)	специализация алгоритма std::swap (шаблон функции)

Краткое описание

#include <compare>   namespace std {// шаблонный класс varianttemplate<class... Types>class variant;   // вспомогательные классы для varianttemplate<class T>struct variant_size;// не определёнtemplate<class T>struct variant_size<const T>;template<class T>inlineconstexpr size_t variant_size_v = variant_size<T>::value;   template<class... Types>struct variant_size<variant<Types...>>;   template<size_t I, class T>struct variant_alternative;// не определёнtemplate<size_t I, class T>struct variant_alternative<I, const T>;template<size_t I, class T>using variant_alternative_t =typename variant_alternative<I, T>::type;   template<size_t I, class... Types>struct variant_alternative<I, variant<Types...>>;   inlineconstexpr size_t variant_npos =-1;   // доступ к значениюtemplate<class T, class... Types>constexprbool holds_alternative(const variant<Types...>&)noexcept;   template<size_t I, class... Types>constexpr variant_alternative_t<I, variant<Types...>>& get(variant<Types...>&);template<size_t I, class... Types>constexpr variant_alternative_t<I, variant<Types...>>&& get(variant<Types...>&&);template<size_t I, class... Types>constexprconst variant_alternative_t<I, variant<Types...>>& get(const variant<Types...>&);template<size_t I, class... Types>constexprconst variant_alternative_t<I, variant<Types...>>&& get(const variant<Types...>&&);   template<class T, class... Types>constexpr T& get(variant<Types...>&);template<class T, class... Types>constexpr T&& get(variant<Types...>&&);template<class T, class... Types>constexprconst T& get(const variant<Types...>&);template<class T, class... Types>constexprconst T&& get(const variant<Types...>&&);   template<size_t I, class... Types>constexpr add_pointer_t<variant_alternative_t<I, variant<Types...>>> get_if(variant<Types...>*)noexcept;template<size_t I, class... Types>constexpr add_pointer_t<const variant_alternative_t<I, variant<Types...>>> get_if(const variant<Types...>*)noexcept;   template<class T, class... Types>constexpr add_pointer_t<T> get_if(variant<Types...>*)noexcept;template<class T, class... Types>constexpr add_pointer_t<const T> get_if(const variant<Types...>*)noexcept;   // операторы отношенияtemplate<class... Types>constexprbool operator==(const variant<Types...>&, const variant<Types...>&);template<class... Types>constexprbool operator!=(const variant<Types...>&, const variant<Types...>&);template<class... Types>constexprbool operator<(const variant<Types...>&, const variant<Types...>&);template<class... Types>constexprbool operator>(const variant<Types...>&, const variant<Types...>&);template<class... Types>constexprbool operator<=(const variant<Types...>&, const variant<Types...>&);template<class... Types>constexprbool operator>=(const variant<Types...>&, const variant<Types...>&);template<class... Types> requires (three_way_comparable<Types>&& ...)constexpr common_comparison_category_t<compare_three_way_result_t<Types>...> operator<=>(const variant<Types...>&, const variant<Types...>&);   // посещениеtemplate<class Visitor, class... Variants>constexpr/* see description */ visit(Visitor&&, Variants&&...);template<class R, class Visitor, class... Variants>constexpr R visit(Visitor&&, Variants&&...);   // класс monostatestruct monostate;   // monostate реляционные операторыconstexprbool operator==(monostate, monostate)noexcept;constexpr strong_ordering operator<=>(monostate, monostate)noexcept;   // специализированные алгоритмыtemplate<class... Types>constexprvoid swap(variant<Types...>&, variant<Types...>&)noexcept(/* see description */);   // класс bad_variant_accessclass bad_variant_access;   // поддержка хешированияtemplate<class T>struct hash;template<class... Types>struct hash<variant<Types...>>;template<>struct hash<monostate>;}   // устарелоnamespace std {template<class T>struct variant_size<volatile T>;template<class T>struct variant_size<constvolatile T>;   template<size_t I, class T>struct variant_alternative<I, volatile T>;template<size_t I, class T>struct variant_alternative<I, constvolatile T>;}

Шаблоный класс std::variant

namespace std {template<class... Types>class variant {public:// конструкторыconstexpr variant()noexcept(/* смотрите описание */);constexpr variant(const variant&);constexpr variant(variant&&)noexcept(/* смотрите описание */);   template<class T>constexpr variant(T&&)noexcept(/* смотрите описание */);   template<class T, class... Args>constexprexplicit variant(in_place_type_t<T>, Args&&...);template<class T, class U, class... Args>constexprexplicit variant(in_place_type_t<T>, initializer_list<U>, Args&&...);   template<size_t I, class... Args>constexprexplicit variant(in_place_index_t<I>, Args&&...);template<size_t I, class U, class... Args>constexprexplicit variant(in_place_index_t<I>, initializer_list<U>, Args&&...);   // деструкторconstexpr ~variant();   // присваиваниеconstexpr variant& operator=(const variant&);constexpr variant& operator=(variant&&)noexcept(/* смотрите описание */);   template<class T>constexpr variant& operator=(T&&)noexcept(/* смотрите описание */);   // модификаторыtemplate<class T, class... Args>constexpr T& emplace(Args&&...);template<class T, class U, class... Args>constexpr T& emplace(initializer_list<U>, Args&&...);template<size_t I, class... Args>constexpr variant_alternative_t<I, variant<Types...>>& emplace(Args&&...);template<size_t I, class U, class... Args>constexpr variant_alternative_t<I, variant<Types...>>& emplace(initializer_list<U>, Args&&...);   // статус значенияconstexprbool valueless_by_exception()constnoexcept;constexpr size_t index()constnoexcept;   // swapconstexprvoid swap(variant&)noexcept(/* смотрите описание */);};}

Класс std::monostate

struct monostate{};

Класс std::bad_variant_access

class bad_variant_access :public exception {public:// смотрите [исключение] для спецификации специальных функций-элементовconstchar* what()constnoexcept override;};