std::variant<Types...>::emplace

template< class T, class... Args > T& emplace( Args&&... args );	(1)	(начиная с C++17) (constexpr начиная с C++20)
template< class T, class U, class... Args > T& emplace( std::initializer_list<U> il, Args&&... args );	(2)	(начиная с C++17) (constexpr начиная с C++20)
template< std::size_t I, class... Args > std::variant_alternative_t<I, variant>& emplace( Args&&... args );	(3)	(начиная с C++17) (constexpr начиная с C++20)
template< std::size_t I, class U, class... Args > std::variant_alternative_t<I, variant>& emplace( std::initializer_list<U> il, Args&&... args );	(4)	(начиная с C++17) (constexpr начиная с C++20)

Создаёт новое значение на месте в существующем объекте variant

1) Эквивалентно emplace<I>(std::forward<Args>(args)...), где I — индекс T в Types..., отсчитываемый от нуля.

Эта перегрузка участвует в разрешении перегрузки только если std::is_constructible_v<T, Args...> является true, а T встречается в Types... ровно один раз.

2) Эквивалентно emplace<I>(il, std::forward<Args>(args)...), где I — индекс T в Types..., отсчитываемый от нуля.

Эта перегрузка участвует в разрешении перегрузки только если std::is_constructible_v<T, std::initializer_list<U>&, Args...> является true, а T встречается в Types... ровно один раз.

3) Сначала уничтожает текущее хранящееся значение (если оно есть). Затем напрямую инициализирует хранящееся значение, как если бы конструировалось значение типа T_I с аргументами std::forward<Args>(args).... Если выбрасывается исключение, *this может стать valueless_by_exception.

Эта перегрузка участвует в разрешении перегрузки только если std::is_constructible_v<T_I, Args...> является true.
Ошибка компиляции возникает, если I не меньше sizeof...(Types).

4) Сначала уничтожает текущее хранящееся значение (если оно есть). Затем напрямую инициализирует хранящееся значение, как если бы конструировалось значение типа T_I с аргументами il, std::forward<Args>(args).... Если выбрасывается исключение, *this может стать valueless_by_exception.

Эта перегрузка участвует в разрешении перегрузки только если std::is_constructible_v<T_I, std::initializer_list<U>&, Args...> является true.
Ошибка компиляции возникает, если I не меньше sizeof...(Types).

Параметры

args	-	аргументы конструктора, используемые при создании нового значения
il	-	аргумент initializer_list, используемый при создании нового значения

Возвращаемое значение

Ссылка на новое хранящееся значение.

Исключения

1-4) Любое исключение, выброшенное при инициализации хранящегося значения.

Примечания

Макрос проверки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_variant`	`202106L`	(C++20) (DR)	Полная поддержка constexpr `std::variant` (1-4)

Пример

#include <iostream>
#include <string>
#include <variant>

int main()
{
    std::variant<std::string> v1;
    v1.emplace<0>("abc"); // OK
    std::cout << std::get<0>(v1) << '\n';
    v1.emplace<std::string>("def"); // OK
    std::cout << std::get<0>(v1) << '\n';

    std::variant<std::string, std::string> v2;
    v2.emplace<1>("ghi"); // OK
    std::cout << std::get<1>(v2) << '\n';
    // v2.emplace<std::string>("abc"); -> Error
}

Вывод:

abc
def
ghi

Отчёты об исправлениях

Следующие отчёты об исправлениях, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

DR	Применяется к	Опубликованное поведение	Исправленное поведение
P2231R1	C++20	`emplace` не поддерживал constexpr, хотя требуемые операции могут быть constexpr в C++20	сделан constexpr

См. также

operator=

присваивает variant
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/variant/emplace