Namespaces
Variants

std:: atomic_fetch_sub, std:: atomic_fetch_sub_explicit

From cppreference.net
C++
Concurrency support library
Threads
(C++11)
(C++20)
(C++17) (C++17)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
(C++11)
(C++11)
(C++11)
Semaphores
(C++20) (C++20)
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
(C++26)
(C++26)
(C++26)
Atomic types
(C++11)
(C++20)
(C++11)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
(C++11)
Memory ordering
(C++11)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
Free functions for atomic operations
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11) (C++11) (C++11)
(C++11) (C++11)
atomic_fetch_sub atomic_fetch_sub_explicit
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++26) (C++26)
(C++26) (C++26)
(C++11)
(C++20) (C++20)
(C++20)
(C++20)
Free functions for atomic flags
(C++11) (C++11)
(C++11) (C++11)
(C++20) (C++20)
(C++20) (C++20)
(C++20)
(C++20)
Défini dans l'en-tête <atomic>
template < class T >

T atomic_fetch_sub ( std:: atomic < T > * obj,

typename std:: atomic < T > :: difference_type arg ) noexcept ;
(1) (depuis C++11)
template < class T >

T atomic_fetch_sub ( volatile std:: atomic < T > * obj,

typename std:: atomic < T > :: difference_type arg ) noexcept ;
(2) (depuis C++11)
template < class T >

T atomic_fetch_sub_explicit ( std:: atomic < T > * obj,
typename std:: atomic < T > :: difference_type arg,

std:: memory_order order ) noexcept ;
(3) (depuis C++11)
template < class T >

T atomic_fetch_sub_explicit ( volatile std:: atomic < T > * obj,
typename std:: atomic < T > :: difference_type arg,

std:: memory_order order ) noexcept ;
(4) (depuis C++11)

Effectue une soustraction atomique. Soustrait atomiquement arg de la valeur pointée par obj et retourne la valeur obj détenue précédemment. L'opération est effectuée comme si l'exécution suivante avait lieu :

1,2) obj - > fetch_sub ( arg )
3,4) obj - > fetch_sub ( arg, order )

Si std::atomic<T> ne possède pas de membre fetch_sub (ce membre est uniquement fourni pour les types intégraux , flottants (depuis C++20) et pointeurs sauf bool ), le programme est mal formé.

Table des matières

Paramètres

obj - pointeur vers l'objet atomique à modifier
arg - valeur à soustraire de la valeur stockée dans l'objet atomique
order - ordre de synchronisation de la mémoire

Valeur de retour

La valeur précédant immédiatement les effets de cette fonction dans l' ordre de modification de * obj .

Exemple

Plusieurs threads peuvent utiliser std::atomic_fetch_sub pour traiter simultanément un conteneur indexé.

Exécuter ce code 
#include <atomic>
#include <iostream>
#include <numeric>
#include <string>
#include <thread>
#include <vector>
const int N = 50;
std::atomic<int> cnt;
std::vector<int> data(N);
void reader(int id) 
{
    for (;;)
    {
        int idx = atomic_fetch_sub_explicit(&cnt, 1, std::memory_order_relaxed);
        if (idx >= 0)
            std::cout << "reader " << std::to_string(id) << " processed item "
                      << std::to_string(data[idx]) << '\n';
        else
        {
            std::cout << "reader " << std::to_string(id) << " done\n";
            break;
        }
    }
}
int main()
{
    std::iota(data.begin(), data.end(), 1);
    cnt = data.size() - 1;
    std::vector<std::thread> v;
    for (int n = 0; n < 5; ++n)
        v.emplace_back(reader, n);
    for (auto& t : v)
        t.join();
}

Sortie : 

reader 2 processed item 50
reader 1 processed item 44
reader 4 processed item 46
<....>
reader 0 done
reader 4 done
reader 3 done

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Appliqué à Comportement publié Comportement correct
P0558R1 C++11 une correspondance exacte de type était requise car
T était déduit de multiples arguments 		T est uniquement déduit
de obj

Voir aussi

soustrait atomiquement l'argument de la valeur stockée dans l'objet atomique et obtient la valeur détenue précédemment
(fonction membre publique de std::atomic<T> )
(C++11) (C++11)
ajoute une valeur non atomique à un objet atomique et obtient la valeur précédente de l'atomique
(fonction template)
Documentation C pour atomic_fetch_sub , atomic_fetch_sub_explicit