Namespaces
Variants

    std::indirect<T, Allocator>:: operator=

    From de.cppreference.net
    C++
    Memory management library
    ( exposition only* )
    Allocators
    Uninitialized memory algorithms
    Constrained uninitialized memory algorithms
    Memory resources
    Uninitialized storage (until C++20)
    ( until C++20* )
    ( until C++20* )
    ( until C++20* )

    Garbage collector support (until C++23)
    (C++11) (until C++23)
    (C++11) (until C++23)
    (C++11) (until C++23)
    (C++11) (until C++23)
    (C++11) (until C++23)
    (C++11) (until C++23)
    std::indirect
    constexpr indirect & operator = ( const indirect & other ) ;
    		(1) (seit C++26)
    constexpr indirect & operator = ( indirect && other ) noexcept ( /* siehe unten */ ) ;
    		(2) (seit C++26)
    template < class U = T >
    constexpr indirect & operator = ( U && value ) ;
    		(3) (seit C++26)

    Ersetzt den Inhalt von * this durch value oder den Inhalt von other .

    Sei traits gleich std:: allocator_traits < Allocator > :

    1) Wenn std:: addressof ( other ) == this true ist, tut nichts. Andernfalls sei need_update gleich traits :: propagate_on_container_copy_assignment :: value :
    • Wenn other wertlos ist, wird * this wertlos und das von * this gehaltene Objekt (falls vorhanden) wird mittels traits :: destroy zerstört und anschließend der Speicher freigegeben.
    • Andernfalls, wenn alloc == other. alloc true ist und * this nicht wertlos ist, entspricht dies ** this = * other .
    • Andernfalls:
    1. Konstruiert ein neues gehaltenes Objekt in * this mittels traits :: construct mit * other als Argument, unter Verwendung des Allokators update_alloc ? other. alloc : alloc .
    2. Das zuvor in * this gehaltene Objekt (falls vorhanden) wird mittels traits :: destroy zerstört und anschließend der Speicher freigegeben.
    3. p zeigt auf das neue gehaltene Objekt.
    Nach dem Aktualisieren des Objekts, das im Besitz von * this ist, falls need_update gleich true ist, wird alloc durch eine Kopie von other. alloc ersetzt.
    Wenn std:: is_copy_assignable_v < T > && std:: is_copy_constructible_v < T > false ist, ist das Programm fehlerhaft.
    2) Wenn std:: addressof ( other ) == this true ist, tut nichts. Andernfalls sei need_update gleich traits :: propagate_on_container_move_assignment :: value :
    • Wenn other wertlos ist, wird * this wertlos und das von * this gehaltene Objekt (falls vorhanden) wird mittels traits :: destroy zerstört und anschließend der Speicher freigegeben.
    • Andernfalls, wenn alloc == other. alloc true ist, werden die gehaltenen Objekte in * this und other getauscht; das gehaltene Objekt in other (falls vorhanden) wird anschließend mittels traits :: destroy zerstört und der Speicher freigegeben.
    • Andernfalls:
    1. Konstruiert ein neues gehaltenes Objekt in * this mittels traits :: construct mit std :: move ( * other ) als Argument, unter Verwendung des Allokators update_alloc ? other. alloc : alloc .
    2. Das zuvor in * this gehaltene Objekt (falls vorhanden) wird mittels traits :: destroy zerstört und anschließend der Speicher freigegeben.
    3. p zeigt auf das neue gehaltene Objekt.
    Nach dem Aktualisieren der Objekte, die im Besitz von * this und other sind, falls need_update den Wert true hat, wird alloc durch eine Kopie von other. alloc ersetzt.
    Wenn std:: is_copy_constructible_v < T > false ist, ist das Programm fehlerhaft.
    3) Wenn * this wertlos ist, dann konstruiert ein owned Objekt mit std:: forward < U > ( value ) unter Verwendung von alloc . Andernfalls äquivalent zu ** this = std:: forward < U > ( value ) .
    Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn alle folgenden Bedingungen erfüllt sind:

    Inhaltsverzeichnis

    Parameter

    other - ein weiteres indirect Objekt, dessen besessener Wert (falls vorhanden) für die Zuweisung verwendet wird
    value - Wert, der dem besessenen Wert zugewiesen oder für dessen Konstruktion verwendet wird

    Rückgabewert

    * this

    Exceptions

    1) Wenn eine Exception ausgelöst wird, bleibt das Ergebnis von this - > valueless_after_move ( ) unverändert.
    Wenn während des Aufrufs des ausgewählten Kopierkonstruktors von T eine Exception ausgelöst wird, tritt keine Wirkung ein.
    Wenn während des Aufrufs des Kopierzuweisungsoperators von T eine Exception ausgelöst wird, ist der Zustand von this - > p durch die Exception-Safety-Garantie des Kopierzuweisungsoperators von T definiert.
    2) Wenn eine Ausnahme ausgelöst wird, gibt es keine Auswirkungen auf * this oder other .
    noexcept Spezifikation:
    noexcept ( std:: allocator_traits < Allocator > ::

    propagate_on_container_move_assignment :: value

    || std:: allocator_traits < Allocator > :: is_always_equal :: value )

    Beispiel

    Dieser Abschnitt ist unvollständig
    Grund: Kein Beispiel