std::optional<T>::emplace

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Dienstprogramm-Bibliotheken

Sprachunterstützung Typunterstützung (Basistypen, RTTI) Bibliotheks-Feature-Test-Makros (C++20) Programm-Dienstprogramme Variadische Funktionen initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Coroutine-Unterstützung (C++20) Vertragsunterstützung (C++26) Drei-Wege-Vergleich three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Allgemeine Hilfsmittel Funktionsobjekte Bit-Manipulation (C++20) bitset hash (C++11) Relationale Operatoren (in C++20 veraltet) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Ganzzahl-Vergleichsfunktionen cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Swap und Typ-Operationen swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Gemeinsame Vokabulartypen pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::optional

Memberfunktionen

optional::optional

optional::~optional

optional::operator=

Observer

optional::operator->optional::operator*

optional::operator booloptional::has_value

optional::value

optional::value_or

Iteratoren

optional::begin (C++26)

optional::end (C++26)

Monadische Operationen

optional::and_then (C++23)

optional::transform (C++23)

optional::or_else (C++23)

Modifizierer

optional::emplace

optional::swap

optional::reset

Nicht-Member-Funktionen

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)

make_optional

swap(std::optional)

Deduction Guides

Hilfsklassen

hash<std::optional>

nullopt_t

in_place_t

bad_optional_access

Hilfsobjekte

nullopt

in_place

 

template< class... Args > T& emplace( Args&&... args );	(1)	(seit C++17) (constexpr seit C++20)
template< class U, class... Args > T& emplace( std::initializer_list<U> ilist, Args&&... args );	(2)	(seit C++17) (constexpr seit C++20)

Konstruiert den enthaltenen Wert an Ort und Stelle. Wenn *this bereits einen Wert vor dem Aufruf enthält, wird der enthaltene Wert durch Aufruf seines Destruktors zerstört.

1) Initialisiert den enthaltenen Wert durch direkte Initialisierung (aber nicht durch direkte Listeninitialisierung) mit std::forward<Args>(args)... als Parameter.

2) Initialisiert den enthaltenen Wert durch Aufruf seines Konstruktors mit ilist, std::forward<Args>(args)... als Parameter. Diese Überladung nimmt nur an der Auflösung von Überladungen teil, wenn std::is_constructible<T, std::initializer_list<U>&, Args&&...>::value true ist.

Parameter

args...	-	die Argumente, die an den Konstruktor übergeben werden sollen
ilist	-	die Initialisierungsliste, die an den Konstruktor übergeben werden soll
Typanforderungen
- T muss für Überladung (1) aus Args... konstruierbar sein
- T muss für Überladung (2) aus std::initializer_list und Args... konstruierbar sein

Rückgabewert

Eine Referenz auf den neuen enthaltenen Wert.

Ausnahmen

Jede Ausnahme, die vom ausgewählten Konstruktor von T ausgelöst wird. Wenn eine Ausnahme ausgelöst wird, enthält *this nach diesem Aufruf keinen Wert (der zuvor enthaltene Wert wurde, falls vorhanden, zerstört).

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_optional	202106L	(C++20) (DR20)	constexpr bis zum Ende ((1,2))

Beispiel

Führen Sie diesen Code aus

#include <iostream>
#include <optional>
 
struct A
{
    std::string s;
 
    A(std::string str) : s(std::move(str)), id{n++} { note("+ constructed"); }
    ~A() { note("~ destructed"); }
    A(const A& o) : s(o.s), id{n++} { note("+ copy constructed"); }
    A(A&& o) : s(std::move(o.s)), id{n++} { note("+ move constructed"); }
 
    A& operator=(const A& other)
    {
        s = other.s;
        note("= copy assigned");
        return *this;
    }
 
    A& operator=(A&& other)
    {
        s = std::move(other.s);
        note("= move assigned");
        return *this;
    }
 
    inline static int n{};
    int id{};
    void note(auto s) { std::cout << "  " << s << " #" << id << '\n'; }
};
 
int main()
{
    std::optional<A> opt;
 
    std::cout << "Assign:\n";
    opt = A("Lorem ipsum dolor sit amet, consectetur adipiscing elit nec.");
 
    std::cout << "Emplace:\n";
    // As opt contains a value it will also destroy that value
    opt.emplace("Lorem ipsum dolor sit amet, consectetur efficitur.");
 
    std::cout << "End example\n";
}

Ausgabe

Assign:
  + constructed #0
  + move constructed #1
  ~ destructed #0
Emplace:
  ~ destructed #1
  + constructed #2
End example
  ~ destructed #2

Defect Reports

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
P2231R1	C++20	emplace war nicht constexpr, obwohl die erforderlichen Operationen in C++20 constexpr sein können	zu constexpr gemacht

Siehe auch

operator=

weist Inhalte zu (public member function)