Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::variant
template < class T, class ... Args >
T & emplace ( Args && ... args ) ;
(1) (desde C++17)
(constexpr desde C++20)
template < class T, class U, class ... Args >
T & emplace ( std:: initializer_list < U > il, Args && ... args ) ;
(2) (desde C++17)
(constexpr desde C++20)
template < std:: size_t I, class ... Args >
std:: variant_alternative_t < I, variant > & emplace ( Args && ... args ) ;
(3) (desde C++17)
(constexpr desde 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) (desde C++17)
(constexpr desde C++20)

Crea un nuevo valor in situ, en un objeto variant existente

1) Equivalente a emplace < I > ( std:: forward < Args > ( args ) ... ) , donde I es el índice base cero de T en Types... .
  • Esta sobrecarga participa en la resolución de sobrecarga solo si std:: is_constructible_v < T, Args... > es true , y T aparece exactamente una vez en Types... .
2) Equivalente a emplace < I > ( il, std:: forward < Args > ( args ) ... ) , donde I es el índice base cero de T en Types... .
3) Primero, destruye el valor contenido actualmente (si existe). Luego inicializa directamente el valor contenido como si estuviera construyendo un valor de tipo T_I con los argumentos std:: forward < Args > ( args ) ... . Si se lanza una excepción, * this puede quedar valueless_by_exception .
  • Esta sobrecarga participa en la resolución de sobrecarga solo si std:: is_constructible_v < T_I, Args... > es true .
  • Es un error en tiempo de compilación si I no es menor que sizeof... ( Types ) .
4) Primero, destruye el valor contenido actualmente (si existe). Luego inicializa directamente el valor contenido como si construyera un valor de tipo T_I con los argumentos il, std:: forward < Args > ( args ) ... . Si se lanza una excepción, * this puede quedar valueless_by_exception .

Contenidos

Parámetros

args - argumentos del constructor a utilizar al construir el nuevo valor
il - argumento initializer_list a utilizar al construir el nuevo valor

Valor de retorno

Una referencia al nuevo valor contenido.

Excepciones

1-4) Cualquier excepción lanzada durante la inicialización del valor contenido.

Notas

Macro de prueba de características Valor Estándar Característica
__cpp_lib_variant 202106L (C++20)
(DR) 		std::variant completamente constexpr ( 1-4 )

Ejemplo

Ejecutar este código 
#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
}

Salida: 

abc
def
ghi

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

DR Aplicado a Comportamiento publicado Comportamiento correcto
P2231R1 C++20 emplace no era constexpr mientras que las operaciones requeridas pueden ser constexpr en C++20 hecho constexpr

Véase también

asigna un variant
(función miembro pública)