std::atomic_ref<T>:: compare_exchange_weak, std::atomic_ref<T>:: compare_exchange_strong

Vergleicht atomar die Wertdarstellung des referenzierten Objekts mit der von expected , und falls diese bitweise gleich sind, ersetzt die erstere durch desired (führt einen Lese-Modifizieren-Schreibe-Vorgang aus). Andernfalls lädt den tatsächlichen Wert, der im referenzierten Objekt gespeichert ist, in expected (führt einen Ladevorgang aus).

Diese Überladungen nehmen nur dann an der Überladungsauflösung teil, wenn std:: is_const_v < T > false ist.

Wenn failure nicht std:: memory_order_relaxed , std:: memory_order_consume , std:: memory_order_acquire oder std:: memory_order_seq_cst ist, ist das Verhalten undefiniert.

Parameter

Rückgabewert

true wenn das referenzierte Objekt erfolgreich geändert wurde, false andernfalls.

Hinweise

Der Vergleich und das Kopieren erfolgen bitweise (ähnlich wie std::memcmp und std::memcpy ); es werden keine Konstruktoren, Zuweisungsoperatoren oder Vergleichsoperatoren verwendet.

Die schwachen Formen (1,2) der Funktionen können sporadisch fehlschlagen, das heißt, sie können sich so verhalten, als ob * this ! = expected selbst wenn sie gleich sind. Wenn ein Compare-and-Exchange in einer Schleife stattfindet, liefert die schwache Version auf einigen Plattformen eine bessere Leistung.

Wenn ein schwacher Compare-and-Exchange eine Schleife erfordern würde und ein starker nicht, ist der starke vorzuziehen, es sei denn, die Objektdarstellung von value_type kann Trap-Bits enthalten oder bietet mehrere Objektdarstellungen für denselben Wert (z.B. Gleitkomma-NaN). In diesen Fällen funktioniert schwacher Compare-and-Exchange typischerweise, da er schnell auf eine stabile Objektdarstellung konvergiert.

Für eine Union mit Bits, die an den Wertdarstellungen einiger Mitglieder teilnehmen, aber nicht an anderen, könnte Compare-and-Exchange immer fehlschlagen, weil solche Padding-Bits unbestimmte Werte haben, wenn sie nicht an der Wertdarstellung des aktiven Mitglieds teilnehmen.

Padding-Bits, die niemals an der Wertdarstellung eines Objekts teilnehmen, werden ignoriert.

Fehlerberichte

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

Beispiel