std::construct_at

 

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

 

Speicherverwaltungsbibliothek

voidify (nur Exposition*) Algorithmen für uninitialisierten Speicher uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) Beschränkte uninitialisierte Speicher-Algorithmen ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) C-Bibliothek malloc calloc realloc aligned_alloc (C++17) free

Allocatoren allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20)  scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) Speicherressourcen pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) Unterstützung für Garbage Collection declare_reachable (C++11)(bis C++23) undeclare_reachable (C++11)(bis C++23) declare_no_pointers (C++11)(bis C++23) undeclare_no_pointers (C++11)(bis C++23) pointer_safety (C++11)(bis C++23) get_pointer_safety (C++11)(bis C++23) Uninitialisierter Speicher raw_storage_iterator (bis C++20*) get_temporary_buffer (bis C++20*) return_temporary_buffer (bis C++20*) Explizites Lebenszeitmanagement start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

Smarte Zeiger unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (bis C++17*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) Low-Level-Speicher verwaltung operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow Sonstiges pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26)

 

Definiert in Header <memory>
template< class T, class... Args > constexpr T* construct_at( T* location, Args&&... args );		(seit C++20)

Erstellt ein T-Objekt, das mit den Argumenten in args an der angegebenen Adresse location initialisiert wird.

Äquivalent zu if constexpr (std::is_array_v<T>)
    return ::new (voidify (*location)) T[1]();
else
    return ::new (voidify (*location)) T(std::forward<Args>(args)...); , mit der Ausnahme, dass construct_at bei der Auswertung von konstanten Ausdrücken verwendet werden kann(bis C++26).

Wenn construct_at bei der Auswertung eines konstanten Ausdrucks expr aufgerufen wird, muss location entweder auf einen Speicher zeigen, der durch std::allocator<T>::allocate erhalten wurde, oder auf ein Objekt, dessen Lebensdauer innerhalb der Auswertung von expr begonnen hat.

Dieser Überladung nimmt nur an der Überladungsauflösung teil, wenn alle folgenden Bedingungen erfüllt sind:

• std::is_unbounded_array_v<T> ist false.
• ::new(std::declval<void*>()) T(std::declval<Args>()...) ist wohlgeformt, wenn es als nicht ausgewerteter Operand behandelt wird.

Wenn std::is_array_v<T> true ist und sizeof...(Args) ungleich Null ist, ist das Programm fehlerhaft.

Parameter

location	-	Zeiger auf den uninitialisierten Speicher, auf dem ein T-Objekt konstruiert werden soll
args...	-	Argumente, die für die Initialisierung verwendet werden

Rückgabewert

location

Beispiel

Führen Sie diesen Code aus

#include <bit>
#include <memory>
 
class S
{
    int x_;
    float y_;
    double z_;
public:
    constexpr S(int x, float y, double z) : x_{x}, y_{y}, z_{z} {}
    [[nodiscard("no side-effects!")]]
    constexpr bool operator==(const S&) const noexcept = default;
};
 
consteval bool test()
{
    alignas(S) unsigned char storage[sizeof(S)]{};
    S uninitialized = std::bit_cast<S>(storage);
    std::destroy_at(&uninitialized);
    S* ptr = std::construct_at(std::addressof(uninitialized), 42, 2.71f, 3.14);
    const bool res{*ptr == S{42, 2.71f, 3.14}};
    std::destroy_at(ptr);
    return res;
}
static_assert(test());
 
int main() {}

Fehlerberichte

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

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
LWG 3436	C++20	construct_at konnte keine Objekte von Array-Typen erstellen	kann begrenzte Arrays wertinitialisieren
LWG 3870	C++20	construct_at konnte Objekte von cv-qualifizierten Typen erstellen	nur cv-unqualifizierte Typen sind zulässig

Siehe auch

allocate	alloziiert uninitialisierten Speicher (public member function of std::allocator<T>)
construct [static]	konstruiert ein Objekt im allozierten Speicher (function template)
destroy_at (C++17)	zerstört ein Objekt an einer gegebenen Adresse (Funktions-Template)
ranges::construct_at (C++20)	erstellt ein Objekt an einer gegebenen Adresse (Algorithmus-Funktionsobjekt)