23 General utilities library [utilities]

23.7 Variants [variant]

23.7.3 Class template variant [variant.variant]

23.7.3.1 Constructors [variant.ctor]

В описаниях , которые следуют, давайтеi быть в диапазоне[0, sizeof...(Types)), и $T_{i}$ быть $i^{th}$ типа вTypes....

constexpr variant() noexcept(see below);

Effects: Создаетvariant удерживающее значение типа, инициализированное значением $T_{0}$ .

Postconditions: valueless_by_exception() естьfalse иindex() есть0.

Throws: Любое исключение, вызванное инициализацией значения $T_{0}$ .

Remarks: Эта функция должна быть вconstexpr том и только в том случае, если инициализация значения альтернативного типа $T_{0}$ удовлетворяет требованиям для функции constexpr. Выражение внутриnoexcept эквивалентно is_nothrow_default_constructible_v< $T_{0}$ >. Эта функция не будет участвовать в разрешении перегрузки , если is_default_constructible_v< $T_{0}$ > неtrue. [ Note: См. Также классmonostate. ] — end note

variant(const variant& w);

Effects: Еслиw содержит значение, инициализируетvariant для хранения той же альтернативы, чтоw и, и напрямую инициализирует содержащееся значение с помощьюget<j>(w), гдеj isw.index(). В противном случае инициализирует,variant чтобы не хранить значение.

Throws: Любое исключение, вызванное прямой инициализацией any $T_{i}$ for alli.

Remarks: Эта функция не должна участвовать в разрешении перегрузки, за исключением случаев, когда она is_copy_constructible_v< $T_{i}$ > предназначенаtrue для всехi.

variant(variant&& w) noexcept(see below);

Effects: Еслиw содержит значение, инициализируетvariant для хранения той же альтернативы, чтоw и, и напрямую инициализирует содержащееся значение с помощью get<j>(std::move(w)), гдеj isw.index(). В противном случае инициализирует,variant чтобы не хранить значение.

Throws: Любое исключение, создаваемое перемещением любого $T_{i}$ для всехi.

Remarks: Выражение внутриnoexcept эквивалентно логическому И is_nothrow_move_constructible_v< $T_{i}$ > для всехi. Эта функция не должна участвовать в разрешении перегрузки, за исключением случаев, когда она is_move_constructible_v< $T_{i}$ > предназначенаtrue для всехi.

template <class T> constexpr variant(T&& t) noexcept(see below);

Позвольте $T_{j}$ быть типом, который определяется следующим образом: построить мнимую функциюFUN( $T_{i}$ ) для каждого альтернативного типа $T_{i}$ . Перегрузка,FUN( $T_{j}$ ) выбранная разрешением перегрузки для выражения,FUN(std::forward<T>(t)) определяет альтернативу, $T_{j}$ которая является типом содержащегося значения после построения.

Effects: Инициализируется*this для хранения альтернативного типа $T_{j}$ и напрямую инициализирует содержащееся в нем значение, как если бы оно было инициализировано напрямую без использования спискаstd::forward<T>(t).

Postconditions: holds_alternative< $T_{j}$ >(*this) естьtrue.

Throws: Любое исключение, вызванное инициализацией выбранной альтернативы $T_{j}$ .

Remarks: Эта функция не будет участвовать в разрешении перегрузки , если только is_same_v<decay_t<T>, variant> не будетfalse, если толькоdecay_t<T> не является ни специализации ,in_place_type_t ни специализацииin_place_index_t, если толькоis_constructible_v< $T_{j}$ , T> не будетtrue, и если выражение (с того вышеупомянутый набор функций мнимых) хорошо сформированы.FUN(std::forward<T>(t)) FUN

[ Note:

variant<string, string> v("abc");

неправильно сформирован, поскольку оба альтернативных типа имеют одинаково жизнеспособный конструктор для аргумента. ] — end note

Выражение внутриnoexcept эквивалентно is_nothrow_constructible_v< $T_{j}$ , T>. Если $T_{j}$ выбранный конструктор является конструктором constexpr, этот конструктор должен быть конструктором constexpr.

template <class T, class... Args> constexpr explicit variant(in_place_type_t<T>, Args&&... args);

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаT с аргументамиstd::forward<Args>(args)....

Postconditions: holds_alternative<T>(*this) естьtrue.

Throws: Любое исключение, вызванное вызовом выбранного конструктораT.

Remarks: Эта функция не должна участвовать в разрешении перегрузки, если только одно вхождениеT inTypes... и is_constructible_v<T, Args...> istrue. ЕслиTвыбранный конструктор является конструктором constexpr, этот конструктор должен быть конструктором constexpr.

template <class T, class U, class... Args> constexpr explicit variant(in_place_type_t<T>, initializer_list il, Args&&... args);

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаT с аргументамиil, std::forward<Args>(args)....

Postconditions: holds_alternative<T>(*this) естьtrue.

Throws: Любое исключение, вызванное вызовом выбранного конструктораT.

Remarks: Эта функция не должна участвовать в разрешении перегрузки, если только одно вхождениеT inTypes... и is_constructible_v<T, initializer_list&, Args...> istrue. ЕслиTвыбранный конструктор является конструктором constexpr, этот конструктор должен быть конструктором constexpr.

template <size_t I, class... Args> constexpr explicit variant(in_place_index_t, Args&&... args);

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования списка $T_{I}$ с аргументамиstd::forward<Args>(args)....

Postconditions: index() естьI.

Throws: Любое исключение, вызванное вызовом выбранного конструктора $T_{I}$ .

Remarks: Эта функция не должна участвовать в разрешении перегрузки, если только

(30.1)
I меньше чемsizeof...(Types) и
(30.2)
is_constructible_v< $T_{I}$ , Args...> естьtrue.

Если $T_{I}$ выбранный конструктор является конструктором constexpr, этот конструктор должен быть конструктором constexpr.

template <size_t I, class U, class... Args> constexpr explicit variant(in_place_index_t, initializer_list il, Args&&... args);

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования списка $T_{I}$ с аргументамиil, std::forward<Args>(args)....

Postconditions: index() естьI.

Remarks: Эта функция не должна участвовать в разрешении перегрузки, если только

(33.1)
I меньше чемsizeof...(Types) и
(33.2)
is_constructible_v< $T_{I}$ , initializer_list&, Args...> естьtrue.

// allocator-extended constructors template <class Alloc> variant(allocator_arg_t, const Alloc& a); template <class Alloc> variant(allocator_arg_t, const Alloc& a, const variant& v); template <class Alloc> variant(allocator_arg_t, const Alloc& a, variant&& v); template <class Alloc, class T> variant(allocator_arg_t, const Alloc& a, T&& t); template <class Alloc, class T, class... Args> variant(allocator_arg_t, const Alloc& a, in_place_type_t<T>, Args&&... args); template <class Alloc, class T, class U, class... Args> variant(allocator_arg_t, const Alloc& a, in_place_type_t<T>, initializer_list il, Args&&... args); template <class Alloc, size_t I, class... Args> variant(allocator_arg_t, const Alloc& a, in_place_index_t, Args&&... args); template <class Alloc, size_t I, class U, class... Args> variant(allocator_arg_t, const Alloc& a, in_place_index_t, initializer_list il, Args&&... args);

Requires: Alloc должны соответствовать требованиям дляAllocator.

Effects: Эквивалентен предыдущим конструкторам, за исключением того, что содержащееся значение создается с помощьюuses-allocator construction.