Namespaces
Variants
Views
Actions

std::atomic<T>::fetch_add

From cppreference.com
< cpp‎ | atomic‎ | atomic
 
 
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
(C++11)
Generic lock management
(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)
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 fetch_add( T arg, std::memory_order order =
                        std::memory_order_seq_cst ) noexcept;
(1) (since C++11)
T fetch_add( T arg, std::memory_order order =
                        std::memory_order_seq_cst ) volatile noexcept;
(2) (since C++11)
member only of atomic<T*> partial specialization
T* fetch_add( std::ptrdiff_t arg,

              std::memory_order order =

                  std::memory_order_seq_cst ) noexcept;
(3) (since C++11)
T* fetch_add( std::ptrdiff_t arg,

              std::memory_order order =

                  std::memory_order_seq_cst ) volatile noexcept;
(4) (since C++11)

Atomically replaces the current value with the result of arithmetic addition of the value and arg. That is, it performs atomic post-increment. The operation is a read-modify-write operation. Memory is affected according to the value of order.

1,2) 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 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)
3,4) The result may be an undefined address, but the operation otherwise has 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 overload (2) or (4) participates in overload resolution.

(since C++20)

Contents

[edit] Parameters

arg - the other argument of arithmetic addition
order - memory order constraints to enforce

[edit] Return value

The value immediately preceding the effects of this function in the modification order of *this.

[edit] Example

#include <array>
#include <atomic>
#include <iostream>
#include <thread>
 
std::atomic<long long> data{10};
std::array<long long, 5> return_values{};
 
void do_work(int thread_num)
{
    long long val = data.fetch_add(1, std::memory_order_relaxed);
    return_values[thread_num] = val;
}
 
int main()
{
    {
        std::jthread th0{do_work, 0};
        std::jthread th1{do_work, 1};
        std::jthread th2{do_work, 2};
        std::jthread th3{do_work, 3};
        std::jthread th4{do_work, 4};
    }
 
    std::cout << "Result : " << data << '\n';
 
    for (long long val : return_values)
        std::cout << "Seen return value : " << val << std::endl;
}

Possible output:

Result : 15
Seen return value : 11
Seen return value : 10
Seen return value : 14
Seen return value : 12
Seen return value : 13

[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

adds a non-atomic value to an atomic object and obtains the previous value of the atomic
(function template) [edit]
increments or decrements the atomic value by one
(public member function) [edit]