Namespaces
Variants

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

    De es.cppreference.net
     
    C++
    Soporte del compilador
    Independiente y alojado
    Lenguaje
    Biblioteca estándar
    Cabeceras de la biblioteca estándar
    Requisitos nombrados
    Macros de prueba de características (C++20)
    Biblioteca de soporte del lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnóstico
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de utilidades generales
    Biblioteca de contenedores
    Biblioteca de iteradores
    Biblioteca de rangos (C++20)
    Biblioteca de algoritmos
    Biblioteca de cadenas
    Biblioteca de procesamiento de texto
    Biblioteca numérica
    Biblioteca de fecha y hora
    Biblioteca de entrada/salida
    Biblioteca del sistema de archivos (C++17)
    Biblioteca de soporte de concurrencia (C++11)
    Biblioteca de control de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de utilidades
    Soporte del lenguaje
    Soporte de tipos (tipos básicos, RTTI)
    Macros de prueba de características de la biblioteca (C++20)
    Utilidades de programa
    Funciones variádicas
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Soporte de corrutinas (C++20)
    Soporte de contratos (C++26)
    Comparación a tres vías
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Utilidades generales
    Operadores relacionales (obsoleto en C++20)
     
    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-place, en un objeto variant existente.

    1) Equivalente a emplace<I>(std::forward<Args>(args)...), donde I es el índice basado en 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 basado en cero de T en Types....
    • Esta sobrecarga participa en la resolución de sobrecarga solo si std::is_constructible_v<T, std::initializer_list<U>&, Args...> es true, y T aparece exactamente una vez en Types....
    3) Primero, destruye el valor actualmente contenido (si lo hay). Luego inicializa-directamente el valor contenido como si construyera un valor de tipo T_I con los argumentos std::forward<Args>(args).... Si se lanza una excepción, *this puede volverse 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 de compilación si I no es menor que sizeof...(Types).
    4) Primero, destruye el valor actualmente contenido (si lo hay). 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 volverse valueless_by_exception.
    • Esta sobrecarga participa en la resolución de sobrecarga solo si std::is_constructible_v<T_I, std::initializer_list<U>&, Args...> es true.
    • Es un error de compilación si I no es menor que sizeof...(Types).

    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)