std::uses_allocator_construction_args

 

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>
T ist keine Spezialisierung von std::pair
template< class T, class Alloc, class... Args > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     Args&&... args ) noexcept;	(1)	(seit C++20)
T ist eine Spezialisierung von std::pair
template< class T, class Alloc, class Tuple1, class Tuple2 > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::piecewise_construct_t, Tuple1&& x, Tuple2&& y ) noexcept;	(2)	(seit C++20)
template< class T, class Alloc > constexpr auto uses_allocator_construction_args( const Alloc& alloc ) noexcept;	(3)	(seit C++20)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     U&& u, V&& v ) noexcept;	(4)	(seit C++20)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::pair<U, V>& pr ) noexcept;	(5)	(seit C++23)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     const std::pair<U, V>& pr ) noexcept;	(6)	(seit C++20)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::pair<U, V>&& pr ) noexcept;	(7)	(seit C++20)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     const std::pair<U, V>&& pr ) noexcept;	(8)	(seit C++23)
template< class T, class Alloc, class NonPair > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     NonPair&& non_pair ) noexcept;	(9)	(seit C++20)

Bereitet die Argumentenliste vor, die zum Erstellen eines Objekts des gegebenen Typs T mittels Uses-Allocator-Konstruktion benötigt wird.

1) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T keine Spezialisierung von std::pair ist. Gibt ein std::tuple zurück, das wie folgt ermittelt wird:

• Wenn std::uses_allocator_v<T, Alloc> false ist und std::is_constructible_v<T, Args...> true ist, gibt zurück std::forward_as_tuple(std::forward<Args>(args)...).
• Andernfalls, wenn std::uses_allocator_v<T, Alloc> true ist und std::is_constructible_v<T, std::allocator_arg_t, const Alloc&, Args...> true ist, gibt zurück:
  std::tuple<std::allocator_arg_t, const Alloc&, Args&&...>(std::allocator_arg, alloc,
                                                            std::forward<Args>(args)....
• Andernfalls, wenn std::uses_allocator_v<T, Alloc> true ist und std::is_constructible_v<T, Args..., const Alloc&> true ist, gibt zurück std::forward_as_tuple(std::forward<Args>(args)..., alloc).
• Andernfalls ist das Programm fehlerhaft.

2) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist. Für T, das std::pair<T1, T2> ist, äquivalent zu

return std::make_tuple(std::piecewise_construct,
    std::apply([&alloc](auto&&... args1)
        {
            return std::uses_allocator_construction_args<T1>(alloc,
                       std::forward<decltype(args1)>(args1)...);
        }, std::forward<Tuple1>(x)
    ),
    std::apply([&alloc](auto&&... args2)
        {
            return std::uses_allocator_construction_args<T2>(alloc,
                       std::forward<decltype(args2)>(args2)...);
        }, std::forward<Tuple2>(y)
    )
);

3) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist. Äquivalent zu

return std::uses_allocator_construction_args<T>(alloc,
    std::piecewise_construct, std::tuple<>{}, std::tuple<>{}
);

4) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist. Äquivalent zu

return std::uses_allocator_construction_args<T>(alloc,
    std::piecewise_construct,
    std::forward_as_tuple(std::forward<U>(u)),
    std::forward_as_tuple(std::forward<V>(v))
);

5,6) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist. Äquivalent zu

return std::uses_allocator_construction_args<T>(alloc,
    std::piecewise_construct,
    std::forward_as_tuple(pr.first),
    std::forward_as_tuple(pr.second)
);

7,8) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist. Äquivalent zu

return std::uses_allocator_construction_args<T>(alloc,
    std::piecewise_construct,
    std::forward_as_tuple(std::get<0>(std::move(pr))),
    std::forward_as_tuple(std::get<1>(std::move(pr)))
);

9) Dieser Überladungsfall nimmt nur an der Overload Resolution teil, wenn T eine Spezialisierung von std::pair ist, und gegeben der expositions-nur Funktion Template

template<class A, class B>
void /*deduce-as-pair*/(const std::pair<A, B>&);

, /*deduce-as-pair*/(non_pair) ist fehlerhaft, wenn als unevaluierter Operand betrachtet.
Sei die expositions-nur Klasse pair-constructor definiert als

class /*pair-constructor*/
{
    const Alloc& alloc_; // exposition only
    NonPair&     u_;     // exposition only
 
    constexpr reconstruct(const std::remove_cv<T>& p) const // exposition only
    {
        return std::make_obj_using_allocator<std::remove_cv<T>>(alloc_, p);
    }
 
    constexpr reconstruct(std::remove_cv<T>&& p) const // exposition only
    {
        return std::make_obj_using_allocator<std::remove_cv<T>>(alloc_, std::move(p));
    }
 
public:
    constexpr operator std::remove_cv<T>() const
    {
        return reconstruct(std::forward<NonPair>(u_));
    }
};

Dieser Überladungsfall ist äquivalent zu return std::make_tuple(pair_construction);, wobei pair_construction ein Wert vom Typ pair-constructor ist, dessen alloc_ und u_ Mitglieder alloc und non_pair sind.

Parameter

alloc	-	der zu verwendende Allokator
args	-	die Argumente, die an den Konstruktor von T übergeben werden sollen
x	-	Tupel von Argumenten, die an die Konstruktoren des first-Datenmembers von T übergeben werden sollen
y	-	Tupel von Argumenten, die an die Konstruktoren des second-Datenmembers von T übergeben werden sollen
u	-	einzelnes Argument, das an den Konstruktor des first-Datenmembers von T übergeben werden soll
v	-	einzelnes Argument, das an den Konstruktor des second-Datenmembers von T übergeben werden soll
pr	-	ein Paar, dessen first-Datenmember an den Konstruktor des first-Datenmembers von T übergeben wird und dessen second-Datenmember an den Konstruktor des second-Datenmembers von T übergeben wird
non_pair	-	einzelnes Argument, das in ein std::pair für die weitere Konstruktion konvertiert wird

Rückgabewert

std::tuple von Argumenten, die geeignet sind, an den Konstruktor von T übergeben zu werden.

Hinweise

Die Überladungen (2-9) stellen die Weitergabe von Allocator an std::pair bereit, das weder die Leading-Allocator- noch die Trailing-Allocator-Aufrufkonventionen unterstützt (im Gegensatz zu z. B. std::tuple, das die Leading-Allocator-Konvention verwendet).

Bei der Verwendung in der Uses-Allocator-Konstruktion konvertiert die Konvertierungsfunktion von pair-constructor zunächst das bereitgestellte Argument in std::pair und erstellt dann das Ergebnis aus diesem std::pair mittels Uses-Allocator-Konstruktion.

Fehlermeldungen

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 3525	C++20	keine Überladung konnte in Paare konvertierbare Nicht-pair-Typen behandeln	Rekonstruktionsüberladung hinzugefügt

Siehe auch

uses_allocator (C++11)	prüft, ob der angegebene Typ Uses-Allocator-Konstruktion unterstützt (Klassen-Template)
make_obj_using_allocator (C++20)	erstellt ein Objekt des gegebenen Typs mittels Uses-Allocator-Konstruktion (Funktions-Template)
uninitialized_construct_using_allocator (C++20)	erstellt ein Objekt des gegebenen Typs an einer angegebenen Speicherstelle mittels Uses-Allocator-Konstruktion (Funktions-Template)