std::atomic_fetch_sub, std::atomic_fetch_sub_explicit

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de operaciones atómicas

Tipos

atomic (C++11)

atomic_ref (C++20)

Funciones

atomic_storeatomic_store_explicit (C++11)(C++11)

atomic_loadatomic_load_explicit (C++11)(C++11)

atomic_exchangeatomic_exchange_explicit (C++11)(C++11)

atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11)

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)

atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)

atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)

atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11)

atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)

atomic_is_lock_free (C++11)

atomic_waitatomic_wait_explicit (C++20)(C++20)

atomic_notify_one (C++20)

atomic_notify_all (C++20)

Banderas atómicas

atomic_flag (C++11)

atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11)

atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)

atomic_flag_testatomic_flag_test_explicit (C++20)(C++20)

atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20)

atomic_flag_notify_one (C++20)

atomic_flag_notify_all (C++20)

Inicialización

atomic_init (C++11)(en desuso en C++20)

ATOMIC_VAR_INIT (C++11)(en desuso en C++20)

ATOMIC_FLAG_INIT (C++11)(en desuso en C++20)

Ordenamiento de memoria

memory_order (C++11)

kill_dependency (C++11)

atomic_thread_fence (C++11)

atomic_signal_fence (C++11)

 

Definido en el archivo de encabezado <atomic>
	(1)
template<class T > T atomic_fetch_sub(std::atomic<T>* obj,                     typenamestd::atomic<T>::difference_type arg )noexcept;
template<class T > T atomic_fetch_sub(volatilestd::atomic<T>* obj,                     typenamestd::atomic<T>::difference_type arg )noexcept;
		(2)
template<class T > T atomic_fetch_sub_explicit(std::atomic<T>* obj,                              typenamestd::atomic<T>::difference_type arg,                              std::memory_order order )noexcept;
template<class T > T atomic_fetch_sub_explicit(volatilestd::atomic<T>* obj,                              typenamestd::atomic<T>::difference_type arg,                              std::memory_order order )noexcept;

Realiza una resta atómica. Atómicamente resta arg del valor al que apunta obj y devuelve el valor que obj tenía previamente. La operación se realiza como si se ejecutara lo siguiente:

1)obj->fetch_sub(arg)

2)obj->fetch_sub(arg, order)

Parámetros

obj	-	Puntero al objeto atómico a modificar.
arg	-	El valor a restar del valor almacenado en el objeto atómico.
order	-	El orden de sincronización de la memoria para esta operación: todos los valores están permitidos.

Valor de retorno

El valor que precede inmediatamente a los efectos de esta función en el orden de modificación de *obj.

Posible implementación

template<class T > T atomic_fetch_sub(std::atomic<T>* obj, typenamestd::atomic<T>::difference_type arg )noexcept{return obj->fetch_sub(arg);}

Ejemplo

Varios hilos pueden usar fetch_sub para procesar concurrentemente un contenedor indexado.

Ejecuta este código

#include <string>#include <thread>#include <vector>#include <iostream>#include <atomic>#include <numeric>   constint N =50;std::atomic<int> cnt;std::vector<int> data(N);   void lector(int id){for(;;){int idx = atomic_fetch_sub_explicit(&cnt, 1, std::memory_order_relaxed);if(idx >=0){std::cout<<"lector "<<std::to_string(id)<<" ha procesado elemento "<<std::to_string(data[idx])<<'\n';}else{std::cout<<"lector "<<std::to_string(id)<<" listo\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(lector, n);}for(auto& t : v){ t.join();}}

Salida:

lector 2 ha procesado elemento 50 lector 1 ha procesado elemento 44 lector 4 ha procesado elemento 46 <....> lector 0 listo lector 4 listo lector 3 listo

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
P0558R1	C++11	Se requiere una coincidencia de tipo exacta porque T se deduce de varios argumentos.	T se deduce únicamente del argumento atomic.

Véase también

fetch_sub (C++11)	atómicamente resta el argumento de que el valor almacenado en el objeto atómico y obtiene el valor que tenía antes Original: atomically subtracts the argument from the value stored in the atomic object and obtains the value held previously The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (función miembro pública de std::atomic)
atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)	Agrega un valor no atómico a un objeto atómico y obtiene el valor anterior del objeto atómico. (plantilla de función)
Documentación de C para atomic_fetch_sub, atomic_fetch_sub_explicit