Namespaces
Variants
Views
Actions

std::atomic<T>::operator+=,-=,&=,|=,^=

From cppreference.com
< cpp‎ | atomic‎ | atomic
 
 
Concurrency support library
Threads
(C++11)
(C++20)
(C++20)
this_thread namespace
(C++11)
(C++11)
(C++11)
Mutual exclusion
(C++11)
(C++11)  
Generic lock management
(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
Safe Reclamation
(C++26)
(C++26)
Hazard Pointers

Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11)(deprecated in C++20)
(C++11)(deprecated in C++20)
Memory ordering
Free functions for atomic operations
Free functions for atomic flags
 
 
member only of atomic<Integral > specializations
and atomic<Floating > specializations(since C++20)
T operator+=( T arg ) noexcept;
(1) (since C++11)
T operator+=( T arg ) volatile noexcept;
(2) (since C++11)
T operator-=( T arg ) noexcept;
(3) (since C++11)
T operator-=( T arg ) volatile noexcept;
(4) (since C++11)
member only of atomic<T*> partial specialization
T* operator+=( std::ptrdiff_t arg ) noexcept;
(5) (since C++11)
T* operator+=( std::ptrdiff_t arg ) volatile noexcept;
(6) (since C++11)
T* operator-=( std::ptrdiff_t arg ) noexcept;
(7) (since C++11)
T* operator-=( std::ptrdiff_t arg ) volatile noexcept;
(8) (since C++11)
member only of atomic<Integral > specializations
T operator&=( T arg ) noexcept;
(9) (since C++11)
T operator&=( T arg ) volatile noexcept;
(10) (since C++11)
T operator|=( T arg ) noexcept;
(11) (since C++11)
T operator|=( T arg ) volatile noexcept;
(12) (since C++11)
T operator^=( T arg ) noexcept;
(13) (since C++11)
T operator^=( T arg ) volatile noexcept;
(14) (since C++11)

Atomically replaces the current value with the result of computation involving the previous value and arg. The operation is read-modify-write operation.

  • operator+= performs atomic addition. Equivalent to return fetch_add(arg) + arg;.
  • operator-= performs atomic subtraction. Equivalent to return fetch_sub(arg) - arg;.
  • operator&= performs atomic bitwise and. Equivalent to return fetch_and(arg) & arg;.
  • operator|= performs atomic bitwise or. Equivalent to return fetch_or(arg) | arg;.
  • operator^= performs atomic bitwise exclusive or. Equivalent to return fetch_xor(arg) ^ arg;.
1-4) For signed integral types, arithmetic is defined to use two’s complement representation. There are no undefined results.

For floating-point types, the floating-point environment in effect may be different from the calling thread's floating-point environment. The operation need not be conform to the corresponding std::numeric_limits traits but is encouraged to do so. If the result is not a representable value for its type, the result is unspecified but the operation otherwise has no undefined behavior.

(since C++20)
5-8) The result may be an undefined address, but the operations otherwise have no undefined behavior.
If T is not a complete object type, the program is ill-formed.


It is deprecated if std::atomic<T>::is_always_lock_free is false and any volatile overload participates in overload resolution.

(since C++20)

Contents

[edit] Parameters

arg - the argument for the arithmetic operation

[edit] Return value

The resulting value (that is, the result of applying the corresponding binary operator to the value immediately preceding the effects of the corresponding member function in the modification order of *this).

[edit] Notes

Unlike most compound assignment operators, the compound assignment operators for atomic types do not return a reference to their left-hand arguments. They return a copy of the stored value instead.

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
P0558R1 C++11 arithmetic permitted on pointers to (possibly cv-qualified) void or function made ill-formed

[edit] See also

increments or decrements the atomic value by one
(public member function) [edit]