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

	(1)
template <class T, class... Args> T& emplace(Args&&... args);		(с C++17) (до C++20)
template <class T, class... Args> constexpr T& emplace(Args&&... args);		(с C++20)
	(2)
template <class T, class U, class... Args> T& emplace( std::initializer_list<U> il, Args&&... args );		(с C++17) (до C++20)
template <class T, class U, class... Args> constexpr T& emplace( std::initializer_list<U> il, Args&&... args );		(с C++20)
	(3)
template <std::size_t I, class... Args> std::variant_alternative_t<I, variant>& emplace( Args&&... args );		(с C++17) (до C++20)
template <std::size_t I, class... Args> constexpr std::variant_alternative_t<I, variant>& emplace( Args&&... args );		(с C++20)
	(4)
template <std::size_t I, class U, class... Args> std::variant_alternative_t<I, variant>& emplace( std::initializer_list<U> il, Args&&... args );		(с C++17) (до C++20)
template <std::size_t I, class U, class... Args> constexpr std::variant_alternative_t<I, variant>& emplace( std::initializer_list<U> il, Args&&... args );		(с 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 может стать безусловным по исключению.

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

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

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

Параметры

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

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

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

Исключения

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=

присваивает переменную
(публичный член-функция)

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